300 Programowanie wypukłe i kwadratowe
Rysunek 6.12 A
'W
t
Podzbiór 1
Jeżeli gi>0, g2> 0, g3>0, to z warunku 2 wynika, że y,=0, y2 = 0 i y3 = 0. Wstawiając te wartości do warunku 1, mamy:
1-20-x2 + 0 = 0,
czyli 1=0, co doprowadza do sprzeczności. Oznacza to, że w rozpatrywanym podzbiorze nie ma punktu spełniającego układ warunków Kuhna-Tuckera.
Podstawiając te wartości do warunku (6.5), otrzymujemy:
a stąd }’i = '/4 lub y, = - '/4. Wartość y, =-'/4 eliminujemy, gdyż nie spełnia warunku nieujemności, nałożonego na składowe wektora y. Ze związku (6.6) otrzymujemy wartości x, = 2, x2 = 2. Tak więc rozwiązanie układu warunków Kuhna-Tuckera w podzbiorze 2 jest następujące:
Na podstawie twierdzenia Kuhna-Tuckera rozwiązaniem interesującego nas zadania programowania wypukłego są wartości xt-2, x2 = 2.
Analizując w podobny sposób pozostałe podzbiory, możemy stwierdzić, że w żadnym z nich problem Kuhna-Tuckera nie ma rozwiązania (co zresztą stwierdziliśmy już uprzednio, rozwiązując to zadanie metodą geometryczną), czyli jedynym rozwiązaniem problemu wyjściowego jest rozwiązanie znalezione w trakcie analizy podzbioru 2.
Zajmiemy się rozwiązaniem zadania programowania kwadratowego określonego wzorem (6.4). Zapisanie warunków Kuhna-Tuckera pozwala na sformułowanie zadania zastępczego, które następnie można rozwiązać, stosując pewną modyfikację prymalnej metody simpleks, omówioną w rozdziale 1.
Po znalezieniu rozwiązania optymalnego zadania zastępczego określimy rozwiązanie optymalne wyjściowego zadania programowania kwadratowego. Rozpoczniemy od przypadku, gdy b > 0 i p > 0.
Pokażemy, w jaki sposób tworzymy to zadanie zastępcze, wykorzystując zadanie rozpatrywane w przykładzie 6.2. Przypomnijmy, że problem ten ma następującą postać:
f(xi, x2) = 10x, +25x2— 10x3 —x2-4x,x2 —» max, x,+2x2tą 10,
*1+ *2 <9, (6.7)
Jeżeli g2 > 0 oraz #3 > 0, to z warunku 2 wynika, że y2 = 0 oraz y3 = 0. Warunek ten ma wówczas postać:
>>,(8 — jc? — jr|) = 0.
Możemy założyć, że y,*0 (przypadek .yi=0, y2 = 0, y3 = 0 byl już rozpatrywany wcześniej), stąd warunek ten po podzieleniu stronami przez y, przyjmuje postać:
(8—jc?—jcf) = 0. (6-5
Podstawiając wartości y2 = 0 oraz y3 = 0 do warunku l, otrzymujemy:
-2y,jT| =0,
1 —2y, x2 = 0,
a stąd:
x2-^~. (6-(
y, 2y,