finale Version des Vorlesungsskripts - ZIB
finale Version des Vorlesungsskripts - ZIB
finale Version des Vorlesungsskripts - ZIB
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