aktuelle Version des Vorlesungsskripts - ZIB
aktuelle Version des Vorlesungsskripts - ZIB
aktuelle 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.
7 Flüsse mit minimalen Kosten<br />
Damit können wir den Beweis von (7.6) beenden. Für die nach Behauptung 2 existierenden<br />
(s, t)-Flüsse xi gilt offenbar<br />
w T x =<br />
k<br />
w T xi.<br />
i=1<br />
Da w T x < 0 nach Behauptung 1 ist, muss einer der Werte w T xi kleiner als Null sein,<br />
dass heißt, wir haben in N einen gerichteten Kreis mit negativen Kosten gefunden. ✷<br />
Satz (7.2) bzw. Satz (7.6) sind Optimalitätskriterien für zulässige (s, t)-Flüsse. Man<br />
kann beide Aussagen — was algorithmisch noch wichtiger ist — benutzen, um zu zeigen,<br />
dass Kostenminimalität erhalten bleibt, wenn man entlang Wegen minimaler Kosten<br />
augmentiert.<br />
(7.7) Satz. Sei D = (V, A) ein Digraph mit gegebenen Knoten s, t ∈ V , Kapazitäten<br />
c ∈ R A + und Kosten w ∈ R A . Sei x ein zulässiger (s, t)-Fluss in D mit Wert f, der<br />
kostenminimal unter allen (s, t)-Flüssen mit Wert f ist, und sei N = (V, A, c, w) das<br />
zugehörige augmentierende Netzwerk. Sei P ein (s, t)-Weg in N mit minimalen Kosten<br />
w(P ), und sei x ein zulässiger (s, t)-Fluss in N, so dass x(a) > 0 für alle a ∈ P und<br />
x(a) = 0 für alle a ∈ A \ P , dann ist der Vektor x ′ ∈ R A definiert durch<br />
x ′ (a) := x(a) + x(a1) − x(a2) für alle a ∈ A<br />
ein zulässiger (s, t)-Fluss in D mit Wert f +val(x), der kostenminimal unter allen Flüssen<br />
dieses Wertes in D ist. △<br />
Beweis. Trivialerweise ist x ′ ∈ R A ein zulässiger (s, t)-Fluss mit Wert f + val(x). Wir<br />
zeigen, dass x ′ kostenminimal ist. Angenommen, dies ist nicht der Fall, dann gibt es<br />
nach Satz (7.6) einen negativen gerichteten Kreis C ′ im bezüglich x ′ augmentierenden<br />
Netzwerk N ′ = (V, A ′ , c ′ , w ′ ). Wir beweisen, dass dann auch ein negativer gerichteter<br />
Kreis in N bezüglich x existiert.<br />
Wir bemerken zunächst, dass das augmentierende Netzwerk N ′ aus N dadurch hervorgeht,<br />
dass die Bögen aus P ⊆ A neue Kapazitäten erhalten und möglicherweise ihre<br />
Richtung und damit ihre Kosten ändern. Sei B ⊆ P die Menge der Bögen aus A, die in<br />
N ′ eine andere Richtung als in N haben, und sei B ′ := {(v, u) ∈ A ′ | (u, v) ∈ B}.<br />
Wir untersuchen nun den gerichteten Kreis C ′ ⊆ A ′ in N ′ mit negativen Kosten. Gilt<br />
C ′ ∩ B ′ = ∅, so ist C ′ in A enthalten und somit ein negativer Kreis in N. Dann wäre x<br />
nach Satz (7.6) nicht kostenoptimal, was unserer Voraussetzung widerspricht. Wir können<br />
daher annehmen, dass C ′ ∩ B ′ = ∅ gilt.<br />
Der Beweis verläuft nun wie folgt. Wir konstruieren aus dem (s, t)-Weg P und dem<br />
gerichteten Kreis C ′ einen (s, t)-Weg Q ⊆ A und einen gerichteten Kreis K ′ ⊆ A ′ mit<br />
den Eigenschaften<br />
134<br />
w(P ) + w ′ (C ′ ) ≥ w(Q) + w ′ (K ′ )<br />
|C ′ ∩ B ′ | > |K ′ ∩ B ′ |.