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

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

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

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

(1).

при умовах.

(2).

(3).

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

(4).

при умовах.

(5).

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

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

F*(Y).

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

.

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

виконується рівність.

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

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

14,.

8,.

0,.

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

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

7,.

0.

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

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

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

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

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

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

6,.

0.

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

— 2,.

— 3,.

0.

D.

Z.

".

x00B2.

Z.

‚.

".

†.

x02C6.

".

°.

x00B2.

ju.

x1600xA668xE704×4300x1C4Ax5500×0108x4A61×486DТx4873Тx0323xB56A.

x2403×1103xC584×1202×6864×0101×3100 $x2437×3800 $x2448×6000xC584×6102×0324×1900їста задача містять по двох перемінні. Тому їхнє рішення знаходимо, використовуючи геометричну інтерпретацію задачі лінійного програмування (мал. 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).

0.

", те компоненти оптимального плану двоїстої задачі збігаються з відповідними числами (m+1)-й рядка останньої симплекса-таблиці рішення вихідної задачі Зазначені числа коштують у стовпцях векторів, що відповідають додатковим перемінної.

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

12,.

17,.

2x1 — x2 + 2×3 = 4,.

0.

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

Рішення. Двоїста задача стосовно вихідного складається в перебуванні мінімуму функції F*= 12y1 + 17y2 + 4y3 при умовах:

1,.

2,.

— 1,.

0.

Щоб знайти рішення двоїстої задачі, спочатку знаходимо рішення вихідної задачі методом штучного базису. Воно приведено в табл 1.

З останньої симплекс таблиці видно, що двоїста задача має рішення.

12· (5/7)+17·0+4·(6/7)=12, збігається з максимальним значенням цільової функції Fmax вихідної задачі.

i.

Базис.

C6.

P0 1 1 -1 0 0 -M.

P1 P2 P3 P4 P5 P6.

4 P4.

P5.

P6.

P4.

P5.

P1.

P2.

P5.

P1 0.

— M.

— 4.

12 -1.

— 1.

— 2.

0 4.

— 1.

— 2.

7/2.

3/2.

— ½.

— 5/2.

0 -2.

— 2.

— 1.

— 2/7.

13/7.

6/7.

9/7 1.

2/7.

— 3/7.

1/7.

5/7 0.

0 0.

½.

— ½.

½.

½.

1/7.

— 5/7.

4/7.

6/7.