АннотацияВ задачах оптимизации нередко возникают логические
связи между ограничениями и/или переменными.
В результате система ограничений соответствует
некоторой булевой функции на единичном кубе.
Представляя данную функцию в виде полинома
Жегалкина или СКНФ, можно упростить формулировку
задачи, и получить численные алгоритмы для ее
решения.
Предлагаются методы решения задач с логическими
связками, причем показывается, что любая
задача минимизации липшицевой функции сводится
к последовательности таких задач с линейными
функциями.