Finde einen zulässigen Fluß f in G
REPEAT
erhöhe diesen Fluß f
UNTIL eine Erhöhung von f ist nicht möglich
Die Korrektheit dieses Algorithmus folgt unmittelbar aus dem folgenden Satz:
: | klar ! |
: | Der Beweis wird dem Leser hier noch schuldig geblieben und folgt später. |