23.06.2013 Aufrufe

finale Version des Vorlesungsskripts - ZIB

finale Version des Vorlesungsskripts - ZIB

finale Version des Vorlesungsskripts - ZIB

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

9.2 Basisaustausch (Pivoting), Simplexkriterium<br />

(b) Sei y ∈ P = (A, b) beliebig. Wenn wir zeigen können, dass c T x ≥ c T y gilt, sind wir<br />

fertig.<br />

c T y = c T BA −1<br />

B b + cT<br />

<br />

≤0<br />

yN<br />

<br />

≥0<br />

≤ c T BA −1<br />

B b = cT BxB = c T x.<br />

(c) Sei die Basislösung x mit xB = A −1<br />

B b, xN = 0 optimal. Dann gilt für alle y ∈<br />

P = (A, b):<br />

c T x ≥ c T y ⇐⇒ c T BA −1<br />

B b + cT xN ≥ c T BA −1<br />

B b + cT yN<br />

⇐⇒ 0 ≥ c T yN.<br />

Angenommen die i-te Komponente ci von c T wäre größer als Null. Nach Vorausset-<br />

zung ist x nichtdegeneriert, also A −1<br />

B b > 0. Sei ei der i-te Einheitsvektor in K n−m ,<br />

dann gibt es somit ein λ > 0 mit<br />

Der Vektor x λ mit x λ B<br />

Vektor, und es gilt<br />

A −1<br />

B b ≥ A−1<br />

B ANλei.<br />

= A−1<br />

B b−A−1<br />

B ANλei, xN = λei ist somit ein für (9.1) zulässiger<br />

c T x λ = c T BA −1<br />

B b + cT λei = c T x + λci > c T x.<br />

Widerspruch! ✷<br />

Aus Satz (9.12) wissen wir, wie ein Basis- bzw. Eckenaustausch vorgenommen werden<br />

kann, Satz (9.15) besagt, unter welchen Umständen wir eine zulässige Basis verbessern<br />

können, bzw. wann sie optimal ist. Setzen wir diese Informationen zusammen, so gilt:<br />

(9.16) Satz (Basisverbesserung). Gegeben sei ein lineares Programm in Standardform<br />

(9.1). Sei AB eine zulässige Basis mit Basislösung x. Sei A = A −1<br />

B AN, b = A −1<br />

B b,<br />

und c T = c T N − cT B A−1<br />

B AN seien die reduzierten Kosten. Sei qs ∈ N ein Index mit cs > 0,<br />

dann gilt<br />

(a) Ist A·s ≤ 0, dann ist c T x auf P = (A, b) unbeschränkt.<br />

(b) Ist A·s ≤ 0, dann setzen wir<br />

und wählen einen Index<br />

<br />

bi<br />

λ0 := min<br />

ais<br />

r ∈<br />

<br />

| i = 1, . . . , m, ais > 0 ,<br />

<br />

i ∈ {1, . . . , m} | bi<br />

ais<br />

= λ0<br />

Dann ist AB ′ mit B′ = (p1, . . . , pr−1, qs, pr+1, . . . , pm) eine zulässige Basis mit Basislösung<br />

x ′ , so dass c T x ′ ≥ c T x gilt.<br />

<br />

.<br />

169

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!