ВУЗ:
Составители:
Рубрика:
8
Из свойства 2 следует, что
W
Î
"
x
можно записать
TTT
cxbycx
£=
))
. сле-
довательно,
x
)
– решение исходной задачи.
5. Возможна ситуация:
Æ
=
W
и
Æ
=
Q
.
Рассмотрим пример. Исходная задача задана в виде
î
í
ì
=+
=+
®
+
2
4
max23
21
21
21
xx
xx
xx
.
Допустимое множество
Æ
=
W
.
Двойственная к исходной запишется следующим образом
î
í
ì
=+
=+
®
+
2
3
min24
21
21
21
yy
yy
yy
.
Допустимое множество
Æ
=
Q
.
6. Пусть
Æ
¹
W
и
Æ
=
Q
, тогда исходная задача не имеет решения из-
за неограниченности целевой функции на допустимом множестве.
7. Если
Æ
¹
W
и
Æ
¹
Q
, то обе задачи имеют решение.
8. Первая теорема двойственности.
Если одна из задач (исходная или двойственная) имеет решение, то и
вторая имеет решение, причём оптимальные значения целевых функций
совпадают.
Доказательство.
Пусть задана задача в каноническом виде
max®xс
T
bAx
=
0
³
x
.
И пусть она имеет решение
0
x , полученное, например, симплекс-
методом.
Двойственная задача записывается в виде
.
min
cyA
yb
T
T
³
®
� � Из свойства 2 следует, что �x � � можно записать cT x � bT y � cT x . сле- � довательно, x – решение исходной задачи. 5. Возможна ситуация: � � � и Q � � . Рассмотрим пример. Исходная задача задана в виде 3 x1 � 2 x 2 � max � x1 � x 2 � 4 . � � x1 � x 2 � 2 Допустимое множество � � � . Двойственная к исходной запишется следующим образом 4 y1 � 2 y 2 � min � y1 � y 2 � 3 . � � y1 � y 2 � 2 Допустимое множество Q � � . 6. Пусть � � � и Q � � , тогда исходная задача не имеет решения из- за неограниченности целевой функции на допустимом множестве. 7. Если � � � и Q � � , то обе задачи имеют решение. 8. Первая теорема двойственности. Если одна из задач (исходная или двойственная) имеет решение, то и вторая имеет решение, причём оптимальные значения целевых функций совпадают. Доказательство. Пусть задана задача в каноническом виде с T x � max Ax � b x �0. И пусть она имеет решение x 0 , полученное, например, симплекс- методом. Двойственная задача записывается в виде b T y � min AT y � c. 8
Страницы
- « первая
- ‹ предыдущая
- …
- 6
- 7
- 8
- 9
- 10
- …
- следующая ›
- последняя »