Зв’язок між розв’язками прямої і двоїстої задач. Геометрична інтерпретація двоїстих задач.

Розглянемо кілька двоїстих задач, утворену основною задачею лінійного програмування і двоїстої до неї.

Вихідною задачею є: найти максимум функції

(1)

при умовах

(2)

(3)

Двоїста задача: знайти мінімум функції

(4)

при умовах

(5)

Кожна з задач двоїстої пари (1) — (3) і (4), (5) фактично є самостійною задачею лінійного програмування і може бути вирішена незалежно одна від іншої. Однак при визначенні симплексним методом оптимального плану однієї з задач тим самим знаходиться рішення й інша задача.

Існуючі залежності між рішеннями прямої і двоїстої задач характеризуються сформульованими нижче лемами і теоремами подвійності.

Лемма 1.1. Якщо X — деякий план вихідної задачі (1) — (3), а В — довільний план двоїстої задачі (4), (5), те значення цільової функції вихідної задачі при плані X завжди не перевершує значення цільової функції двоїстої задачі при плані Y, тобто F(X)F*(Y)

Лемма 1.2. Якщо F(X*) = F*(Y*) для деяких планів X* і Y* задач (1) — (3) і (4), (5), те X* — оптимальний план вихідної задачі, a Y* — оптимальний план двоїстої задачі

Теорема 1. (перша теорема подвійності) Якщо одна з пари двоїстих задач (1) — (3) чи (4), (5) має оптимальний план, те й інша має оптимальний план і значення цільових функцій задач при їхніх оптимальних планах рівні між собою, тобто .

Якщо ж цільова функція однієї з пари двоїстих задач не обмежена (для вихідної (1) — (3) —зверху, для двоїстої (4), (5) — знизу), то інша задача взагалі не має планів.

Теорема 2. (друга теорема подвійності). План задачі (1) — (3) і план задачі (4), (5) є оптимальними планами цих задач тоді і тільки тоді, коли для будь-якого виконується рівність

Геометрична інтерпретація двоїстих задач. Якщо число перемінних у прямій і двоїстої задачах, що утворять дану пару, дорівнює двом, то, використовуючи геометричну інтерпретацію задачі лінійного програмування, можна легко знайти рішення даної пари задач При цьому має місце один з наступних трьох взаємно виключають один одного випадків: 1) обидві задачі мають плани; 2) плани має тільки одна задача; 3) для кожної задачі двоїстої пари безліч планів порожньо

1. Для задачі, що складає у визначенні максимального значення функції F = 2x1+7x2 при умовах

- 2 x1 + 3x214,

x1 + x2 8,

x1, x20,

скласти двоїсту задачу і знайти рішення обох задач.

Рішення. Двоїстою задачею стосовно вихідного є задача, що складається у визначенні мінімального значення функції F*=14y1 + 8y2 при умовах

- 2y1 + y2 2

3y1 + y2 7,

y1, y2 0.

Як у вихідної, так і в двоїстій задачі число невідомих дорівнює двом. Отже, їхнє рішення можна знайти, використовуючи геометричну інтерпретацію задачі лінійного програмування (рис. 1. і 2.)

Як видно з мал. 1., максимальне значення цільова функція вихідної задачі приймає в крапці В Отже, Х* = (2; 6) є оптимальним планом, при якому Fmax= 46.

Мінімальне значення цільова функція двоїстої задачі приймає в крапці Е (мал. 4.). Виходить, Y* = (1; 4) є оптимальним планом двоїстої задачі, при якому Fmin=46 Таким чином, значення цільових функцій вихідної і двоїстої задач при їхніх оптимальних планах рівні між собою.

Одночасно, як видно з мал. 2., значення цільової функції двоїстої задачі при будь-якому її плані не менше 46. Таким чином, при будь-якому плані вихідної задачі значення цільової функції не перевершує значення цільової функції двоїстої задачі при її довільному плані.

2. Знайти рішення двоїстої пари задач.

Вихідна задача:

- 4x1 + 2x2 4,

x1 + x2 6,

x1, x2 0.

Двоїчна задача:

- 4y1 + y2 -2,

2y1 + y2 -3,

y1, y2 0.

Рішення. Як вихідна, так і двоїста задача містять по двох перемінні. Тому їхнє рішення знаходимо, використовуючи геометричну інтерпретацію задачі лінійного програмування (мал. 3. і 4.). З мал. 3. видно, що вихідна задача не має оптимального плану через необмеженість знизу її цільової функції на безлічі припустимих рішень.

З мал. 4. випливає, що двоїста задача не має планів, оскільки багатокутник рішень її порожній. Це означає, що якщо вихідна задача двоїстої пари не має оптимального плану через необмеженість на безлічі припустимих рішень її цільової функції, те двоїста задача також не має планів.

Перебування рішення двоїстих задач. Розглянемо пари двоїстих задач — основну задачу лінійного програмування (1) — (3) і двоїсту до неї задачу (4), (5).

Припустимо, що за допомогою симплексного методу знайдений оптимальний план X* задачі (1) — (3) і цей план визначається базисом, утвореним векторами Рi1, Рi2,…,Pim.

Позначимо через С6=(ci1,ci2,…,cim) вектор-рядок, складений з коефіцієнтів при невідомих у цільовій функції (1) задачі (1) — (3), а через Р-1— матрицю, зворотну матриці Р, складеної з компонентів векторів Рi1, Рi2,...,Рim базисa. Тоді має місце наступне твердження.

Теорема 3. Якщо основна задача лінійного програмування має оптимальний план X*, тo Y* = С6Р-1 є оптимальним планом двоїстої задачі.

Таким чином, якщо знайти симплексним методом оптимальний план задачі (1) — (3), те, використовуючи останню симплекс-таблицю, можна визначити С6 і Р-1 і за допомогою співвідношення Y*=С6Р-1 знайти оптимальний план двоїстої задачі (4), (5).

У тому випадку, коли серед векторів Р1, P2,…,Рn, складених з коефіцієнтів при невідомих у системі рівнянь (2), мається m одиничних, зазначену матрицю Р-1 утворять числа перших m рядків останньої симплекса-таблиці, що коштують у стовпцях даних векторів Тоді немає необхідності визначати оптимальний план двоїстої задачі