Принципы построения дизъюнктивных сечений

Статья посвящена решению дизъюнктивной задачи. В работе представлены различные способы, с помощью которых можно получить дизъюнктивные сечения из логических ограничений на линейные неравенства. Изложен основной принцип дизъюнктивных сечений, а также принцип, позволяющий усиливать такие сечения. Благодаря этим принципам, упрощается решение задач оптимизации с большим числом линейных ограничений. Формулируются и доказываются две теоремы. Четыре примера иллюстрируют различные теоретические положения. Предложенные принципы и процедуры на их основе являются теоретической базой для построения алгоритмов, предназначенных для программной реализации при решении практических задач.