Minimum-Cost Flow Problem

Das Minimum-Cost Flow Problem oder Min-Cost-Flow-Problem ist ein Optimierungs- und Entscheidungsproblem aus der Klasse der Netzwerkflussprobleme und ist eine allgemeine Methode für die Modellierung und Lösung des Umlade- bzw. des Transportproblems.^[1] Probleme dieser Art wurden bereits 1781 von dem französischen Mathematiker Gaspard Monge formuliert^[2] und erhielten während der Aufrüstung im Kalten Krieg auf Grund der militärischen Relevanz der Transportlogistik des Nachschubs eine verstärkte Aufmerksamkeit.^[3] Das Ziel ist es, gegeben eine Kostenfunktion für den Transport von Gütern, die günstigste Möglichkeit für den Transport von einem oder mehreren Startpunkten (Quellen) durch ein Netzwerk zu einem oder mehreren Zielpunkten (Senken) zu bestimmen. Je nach Struktur der Kostenfunktion ist das Problem NP-schwer oder es existieren polynomiell exakte Algorithmen. Im Allgemeinen ist die Lösung von Min-Cost-Flow Problemen nicht eindeutig.

Problem Formulierung

Ein Fluss Netzwerk ist ein gerichteter Graph ${\displaystyle G=(V,E)}$ zusammen mit einem Startknoten ${\displaystyle s\in V}$ mit dem Angebot ${\displaystyle a\in \mathbb {R} ^{+}}$ und einen Zielknoten ${\displaystyle t\in V}$ mit einer, dem Angebot entsprechenden Nachfrage ${\displaystyle -a}$, sowie 2 Funktionen, die auf der Kantenmenge definiert sind:

1. Die Kapazitätsfunktion ${\displaystyle \kappa :E\rightarrow \mathbb {R} ^{+}}$ weist jeder Kante zu, wie viel Güter maximal entlang der Kante transportiert werden können.
2. Die Flussfunktion ${\displaystyle f:E\rightarrow \mathbb {R} _{0}^{+}}$ weist jeder Kante zu wieviel Güter tatsächlich für den Transport allokiert werden. Daher gilt auch die Kapazitätsbeschränkung ${\displaystyle f(u,v)\leq \kappa (u,v)}$ für alle ${\displaystyle v,u\in V}$.

Darüber hinaus müssen für die Flussfunktion die folgenden 2 Eigenschaften gelten:

1. Die Flusserhaltung, welche sich für alle ${\displaystyle u\neq s,t}$ durch ${\displaystyle \,\sum _{w\in V}f(u,w)=0}$ ausdrücken lässt.
2. Die Flusserfüllung von Angebot und Nachfrage, die sich für den Startknoten durch ${\displaystyle \,\sum _{w\in V}f(s,w)=d}$ und den Zielknoten durch ${\displaystyle \,\sum _{w\in V}f(w,t)=d}$ ausdrücken lässt.

Führt man zusätzlich eine (trennbare) Kostenfunktion ${\displaystyle c:E\times \mathbb {R} \rightarrow \mathbb {R} _{0}^{+}}$ ein, die jeder Kante in Abhängigkeit des allokierten Flusswertes einen Wert für die Transportkosten zuweist berechnet man die Gesamtkosten des Flusses ${\displaystyle f}$ mit Hilfe der Kostenformel ${\displaystyle \,C(f)=\sum _{(u,v)\in E}c(u,v,f(u,v))}$.

Bei einem Min-Cost Flow Problem sucht man eine Flussfunktion, welche die Kostenformel minimiert.

Komplexität und Struktur der Kostenfunktion

Die Kapazitätsbeschränkung, Flusserhaltung und Flusserfüllung machen das Auffinden einer Flussfunktion, die die Kostenformel minimiert zu einem Optimierungsproblem mit Zwangsbedingungen. Daher könnte man das Problem zumindest in der Theorie numerisch mit der Mode der Lagrange-Multiplikatoren lösen. In der Praxis entstehen dabei jedoch in der Regel Funktionen, die so stark nicht linear sind, dass das Finden einer Lösung mit numerischen Methoden oft impraktikabel wird. Im Bereich der Informatik und des Operation Research wurden seit den späten 1960er Jahren Algorithmen und Verfahren für die exakte Lösung dieser Problemklasse entwickelt.^[4] Diese Lösungen existieren häufig in dem weitere Annahmen an das Problem gestellt werden. So wird das Problem im diskreten Fall, bei dem die Kapazitäts- und Fluss Funktion nur natürliche Zahlen oder den Wert 0 annimmt deutlich leichter zu berechnen.

Lineare Kostenfunktion

Im Fall einer linearen Kostenfunktion lässt sich das Problem durch Techniken der Linearen Programmierung und mit Hilfe des Simplex-Verfahrens lösen.

Konvexe Kostenfunktion

1986 zeigte Minoux, dass für den diskreten Fall polynomiell exakte Lösungen für das Problem im Falle einer konvexen Kostenfunktion existieren.^[5] Diese können zum Beispiel gefunden werden, indem die Kostenfunktion in den einzelnen Delta-Phasen des Capacity-Scaling Algorithmus stückweise linearisiert wird.^[3]

Allgemeine nichtlineare Kostenfunktion

Für allgemeine nichtlineare Kostenfunktionen ist das Finden einer Lösung NP-schwer.^[6]

Siehe auch

• Flüsse und Schnitte in Netzwerken (Maximum-Flow-Problem)
• Kürzester Pfad
• Zuordnungsproblem
• Operations Research

Literatur

• Oliver Zlotowski: Design, Implementierung und Evaluierung von Netzwerkdatenstrukturen und Netzwerkalgorithmen zum Lösen des Minimum-Cost Flow Problems. Logos, Berlin 2010, ISBN 978-3-8325-2600-9.
• L. Chen, R. Kyng, Y.P. Liu, R. Peng, M. Probst Gutenberg, S. Sachdeva: Almost-Linear-Time Algorithms for Maximum Flow and Minimum-Cost Flow. In: Communications of the ACM. Band 66, Nr. 12, 2023, S. 85–92, doi:10.1145/3610940.

Weblinks

• Maximilian Probst Gutenberg: Der Algorithmus, der alle Erwartungen sprengte (Spektrum.de, 18. Dezember 2024)