Используя теоремы двойственности, можно, решив симплексным методом прямую задачу, найти оптимальное решение двойственной задачи. Метод одновременного решения пары взаимодвойственных задач заключается в следующем.
1. Обе задачи приводят к каноническому виду и устанавливают соответствие между переменными обеих задач.
2. Решают с помощью симплекс-метода ту из двух задач, где свободные члены в выражениях для базисных переменных неотрицательны (предполагается, что одна из задач таким свойством обладает).
3. На основании первой теоремы двойственности определяют оптимальное значение целевой функции второй задачи: или fmax = gmin.
4. На основании второй теоремы двойственности выписывают оптимальное решение второй задачи. Для этого целевую функцию первой задачи выражают через свободные, или неосновные, переменные. Тогда компоненты оптимального решения двойственной задачи равны абсолютным значениям коэффициентов при соответствующих переменных линейной функции прямой задачи, выраженной через неосновные переменные ее оптимального решения.
При использовании симплекс-таблиц из последней симплекс-таблицы выделяют последнюю строку, в которой числа, соответствующие переменным прямой задачи, присваивают компонентам оптимального решения двойственной задачи на основе соответствия переменных прямой и двойственной задачи.
Вернемся к примеру п. 4.3.
Прямая ЗЛП: Двойственная ЗЛП:
Канонический вид:
Установим соответствие между переменными двух задач:
Переменные прямой задачи I | ||||
Первоначальные | Дополнительные | |||
х1 y4 | х2 y5 | х3 y1 | х4 y2 | х5 y3 |
Дополнительные | Первоначальные | |||
Переменные двойственной задачи II | ||||
Первой решается прямая задача, поскольку для нее свободные члены в выражениях для базисных переменных неотрицательны:
х3 = 4 – х1 – 2х2,
х4 = 3 – х1 – х2,
х5 = 8 – 2х1 – х2.
Итоговая симплекс-таблица решения прямой задачи имеет вид:
сi | БП | ||||||
х1 | х2 | х3 | х4 | х5 | bi | ||
x2 | -1 | ||||||
x1 | -1 | ||||||
x5 | -3 | ||||||
D j |
Значение целевой функции двойственной задачи равно значению целевой функции прямой задачи: = = 10.
Оптимальное решение прямой задачи: = (2, 1, 0, 0, 3).
Оптимальное решение двойственной задачи: = (1, 2, 0, 0, 0), поскольку y1 «x3, y2 «x4, y3 «x5, y4 «x1, y5 «x2.
Последней симплекс-таблице соответствуют следующие уравнения для базисных переменных, входящих в целевую функцию:
х1 – х3 + 2х4 = 2,
х2 + х3 – х4 = 1.
Откуда
х1 = 2 + х3 – 2х4,
х2 = 1 – х3 + х4.
Выразим целевую функцию через свободные переменные:
= 3×(2 + х3 – 2х4) + 4×(1 – х3 + х4) = 10 – х3 – 2х4.
Таким образом, в соответствии со второй теоремой двойственности y1 = 1, y2 = 2, значения остальных переменных оптимального решения двойственной задачи y3, y4, y5 равны нулю, поскольку они не входят в выражение целевой функции.
Следует отметить, что положительным (ненулевым) компонентам оптимального решения одной из взаимодвойственных задач соответствуют нулевые компоненты оптимального решения другой задачи:
Переменные прямой задачи I | ||||
Первоначальные | Дополнительные | |||
Дополнительные | Первоначальные | |||
Переменные двойственной задачи II | ||||
Такое соответствие было отмечено в рассмотренной ранее теореме.