aktuelle Version des Vorlesungsskripts - ZIB
aktuelle Version des Vorlesungsskripts - ZIB
aktuelle 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 Flüsse mit minimalen Kosten<br />
Die reduzierten Kosten lassen sich, die Knotenpreise y vorausgesetzt, leichter berechnen<br />
als die Kosten eines Kreises. Intuitiv geben die reduzierten Kosten eines Bogens an, wie<br />
sich die Kosten <strong>des</strong> Gesamtflusses ändern, wenn man den Fluss auf dem Bogen um eine<br />
Einheit erhöht. Sie liefern daher das folgende Optimalitätskriterium.<br />
(7.24) Satz. Eine zulässige Baum-Lösung (x, T, L, U) ist optimal, wenn ein Knotenpreisvektor<br />
y existiert mit<br />
⎧<br />
⎪⎨ = 0 a ∈ T,<br />
¯c(a) ≥ 0<br />
⎪⎩<br />
≤ 0<br />
a ∈ L,<br />
a ∈ U. △<br />
Beweis. Seien x ein Fluss und y ein Knotenpreisvektor. Dann gilt<br />
¯c T (x) = <br />
xij(cij + yi − yj)<br />
(i,j)∈A<br />
= <br />
(i,j)∈A<br />
= c T x + <br />
xijcij + <br />
i∈V<br />
yi<br />
= c T x + <br />
yidi,<br />
i∈V<br />
<br />
i∈V (i,j)∈A<br />
<br />
(i,j)∈A<br />
xijyi − <br />
xij − <br />
(j,i)∈A<br />
<br />
j∈V (i,j)∈A<br />
xij<br />
<br />
xijyj<br />
d. h. die reduzierten Kosten ¯c T x eines Flusses x unterscheiden sich nur um eine Konstante<br />
von den Kosten c T x. Ist x optimal bzgl. der reduzierten Kosten, dann ist x also auch<br />
optimal bzgl. der ursprünglichen Kosten.<br />
Sei nun (x, T, L, U) eine zulässige Baum-Lösung mit zugehörigem Knotenpreisvektor y<br />
und darüber definierten reduzierten Kosten ¯c, die die im Satz genannten Voraussetzungen<br />
erfüllen. Betrachten wir einen weiteren zulässigen Fluss x ′ . Es gilt dann:<br />
¯c T x ′ = <br />
x ′ a¯ca + <br />
x ′ a¯ca + <br />
x ′ a¯ca<br />
a∈T<br />
a∈L<br />
= <br />
x ′ a¯ca + <br />
x ′ a¯ca<br />
a∈L<br />
a∈U<br />
≥ <br />
la¯ca + <br />
ua¯ca<br />
a∈L<br />
a∈U<br />
≥ <br />
xa¯ca = ¯c T x.<br />
a∈A<br />
Also ist x optimal bezüglich ¯c und damit auch bezüglich c. ✷<br />
(7.25) Folgerung. Falls für ein Minimalkosten-Flussproblem ein zulässiger Fluss existiert,<br />
so existiert auch eine optimale zulässige Baum-Lösung. △<br />
142<br />
a∈U