a Y – произвольный план двойственной задачи (6), (9), то значение целевой функции исходной задачи при плане Х всегда не превосходит значения целевой функции двойственной задачи при плане Y, т. е.
Лемма 2. Если для некоторых планов X* и Y* задач (5) – (7) и (8), (9), то X* – оптимальный план исходной задачи, а Y* – оптимальный план двойственной задачи.
Первая теорема двойственности. Если одна из задач двойственной пары (5) – (7) или (8), (9) имеет оптимальный план, то и другая имеет оптимальный план и значения целевых функций задач при их оптимальных планах равны между собой, т. е.
Если же целевая функция одной задачи из двойственной пары неограничена (для исходной (5) – (7) – сверху, для двойственной (8), (9) – снизу), то другая задача вообще не имеет планов.
Вторая теорема двойственности. План задачи (5) – (7) и план задачи (8), (9) являются оптимальными планами этих задач тогда и только тогда, когда для любого выполняется равенство
Вопрос 2. Связь между решениями прямой и двойственной задачи