Minimalkosten-Fluss-Problem
Minimiere über den Fluss, sodass die Kosten minimal werden
Nebenbedingungen s.t. Die Bedarfsfunktion muss erfüllt werden. für alle , Die Kapazitätsbedingung muss natürlich auch gelten für alle
Reformulierungen
auf (s-t)-Problem
Zum eingrenzen der Bedarfsfunktion können Superquellen und Supersenken verwendet werden. Diese verbinden alle Quellen und Senken jeweils zu einem Knoten. Die Bedarfsfunktionen werden jeweils so gewählt, dass der Bedarf an den Quellen und Senken Null ist. Die Superquelle speist also alle Quellen und die Supersenke nimmt alles aus den Senken entgegen. Die Knoten zwischen den Quellen und Senken haben dank der Flusserhaltungsbedingung automatisch einen Bedarf von Null.
Der Bedarf der Superquellen und Supersenken wird natürlich durch die Summe der Bedarfe der Quellen und Senken definiert.