Problème du flot de coût minimum

En théorie des graphes, le problème du flot de coût minimum est le problème algorithmique qui consiste à trouver la manière la plus économe d'utiliser un réseau de transport tout en satisfaisant les contraintes de production et de demande des nœuds du réseau. Il permet de modéliser tout un ensemble de problèmes pratiques dans lesquels il s'agit de trouver une manière optimale d'acheminer une ressource (par exemple un fluide, de l'électricité) d'un ensemble de sources à un ensemble de puits.

Le problème du flot de coût minimum est fondamental dans la mesure où la plupart des autres problèmes de flots, comme le problème de flot maximum, peuvent en être vus comme des cas particuliers. De plus, il est possible de résoudre le problème dans certains cas de manière efficace en utilisant l'algorithme du simplexe pour les réseaux.

Définition du problème

Soit $G=(N,A)$ un réseau de transport, c'est-à-dire un graphe orienté sur lequel sont définies :

• $d:N\to {ℝ}^{+}$ une fonction prenant des valeurs positives pour les nœuds sources (i.e. produisant des ressources), négatives pour les nœuds puits (i.e. utilisant des ressources) et nulles pour les nœuds dits de transit ;
• $c:A\to {ℝ}^{+}$ une fonction associant à chaque arc sa capacité, i.e. le flot maximum qu'il peut supporter ;
• $w:A\to ℝ$ une fonction mesurant le coût (positif ou négatif) du transport par unité de flot pour un arc donné.

En supposant qu'il existe un flot réalisable, le problème du flot de coût minimal consiste, à trouver un flot $f:A\to ℝ$ minimisant le coût total : $\sum _{a\in A}w(a)f(a)$sous les contraintes :

• contrainte de capacité : $\mathrm{\forall }a\in A,0\le f(a)\le c(a)$. Autrement dit, le flot dans l'arc $a$ est majoré par la capacité $c(a)$.
• conservation du flot : $\mathrm{\forall }n\in N,\sum _{a=(n,s)\in A}f(a)-\sum _{a=(s,n)\in A}f(a)=d(n)$. Autrement dit, la demande en le nœud $n$ est égale à la différence entre le flot sortant et le flot entrant en $n$.

Existence d'une solution

Il est possible de montrer qu'il existe un flot admissible si et seulement siModèle:Sfn, pour toute coupe du graphe $N=N_1\cup N_2$ :

$\sum _{a\in (N_1\times N_2)\cap A}c(a)\ge \sum _{n\in N_1}d(n)$.

Résolution

Le problème peut être résolu par programmation linéaire, dans la mesure où la fonction à minimiser, et les différentes contraintes sont linéaires. Plusieurs autres algorithmes existentModèle:SfnModèle:,, certains pouvant être considérés comme des généralisations de l'algorithme de Ford-Fulkerson, d'autres comme des généralisations de l'algorithme de poussage/réétiquetage, ou encore des variantes de l'algorithme du simplexe.

Problèmes liés

En fixant certains paramètres, on obtient d'autres problèmes de cheminement.

Problème de flot maximum

Résoudre le problème du flot maximum entre une source unique $s$ et un puits unique $p$ dans un graphe $G=(N,A)$ revient à résoudre l'instance du problème de flot de coût minimum dans le graphe $G^{\prime }$ qui est le graphe $G$ dans lequel on ajoute un nouvel arc du puits $p$ vers la source $s$, autrement dit $G^{\prime }=(N,A\cup \{(p,s)\})$ où :

• $\mathrm{\forall }n\in N,d(n)=0$
• il n'y a pas de contrainte de capacité sur le nouvel arc : $c((p,s))=+\mathrm{\infty }$ ;
• la nouvelle arête a un coût négatif $w((p,s))=-1$ et, $\mathrm{\forall }a\in A,w(a)=0$.

Puisque le coût entre $p$ et $s$ est négatif, la condition de minimisation revient à maximiser le flot.

Recherche du plus court chemin entre deux nœuds

Trouver le plus court chemin entre $s\in N$ et $p\in N$ revient à résoudre l'instance du problème de flot de coût minimum où :

• $s$ est l'unique source et $p$ l'unique puits : $d(s)=1$, $d(p)=-1$ et $d(n)=0$ pour les autres nœuds ;
• il n'y a pas de contrainte de capacité : $\mathrm{\forall }a\in A,c(a)=+\mathrm{\infty }$ ;
• le coût unitaire est fixe : $\mathrm{\forall }a\in A,w(a)=1$

Recherche du plus court chemin d'un nœud à tous les autres

Trouver le plus court chemin entre une source $s\in N$ et les autres nœuds revient à résoudre l'instance du problème de flot de coût minimum où :

• $s$ est l'unique source ($d(s)=|N|-1$) alimentant tous les autres nœuds ($\mathrm{\forall }n\in N,d(n)=-1\text{ si }n\ne s$) ;
• il n'y a pas de contrainte de capacité : $\mathrm{\forall }a\in A,c(a)=+\mathrm{\infty }$ ;
• le coût unitaire est fixe : $\mathrm{\forall }a\in A,w(a)=1$.

Bibliographie

• Modèle:Ouvrage
• Modèle:Ouvrage

Liens externes

• Modèle:Lien web
• Modèle:Lien web
• Modèle:Lien web
• Modèle:En LEMON, une bibliothèque C++ implémentant de nombreux algorithmes liés aux flots maximums

Articles liés

• Théorie du transport
• Problème de flot maximum
• Lexique de la théorie des graphes