задаче, и y0 , допустимый в двойственной задаче, такие, что
cT x0 bT y0 , то x0 - решение исходной, а y0 - решение
двойственной задачи.
Теорема 1. (Первая теорема двойственности) Если одна из задач (двойственная или исходная) имеет решение, то и двойственная к ней имеет решение, причем оптимальные значения целевых функций совпадают.
Теорема 2. (Вторая теорема двойственности) Для того,
чтобы допустимая в исходной задаче точка x0 и допустимая в двойственной задаче точка y0 являлись соответственно
решениями исходной и двойственной задач, необходимо и достаточно, чтобы выполнялись равенства (условия дополняющей нежесткости)
|
|
m |
|
|
|
|
|
|
|
|
|
|
|
|
x0 |
c |
j |
a y0 |
0, |
j |
|
1, n |
или (x0 )T (c |
AT y0 ) |
0 ; |
||||
j |
|
ij |
i |
|
|
|
|
|
|
|
|
|
|
|
|
|
i |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
n |
|
|
|
|
|
|
|
|
|
|
|
|
y0 |
b |
a y0 |
0, |
i |
1, m |
или ( y0 )T (b |
Ax0 ) |
0 . |
||||||
i |
|
i |
ij |
j |
|
|
|
|
|
|
|
|
|
|
|
|
j |
1 |
|
|
|
|
|
|
|
|
|
|
|
Замечание 1. B симплекс - процедуре осуществляется перебор базисов В (невырожденных) подматриц исходной матрицы А таким образом, что
|
|
|
|
|
|
1. |
На каждой итерации метода вектор xB |
|
x , где |
||
|
|
|
0 |
||
|
|
B 1b , является допустимым в исходной задаче, т.е. |
|||
|
x |
||||
AxB b , xB 0 ; |
|
|
|
||
2. |
На заключительной итерации, кроме случая, когда |
||||
получена оптимальная точка, оценки всех векторов Aj неотрицательны:
cT B 1 A c 0 , j 1, n
j B j j
или
cBT B 1 A yT A AT y c ,
т.е. вектор cBT B 1 является допустимым в двойственной
113
задаче, кроме того, он является решением двойственной задачи. При этом часть ограничений двойственной задачи
выполняется в виде равенств ( AT y) j c j , j I , где I - множество базисных индексов (так как оценки базисных
векторов всегда равны нулю |
j |
0, j I ). Такие точки у |
|
|
называются базисными в двойственной задаче.
Пример 1. На основании графического анализа двойственной задачи исследовать разрешимость следующих задач, и в случае разрешимости найти оптимальное значение целевой функции.
à) 6x1 |
9x2 3x3 |
min |
á) 2x1 |
x2 |
2x3 |
|
min |
||||
x1 |
2x2 |
x3 |
3, |
|
|
x1 |
x2 |
x3 |
2, |
||
3x1 |
x2 |
x3 |
|
1, |
|
|
x1 |
3x2 |
2x3 |
1, |
|
x1 |
0, |
x2 |
|
0, x3 |
0. |
x1 |
0, |
x2 |
0, |
x3 0. |
|
â) 5x1 |
x2 |
x3 |
x4 |
max |
|
|
|
|
|
||
4x1 |
x3 |
x4 |
16, |
|
|
|
|
|
|
|
|
6x1 |
4x2 |
x3 |
x4 |
4, |
|
|
|
|
|
|
|
x1 |
0, x2 |
0, |
x3 |
0, |
x4 |
0. |
|
|
|
|
|
Решение.
а) Двойственная задача будет иметь вид:
3y1 |
y2 |
|
max |
y1 |
3y2 |
6, |
|
2 y1 |
y2 |
|
9, |
y1 |
y2 |
3, |
|
y1 |
0, |
y2 |
0. |
Графическое решение данной задачи (рис. 4.5.1) показывает,
что Y * |
(4,1) |
с z* |
13. |
max |
|
max |
|
114
x2 |
2 |
|
|
|
1 |
|
3 |
|
y* |
|
x1 |
Рисунок 4.5.1 – Графическое решение задачи |
|
В силу первой теоремы двойственности исходная задача также имеет решение, причем оптимальное значение равно 13.
б) Двойственная задача будет иметь вид:
2 y1 |
y2 |
max |
y1 |
y2 |
2, |
y1 |
3y2 |
1, |
y1 |
2 y2 |
2. |
Графический анализ показывает (рис. 4.5.2), что двойственная задача неразрешима из-за неограниченности целевой функции, поэтому по свойству 3 исходная задача неразрешима из-за пустоты допустимого множества.
x2 
1
3
2
x1
Рисунок 4.5.2 – Неограниченная целевая функция
115
в) Двойственная задача запишется в виде: |
||||
16 y1 |
|
4 y2 |
|
min |
4 y1 |
|
6 y2 |
5 |
|
4 y2 |
1 |
|
|
|
y1 |
y2 |
1 |
|
|
y1 |
y2 |
1 |
|
|
y1 , y2 |
|
0. |
|
|
Графический анализ этой задачи показан на рис.4.5.3. |
||||
y2 |
|
|
|
|
|
|
|
|
y1 |
|
|
|
|
y* |
Рисунок 4.5.3 – Графическое решение двойственной задачи |
||||
Оптимальным |
решением |
является вектор Y * |
|
13 |
, |
1 |
, |
|
|
|
|||||||
|
|
|
min |
8 |
|
4 |
|
|
|
|
|
|
|
|
|||
zmin* |
25 . На |
основании |
второй теоремы двойственности |
для |
||||
вектора х*, являющегося решением исходной задачи, должны выполняться равенства
x1* (4 y1* |
|
6 y2* 5) 0 , |
x3* ( y1* |
y2* |
1) 0, |
|
x* ( 4 y* |
1) 0 , |
x* ( y* |
y* |
1) 0 . |
||
2 |
2 |
|
4 |
1 |
2 |
|
Подставляя координаты вектора Y * |
, получаем, что переменные x |
|
|
min |
3 |
и x4 |
исходной задачи должны обращаться в ноль. Тогда из исходной |
|
системы получаем 4x1 16 , откуда |
x1 4 , и 6x1 4x2 4 , откуда |
|
x2 |
5 . Следовательно, решением исходной задачи является вектор |
|
|
116 |
|
Xmax* |
(4,5,0,0) . При этом zmax* |
5* 4 5 25 . |
|
Задачи для самостоятельного решения |
|
Решить следующие задачи, используя решение двойственных задач симплекс – методом:
4.5.1 6 x1 |
+ 4 x2 |
min, |
4.5.2 |
2 x1 |
+ |
3 x2 |
min, |
|
2 x1 |
+ |
x2 |
3, |
|
x1 |
+ |
5 x2 |
16, |
x1 – |
x2 |
1, |
|
3 x1 |
+ |
2 x2 |
12, |
|
– x1 + 2 x2 |
1; |
|
2 x1 |
+ |
4 x2 |
16; |
||
4.5.3 –6 x1 – 4 x2 |
max, |
4.5.4 |
6 x1 |
+ |
4 x2 |
min, |
||
2 x1 + x2 |
3, |
|
2 x1 + x2 |
3, |
||||
x1 – 2 x2 |
2, |
|
3 x1 + 2 x2 |
1, |
||||
3 x1 + 2 x2 |
1; |
|
– x1 – x2 |
6; |
||||
4.5.5 7 x1 |
+ |
x2 |
min, |
4.5.6 |
7 x1 |
+ 10 x2 |
min, |
|
x1 |
+ |
x2 |
3, |
|
2 x1 |
+ |
28 x2 |
17, |
5 x1 + x2 |
5, |
|
x1 + 2 x2 |
3; |
||||
x1 |
+ 5 x2 |
5; |
|
x1 |
+ 17 x2 |
19; |
||
4.5.7 |
x1 + x2 + 2 x3 |
min, |
|
|
|
|
|
|
2 x1 – x2 – 3 x3 + x4 |
= – 3, |
|
|
|
||
|
x1 – 3 x2 – 4 x3 |
+ x5 = – 1; |
|
|
|
||
4.5.8 –15x1 – 33 x2 |
max, |
4.5.9 |
x1 |
+ 2 x2 |
min, |
||
|
3 x1 + |
2 x2 |
6, |
|
2 x1 |
+ x2 |
18, |
|
6 x1 + |
x2 |
6; |
|
x1 |
+ 2 x2 |
14, |
|
|
|
|
|
x1 – 2 x2 |
10; |
|
117