Handout - Institut für Theoretische Informatik - Technische ...

6. Komplexität von Algorithmen 6.10 Komplexität von Optimierungsproblemen
Die maximale Größe eines Flusses ist natürlich durch das Minimum der
Kapazitätssummen der Kanten aus s bzw. nach t beschränkt. Daher
terminiert der obige Algorithmus nach endlich vielen Schritten, da der Fluß
pro Schritt um mindestens 1 größer wird. (Für R-wertige Kapazitäten
und Flüsse gilt dieses Argument nicht mehr!)
Da obiges Argument bzgl. des Differenzflusses für jeden Fluß f und jeden
Fluß F maximaler Größe anwendbar ist, folgt sofort, daß der Algorithmus
unabhängig von der Wahl der Verbindungspfade immer ein globales
Maximum liefert, nicht nur ein lokales.
Jürgen Koslowski (TU-BS) Theoretische Informatik 2 SS 2012 177 / 215