Minimalkosten-Zirkulations-Problem
s.t. für alle , für alle
Um das Problem in die Form eines Zirkulationsproblems zu bringen fügt man eine neue Kante zwischen der Supersenke und der Superquelle ein. Diese Kante darf natürlich keine Kosten haben und die Bedarfsfunktion wählt man so, dass der Bedarf der Superquelle dem negativen Bedarf der Supersenke entspricht.
Negative Kosten können so in nicht-negative Kosten transformiert werden:
Optimalitätsbedingungen
Negative-Kreise-Optimalitätsbedingung
Für die weiteren Bedingungen muss zuerst der Begriff Reduzierte Kosten eingeführt werden.