für Kapazitäten c:
c(S) =
{c(e) | e
(S,
)}.
Lemma;
für jeden Fluß f und jeden Schnitt S gilt:
f (N)
c(S).
Folgerung:
max{f (N) | $f$ ist Fluß für $N$}
min{c(S) | $S$ ist Schnitt für $N$}
Satz (Max-Flow-Min-Cut): Hier gilt Gleichheit.