Problème de flot maximum

Le problème de flot maximum consiste à trouver, dans un réseau de flot, un flot réalisable depuis une source unique et vers un puits unique qui soit maximum^[1]. Quelquefois^[Quand ?], on ne s'intéresse qu'à la valeur de ce flot. Le s-t flot maximum (depuis la source s vers le puits t) est égal à la s-t coupe minimum du graphe, comme l'indique le théorème flot-max/coupe-min.

Applications[modifier | modifier le code]

Cette section est vide, insuffisamment détaillée ou incomplète. Votre aide est la bienvenue ! Comment faire ?

Ce type de problème est proche de ce qui est rencontré dans le remplissage optimisé de boîtes. On peut également utiliser des approches de flot maximum pour résoudre des problèmes de gestion d'écoulements dans des réseaux (égouts, conduites d'eau, trafic routier...).

Algorithmes[modifier | modifier le code]

Étant donné un graphe orienté $G=(V,E)$ , où chaque arc $u,v$ a une capacité $c(u,v)$ , on cherche un flot maximum $f$ depuis la source $s$ vers le puits $t$ , sous contrainte de capacité. Différents algorithmes ont été développés pour résoudre ce problème de complexités différentes. On utilise, dans la description des complexités, la notation simplifiée qui remplace le cardinal d'un ensemble par l'ensemble lui-même : on écrit $O(VE^{2})$ au lieu de $O(|V||E|^{2})$ .

Algorithme	Complexité	Description
Programmation linéaire		Les contraintes sont données par flot admissible, où on considère comme admissible un flot qui n'excède pas la capacité d'un arc. On maximise $\sum _{v\in V}f(s,v)$
Algorithme de Ford-Fulkerson	$O(E\cdot {\mathit {flotmax}})$ dans le cas entier	Tant qu'il existe un chemin entre la source et le puits dans le graphe résiduel, envoyer le minimum des capacités résiduelles sur ce chemin.
Algorithme d'Edmonds-Karp	$O(VE^{2})$	Spécialisation de l'algorithme de Ford-Fulkerson, où les chemins augmentants sont des plus courts chemins (en nombre d'arcs) dans le graphe résiduel (on utilise un parcours en largeur)
Algorithme de flot bloquant de Dinitz	$O(V^{2}E)$	À chaque phase l'algorithme construit un graphe en couches avec une recherche en profondeur d'abord sur le graphe résiduel. Le flot maximum dans le graphe en couche peut être calcule en temps $O(VE)$ , et le nombre maximum de phase est de $\|V\|-1$ .
Algorithme de flot maximum par poussage/réétiquetage	$O(V^{2}E)$	Cet algorithme maintient un préflot, i.e. une fonction de flot avec une possibilité d'excès dans les sommets. L'algorithme fonctionne tant qu'il existe un sommet avec un excès strictement positif, appelé sommet actif du graphe. L'opération de poussage augmente le flot sur une arête résiduelle, et une fonction de hauteur contrôle sur les sommets contrôle quelles arêtes résiduelles doivent être poussées. Cette fonction est changée avec la fonction d'étiquetage. Les définitions de ces opérations garantissent que le flot résultant est un flot maximum.
Poussage/réétiquetage avec règle de sélection des sommets par FIFO	$O(V^{3})$	Variante qui sélectionne toujours le sommet le plus actif formellement, et fait les opérations jusqu'à ce que l'excès soit positif ou qu'il existe des arêtes résiduelles admissibles depuis ce sommet.
Algorithme de flot bloquant de Dinitz avec arbre dynamique^[2]	$O(VE\log(V))$	La structure d'arbre dynamique accélère le calcul de flot maximum dans le graphe en couche pour obtenir $O(E\log(V))$ par phase.
Poussage/re-étiquetage avec usage des arbres dynamiques^[3]	$O(VE\log(V^{2}/E))$	L'algorithme construit des arbres de taille limitée sur le graphe résiduel en considérant la fonction de hauteur, ces arbres fournissent des opérations de poussage multi-niveau.
Algorithme de flot bloquant binaire^[4]	$O\left(E\cdot \min(V^{\frac {2}{3}},{\sqrt {E}})\cdot \log {\frac {V^{2}}{E}}\log {U}\right)$	La valeur $U$ correspond à la capacité maximum du réseau.
KRT : Algorithme de King, Rao et Tarjan^[5]	$O(EV\log _{\frac {E}{V\log V}}V)$
Algorithme de James B Orlin + KRT^[6]	$O(VE)$	L'algorithme d'Orlin calcule le flot maximum en temps $O (VE)$ pour $E\leq O(V^{{16 \over 15}-\epsilon })$ et KRT résout le problème en $O (VE)$ pour $E>V^{1+\epsilon }$ .
Algorithme de Chen, Kyng, Liu, Peng, Gutenberg et Sachdeva ^[7]	$O(E^{1+o(1)})$	L'algorithme de Chen, Kyng, Liu, Peng, Gutenberg et Sachdeva' résout le problème de flot maximum et cout minimum en temps presque linéaire en construisant le flot par une série de $E^{1+o(1)}$ cycles non-orientés de ratios minimums approchés, chacun calculé et utilisé en temps amorti $E^{o(1)}$ avec une structure de donnée dynamique.

Une liste plus complète figure dans le livre de Cormen, Leiserson, Rivest et Stein^[1]. Le problème du flot maximal est complet pour la classe P^[8].

Extensions[modifier | modifier le code]

Le problème du flot maximum peut être vu comme un cas particulier de plusieurs autres problèmes de flots dans les réseaux, comme le flot multi-commodités.

Références bibliographiques[modifier | modifier le code]

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Maximum flow problem » (voir la liste des auteurs).

↑ ^{a et b} (en) Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein, Introduction to Algorithms, Cambridge, MIT Press and McGraw-Hill, 2001, 2^e éd., 1180 p., relié (ISBN 978-0-262-53196-2, LCCN 2001031277), « Chap. 26. Maximum Flow », p. 643–700.
↑ (en) Daniel D. Sleator and Robert E. Tarjan, « A data structure for dynamic trees », Journal of Computer and System Sciences, vol. 26, n^o 3,‎ 1983, p. 362–391 (ISSN 0022-0000, DOI 10.1016/0022-0000(83)90006-5, lire en ligne).
↑ (en) Andrew V. Goldberg and Robert E. Tarjan, « A new approach to the maximum-flow problem », Journal of the ACM, New York, NY, USA, ACM Press, vol. 35, n^o 4,‎ 1988, p. 921–940 (ISSN 0004-5411, DOI 10.1145/48014.61051).
↑ (en) Andrew V. Goldberg and S. Rao, « Beyond the flow decomposition barrier », J. Assoc. Comput. Mach., vol. 45,‎ 1998, p. 753–782 (DOI 10.1145/290179.290181).
↑ V. King, S. Rao et R. Tarjan, « A Faster Deterministic Maximum Flow Algorithm », Journal of Algorithms, vol. 17, n^o 3,‎ 1994, p. 447–474 (DOI 10.1006/jagm.1994.1044)
↑ James B. Orlin, « Max flows in O(nm) time, or better », STOC '13 Proceedings of the forty-fifth annual ACM symposium on Theory of computing,‎ 2013, p. 765–774 (DOI 10.1145/2488608.2488705)
↑ L. Chen, R. Kyng, Y.P. Liu, M.P. Gutenberg et S. Sachdeva, « Maximum Flow and Minimum-Cost Flow in Almost-Linear Time », preprint ArXiv,‎ 2022
↑ (en) « The maximum flow problem is log space complete for P », Theoretical Computer Science, vol. 21, n^o 1,‎ 1^er octobre 1982, p. 105–111 (ISSN 0304-3975, DOI 10.1016/0304-3975(82)90092-5, lire en ligne, consulté le 8 novembre 2018)

Articles connexes[modifier | modifier le code]

Problème du flot de coût minimum

Lien externe[modifier | modifier le code]

(en) Bibliothèque C++ Lemon avec plusieurs implémentations du flot maximum

[CLRS01-1] {a et b} (en) Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest and Clifford Stein, Introduction to Algorithms, Cambridge, MIT Press and McGraw-Hill, 2001, 2^e éd., 1180 p., relié (ISBN 978-0-262-53196-2, LCCN 2001031277), « Chap. 26. Maximum Flow », p. 643–700.

[ST83-2] (en) Daniel D. Sleator and Robert E. Tarjan, « A data structure for dynamic trees », Journal of Computer and System Sciences, vol. 26, n^o 3,‎ 1983, p. 362–391 (ISSN 0022-0000, DOI 10.1016/0022-0000(83)90006-5, lire en ligne).

[GT88-3] (en) Andrew V. Goldberg and Robert E. Tarjan, « A new approach to the maximum-flow problem », Journal of the ACM, New York, NY, USA, ACM Press, vol. 35, n^o 4,‎ 1988, p. 921–940 (ISSN 0004-5411, DOI 10.1145/48014.61051).

[GR97-4] (en) Andrew V. Goldberg and S. Rao, « Beyond the flow decomposition barrier », J. Assoc. Comput. Mach., vol. 45,‎ 1998, p. 753–782 (DOI 10.1145/290179.290181).

[5] V. King, S. Rao et R. Tarjan, « A Faster Deterministic Maximum Flow Algorithm », Journal of Algorithms, vol. 17, n^o 3,‎ 1994, p. 447–474 (DOI 10.1006/jagm.1994.1044)

[6] James B. Orlin, « Max flows in O(nm) time, or better », STOC '13 Proceedings of the forty-fifth annual ACM symposium on Theory of computing,‎ 2013, p. 765–774 (DOI 10.1145/2488608.2488705)

[almost_linear-7] L. Chen, R. Kyng, Y.P. Liu, M.P. Gutenberg et S. Sachdeva, « Maximum Flow and Minimum-Cost Flow in Almost-Linear Time », preprint ArXiv,‎ 2022

[8] (en) « The maximum flow problem is log space complete for P », Theoretical Computer Science, vol. 21, n^o 1,‎ 1^er octobre 1982, p. 105–111 (ISSN 0304-3975, DOI 10.1016/0304-3975(82)90092-5, lire en ligne, consulté le 8 novembre 2018)

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]