Условие разрешимости ОЗП

Теорема. Условие

при выполнении связей (7.8), (7.9) является необходимым и достаточным условием существования решения ОЗП. Заметим, что если существует такой набор , , то существует решение ОЗП. Если хотя бы одно из 2 m ограничение не выполнено, то решение задачи ОЗП не существует.

Доказательство теоремы можно найти в [14].