23.06.2013 Aufrufe

finale Version des Vorlesungsskripts - ZIB

finale Version des Vorlesungsskripts - ZIB

finale Version des Vorlesungsskripts - ZIB

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

11.4 Der Dualitätssatz der linearen Programmierung<br />

(b) Ist D = ∅, so impliziert der schwache Dualitätssatz (2.12) z ∗ ≤ min{y T b | y ∈ D} =<br />

u ∗ < +∞.<br />

(c) Analog zu (b).<br />

(d) Angenommen P = ∅ und u ∗ > −∞. Dann gilt entweder u ∗ = +∞ und somit D = ∅<br />

oder nach (a) folgt z ∗ = u ∗ endlich, also P = ∅. Widerspruch!<br />

(e) Analog zu (d). ✷<br />

Man könnte vermuten, dass in (11.19)(b) und (c) auch die umgekehrte Richtung gilt.<br />

Die Aussagen (d) und (e) zeigen aber, dass beim Versuch eines Beweises der Rückrichtung<br />

Komplikationen auftreten können. Das nachfolgende Beispiel zeigt, dass es in der Tat<br />

zueinander duale lineare Programme gibt, die beide leere Lösungsmengen haben.<br />

(11.20) Beispiel. Es seien<br />

<br />

P = x ∈ K 2 <br />

1 −1 0<br />

|<br />

x ≤ ,<br />

−1 1 −1<br />

<br />

D = y ∈ K 2 <br />

1 −1 1<br />

|<br />

y = , y ≥ 0 .<br />

−1 1 1<br />

Dann sind die linearen Programme<br />

zueinander dual, und es gilt:<br />

max x1 + x2und min −y2<br />

x ∈ P y ∈ D<br />

(a) P = ∅, da nach (11.2)(a) das System<br />

<br />

1 −1<br />

(u1, u2)<br />

= (0, 0),<br />

−1 1<br />

eine Lösung hat (z. B. u1 = u2 = 1).<br />

u1, u2 ≥ 0,<br />

−u2 < 0<br />

(b) D = ∅, da nach (11.2)(c) das System<br />

<br />

1 −1<br />

(v1, v2)<br />

≥ (0, 0),<br />

−1 1<br />

v1 + v2 < 0,<br />

eine Lösung hat (z. B. v1 = v2 = −1). △<br />

Wir haben bereits die Sprechweise „zueinander duale lineare Programme“ benutzt,<br />

ohne dafür eine Begründung zu geben. Sie erfolgt hiermit:<br />

211

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!