Линейные задачи распознавания с запретом

В статье рассматриваются линейные задачи распознавания с запретом (ЛЗР с запретом), являющиеся тестовыми моделями некоторых классов задач дискретной оптимизации и параметрического линейного программирования. В основе тестового подхода к решению ЛЗР с запретом лежит понятие разделяющего множества (РМ) задачи. Описание множества всех РМ задачи ЛЗР с запретом существенно упрощается, если известно, что у нее имеется ровно одно тупиковое РМ. В статье показано, что у любой ЛЗР с запретом либо существует единственное тупиковое РМ, либо множество тупиковых РМ имеет мощность континуума. Выделены условия единственности.