mgr inż. Magdalena Mytkowska. Ćwiczenia Badania operacyjne. Dualność.
Z relacji zachodzących między zadaniem pierwotnym a zadaniem dualnym wynika, że:
Zmienne decyzyjne ↔ warunki ograniczające:
· W zadaniu dualnym jest tyle zmiennych ile warunków ograniczających w zadaniu pierwotnym;
· W zadaniu dualnym jest tyle warunków ograniczających ile zmiennych w zadaniu pierwotnym;
Współczynniki (wagi) funkcji celu ↔ wyrazy wolne układu nierówności:
· Wyrazy wolne zadania pierwotnego są wagami funkcji celu w zadaniu dualnym;
· Wagi funkcji celu zadania pierwotnego są wyrazami wolnymi w zadaniu dualnym;
Odwrotny kierunek optymalizacji:
· Jeśli zadanie pierwotne jest na maksimum to zadanie dualne jest na minimum i odwrotnie;
Transpozycja współczynników w układzie nierówności:
· Współczynniki układu nierówności w programie dualnym powstają z transpozycji współczynników układu nierówności w zadaniu pierwotnym (i odwrotnie);
Znak nierówności w warunku ograniczającym « warunek znakowy zmiennej decyzyjnej:
· Jeśli w ZP i-ty warunek jest typową nierównością (odwrotną do kierunku optymalizacji tego zadania,
tzn. ≤ dla max i ≥ dla min) to odpowiadająca mu zmienna yi≥0 (typowy warunek znakowy);
· Jeśli w ZP i-ty warunek jest równością to odpowiadająca mu zmienna yi nie ma ograniczeń;
· Jeśli w ZP i-ty warunek jest nietypową nierównością to odpowiadająca mu zmienna yi≤0;
· Jeśli w ZP zmienna xj≥0 to j-ty warunek ZD jest typową nierównością;
· Jeśli w ZP na zmienną xj nie nałożono ograniczeń to j-ty warunek ZD jest równością;
· Jeśli w ZP zmienna xj≤0 to j-ty warunek ZD jest nietypową nierównością;
Typowość/ nietypowość zwrotu nierówności w zależności od kierunku optymalizacji.
Przykład tworzenia zadania dualnego:
zadanie pierwotne (ZP): zadanie dualne (ZD):
funkcja celu: 2x1+1x2-5x3+7x4→max funkcja celu: 15y1+5y2+12y3→min
warunek 1: 4x1+6x2+2x3+1x4≤15 warunek 1: 4y1+5y2+9y3≤2
warunek 2: 5x1 -8x3+2x4≥5 warunek 2: 6y1+0y2+1y3=1
warunek 3: 9x1+1x2+4x3-5x4=12 warunek 3: 2y1-8y2+4y3≥-5
warunek 4: 1y1+2y2-5y3≥7
warunki znakowe: x1≤0, x2-dowolne, x3 ,x4≥0 warunki znakowe: y1≥0, y2≤0, y3-dowolne