Algorithme de Floyd-Warshall

Algorithme de Floyd-Warshall

Découvreur ou inventeur	Bernard Roy
Date de découverte	1959
Problèmes liés	Algorithme de recherche de chemin (d), algorithme de la théorie des graphes (en)
Structure des données	Graphe

Complexité en temps

Pire cas	${\displaystyle O(|S|^{3})}$
Moyenne	${\displaystyle O(|S|^{3})}$
Meilleur cas	${\displaystyle O(|S|^{3})}$

Complexité en espace

Pire cas	${\displaystyle O(|S|^{2})}$

modifier - modifier le code - modifier Wikidata

En informatique, l'algorithme de Floyd-Warshall est un algorithme pour déterminer les distances des plus courts chemins entre toutes les paires de sommets dans un graphe orienté et pondéré, en temps cubique au nombre de sommets. Il est parfois appelé algorithme de Roy-Floyd-Warshall car il a été décrit par Bernard Roy en 1959 avant la parution des articles de Floyd et Warshall datant de 1962.

Algorithme

L'algorithme de Floyd-Warshall prend en entrée un graphe orienté et valué, décrit par une matrice d'adjacence donnant le poids d'un arc lorsqu'il existe et la valeur ∞ sinon. Le poids d'un chemin entre deux sommets est la somme des poids sur les arcs constituant ce chemin. Les arcs du graphe peuvent avoir des poids négatifs, mais le graphe ne doit pas posséder de circuit de poids strictement négatif. L'algorithme calcule, pour chaque paire de sommets, le poids minimal parmi tous les chemins entre ces deux sommets.

L'algorithme de Floyd-Warshall est un exemple de programmation dynamique. Soit ${\displaystyle G=(S,A)}$ un graphe à ${\displaystyle n}$ sommets avec ${\displaystyle S=\{s_{1},s_{2},\dots ,s_{n}\}}$. Il résout successivement les sous-problèmes suivants :

${\displaystyle {\mathcal {W}}_{ij}^{k}}$ est le poids minimal d'un chemin du sommet ${\displaystyle s_{i}\in S}$ au sommet ${\displaystyle s_{j}\in S}$n'empruntant que des sommets intermédiaires dans ${\displaystyle \{s_{1},s_{2},\dots ,s_{k}\}\in S}$ s'il en existe un, et ${\displaystyle \infty }$ sinon.

On note ${\displaystyle {\mathcal {W}}^{k}}$ la matrice des ${\displaystyle {\mathcal {W}}_{ij}^{k}}$. Pour ${\displaystyle k=0}$, ${\displaystyle {\mathcal {W}}^{0}}$ est la matrice d'adjacence définissant ${\displaystyle G}$. Maintenant, pour trouver une relation de récurrence, on considère un chemin ${\displaystyle p}$ entre ${\displaystyle s_{i}}$ et ${\displaystyle s_{j}}$ de poids minimal dont les sommets intermédiaires sont dans ${\displaystyle \{s_{1},s_{2},\dots ,s_{k}\}}$. De deux choses l'une :

• soit ${\displaystyle p}$ n'emprunte pas le sommet ${\displaystyle s_{k}}$ ;
• soit ${\displaystyle p}$ emprunte exactement une fois le sommet ${\displaystyle s_{k}}$ (car les circuits sont de poids positifs ou nuls) et ${\displaystyle p}$ est donc la concaténation de deux chemins, entre ${\displaystyle s_{i}}$ et ${\displaystyle s_{k}}$ et ${\displaystyle s_{k}}$ et ${\displaystyle s_{j}}$ respectivement, dont les sommets intermédiaires sont dans ${\displaystyle \{s_{1},s_{2},\dots ,s_{k-1}\}}$.

L'observation ci-dessus donne la relation de récurrence ${\displaystyle {\mathcal {W}}_{ij}^{k}=\min({\mathcal {W}}_{ij}^{k-1},{\mathcal {W}}_{ik}^{k-1}+{\mathcal {W}}_{kj}^{k-1})}$, pour tous ${\displaystyle i}$, ${\displaystyle j}$ et ${\displaystyle k}$ dans ${\displaystyle \{1,2,\dots ,n\}}$. Ainsi on résout les sous-problèmes par valeur de ${\displaystyle k}$ croissante.

Pseudo-code

Donnons d'abord une première version d'après l'analyse faite dans la section précédente. Le pseudo-code suivant effectue ce calcul :

 fonction FloydWarshall (${\displaystyle G}$)
   ${\displaystyle {\mathcal {W}}^{0}:=}$ matrice d'adjacence de ${\displaystyle G}$ (matrice ${\displaystyle {\mathit {n}}\times {\mathit {n}}}$)
   for ${\displaystyle {\mathit {k}}:=1}$ to ${\displaystyle {\mathit {n}}}$
       for ${\displaystyle {\mathit {i}}:=1}$ to ${\displaystyle {\mathit {n}}}$
           for ${\displaystyle {\mathit {j}}:=1}$ to ${\displaystyle {\mathit {n}}}$
                ${\displaystyle {\mathcal {W}}_{ij}^{k}=\min({\mathcal {W}}_{ij}^{k-1},{\mathcal {W}}_{ik}^{k-1}+{\mathcal {W}}_{kj}^{k-1})}$
   renvoyer ${\displaystyle {\mathcal {W}}^{n}}$

On peut optimiser l'algorithme en effectuant le calcul en place dans une unique matrice ${\displaystyle {\mathcal {W}}}$. Le pseudo-code suivant effectue ce calcul :

 fonction FloydWarshall (${\displaystyle G}$)
   ${\displaystyle {\mathcal {W}}:=}$matrice d'adjacence de ${\displaystyle G}$ (matrice ${\displaystyle {\mathit {n}}\times {\mathit {n}}}$)
   for ${\displaystyle {\mathit {k}}:=1}$ to ${\displaystyle {\mathit {n}}}$
       for ${\displaystyle {\mathit {i}}:=1}$ to ${\displaystyle {\mathit {n}}}$
           for ${\displaystyle {\mathit {j}}:=1}$ to ${\displaystyle {\mathit {n}}}$
                ${\displaystyle {\mathcal {W}}_{{\mathit {i}}{\mathit {j}}}:=\min({\mathcal {W}}_{{\mathit {i}}{\mathit {j}}},{\mathcal {W}}_{{\mathit {i}}{\mathit {k}}}+{\mathcal {W}}_{{\mathit {k}}{\mathit {j}}})}$
   renvoyer ${\displaystyle {\mathcal {W}}}$

La complexité en temps, dans le pire cas, de cet algorithme (deuxième version) est ${\displaystyle O(n^{3})}$ et sa complexité en espace ${\displaystyle O(n^{2})}$.

Exemple

L'algorithme est exécuté sur le graphe à gauche.

• Pour ${\displaystyle k=0}$, les seuls chemins sont les arcs directs.
• Pour ${\displaystyle k=1}$, on regarde les chemins où le sommet ${\displaystyle s_{1}}$ peut être un sommet intermédiaire. On trouve le chemin ${\displaystyle s_{2}\rightarrow s_{1}\rightarrow s_{3}}$ qui est moins lourd que ${\displaystyle s_{2}\rightarrow s_{3}}$.
• Pour ${\displaystyle k=2}$, maintenant, le sommet ${\displaystyle s_{2}}$ peut être un sommet intermédiaire. La boîte rouge et la boîte bleu montrent que le chemin ${\displaystyle s_{4}\rightarrow s_{2}\rightarrow s_{1}\rightarrow s_{3}}$ est la concaténation du chemin ${\displaystyle s_{4}\rightarrow s_{2}}$ et ${\displaystyle s_{2}\rightarrow s_{1}\rightarrow s_{3}}$ avec le sommet ${\displaystyle s_{2}}$ comme sommet intermédiaire. Notons que le chemin ${\displaystyle s_{4}\rightarrow s_{2}\rightarrow s_{3}}$ n'est pas considéré car c'est ${\displaystyle s_{2}\rightarrow s_{1}\rightarrow s_{3}}$ qui est un chemin le plus léger obtenu à l'itération précédente et non ${\displaystyle s_{2}\rightarrow s_{3}}$.
• Pour ${\displaystyle k=3}$, on trouve encore d'autres chemins.
• Pour ${\displaystyle k=4}$, on a trouvé des plus courts chemins entre tous les sommets.

Applications

L'algorithme de Floyd-Warshall peut être utilisé dans les situations suivantes :

• Plus courts chemins dans les graphes orientés non pondérés (en donnant un poids 1 à chaque arc)
• Clôture transitive d'un graphe orienté (algorithme de Warshall). Dans la formulation initiale de l'algorithme ci-dessus par Warshall, le graphe n'est pas valué et donc simplement représenté par une matrice de booléens. On obtient alors la clôture transitive de ce graphe en remplaçant dans l'algorithme ci-dessus l'addition par la conjonction (ET) et le minimum par la disjonction (OU).
• Trouver une expression régulière dénotant le langage rationnel défini par un automate fini. Les formules sont celles connues sous le nom d’algorithme de McNaughton et Yamada.

Améliorations

En 1993, Bahar et coll. ont donné une implémentation de l'algorithme de Floyd-Warshall pour des graphes représentés symboliquement à l'aide d'une structure de données appelée diagramme de décision algébriques qui est une généralisation des diagrammes de décision binaire.

Notes et références

Références

• (en) Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest et Clifford Stein, Introduction to Algorithms, MIT Press et McGraw-Hill, 2001, 2^e éd. [détail de l’édition]
  • Section 26.2, "The Floyd-Warshall algorithm", p. 558–565;
  • Section 26.4, "A general framework for solving path problems in directed graphs", p. 570–576.
• (en) Robert W. Floyd, « Algorithm 97: Shortest Path », Communications of the ACM, vol. 5, n^o 6,‎ juin 1962, p. 345 (DOI 10.1145/367766.368168)
• (en) Stephen Warshall, « A theorem on Boolean matrices », Journal of the ACM, vol. 9, n^o 1,‎ janvier 1962, p. 11–12 (DOI 10.1145/321105.321107)

Voir aussi

• Algorithme de Warshall
• Robert Floyd
• Algorithme de Dijkstra
• Algorithme de Bellman-Ford

• Portail de l'informatique théorique