finale Version des Vorlesungsskripts - ZIB
finale Version des Vorlesungsskripts - ZIB
finale Version des Vorlesungsskripts - ZIB
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
7.1 Flüsse mit minimalen Kosten<br />
zeigen nun, dass x auch die Flusserhaltungsbedingungen für alle v ∈ V erfüllt.<br />
x(δ +<br />
N (v)) − x(δ− N (v)) =<br />
<br />
a∈δ + (x(a1) − x(a2)) −<br />
(v)<br />
<br />
a∈δ− (x(a1) − x(a2))<br />
(v)<br />
= <br />
a∈δ + (v)<br />
<br />
<br />
=<br />
a∈δ + (v)<br />
<br />
<br />
−<br />
(x ′ (a) − x(a)) − <br />
a∈δ + (v)<br />
x ′ (a) − <br />
a∈δ − (v)<br />
x(a) − <br />
a∈δ − (v)<br />
a∈δ − (v)<br />
x ′ <br />
(a)<br />
<br />
x(a)<br />
(x ′ (a) − x(a))<br />
⎧<br />
⎪⎨ 0 − 0 falls v ∈ V \ {s, t}<br />
= val(x<br />
⎪⎩<br />
′ ) − val(x)<br />
−val(x<br />
falls v = s<br />
′ ) + val(x) falls v = t<br />
= 0.<br />
Daraus folgt, dass x die Flußerhaltungsbedingungen erfüllt und dass val(x) = 0 gilt.<br />
Damit ist Behauptung 1 bewiesen. ✷<br />
Behauptung 2. Es gibt zulässige (s, t)-Flüsse x1, . . . , xk ∈ R A , k ≤ |A|, so dass folgen<strong>des</strong><br />
gilt:<br />
(a) x(a) = k<br />
i=1 xi(a) für alle a ∈ A.<br />
(b) Für jeden (s, t)-Fluss xi, i ∈ {1, . . . , k} gibt es einen gerichteten Kreis Ci in N und<br />
eine positive Zahl αi, so dass xi(a) = αi für alle a ∈ Ci und xi(a) = 0 für alle<br />
a ∈ A \ Ci. △<br />
Beweis. Sei p die Anzahl der Bögen a ∈ A mit x(a) = 0. Da x = x ′ gilt p ≥ 1. Sei<br />
v0 ein Knoten, so dass ein Bogen (v0, v1) ∈ A existiert mit x((v0, v1)) = 0. Da in v1 die<br />
Flusserhaltungsbedingung gilt, muss es einen Bogen (v1, v2) ∈ A geben mit x((v1, v2)) =<br />
0. Fahren wir so weiter fort, so erhalten wir einen gerichteten Weg v0, v1, v2, . . . . Da<br />
N endlich ist, muss irgendwann ein Knoten auftreten, der schon im bisher konstruierten<br />
Weg enthalten ist. Damit haben wir einen gerichteten Kreis Cp gefunden. Sei αp der<br />
kleinste Wert x(a) der unter den Bögen a <strong>des</strong> Kreises Cp auftritt. Definieren wir<br />
<br />
αp für alle a ∈ Cp,<br />
xp(a) :=<br />
0 sonst,<br />
so ist xp ∈ R A ein (s, t)-Fluss mit Wert 0. Setzen wir nun xp := x − xp, so ist xp ein<br />
(s, t)-Fluss mit Wert 0, und die Zahl der Bögen a ∈ A mit xp(a) = 0 ist kleiner als p.<br />
Führen wir diese Konstruktion iterativ fort bis xp = 0 ist, so haben wir die gesuchten<br />
Kreise gefunden. ✷<br />
133