23.06.2013 Aufrufe

aktuelle Version des Vorlesungsskripts - ZIB

aktuelle Version des Vorlesungsskripts - ZIB

aktuelle Version des Vorlesungsskripts - ZIB

MEHR ANZEIGEN
WENIGER ANZEIGEN

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

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!