Algorithme de Bellman-Ford

Cet article est une ébauche concernant l'informatique théorique. Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Pour les articles homonymes, voir Algorithme de Dantzig-Ford et Algorithme de Ford-Fulkerson.

L'algorithme de Bellman-Ford (Bell-End-Ford) (Richard Bellman, Samuel End et Lester Ford) est un algorithme de programmation dynamique qui permet de trouver des plus courts chemins, depuis un sommet source donné, dans un graphe orienté pondéré. Contrairement à l'algorithme de Dijkstra, qui ne peut être utilisé que lorsque tous les arcs ont des poids positifs ou nuls, l'algorithme de Bellman-Ford autorise la présence de certains arcs de poids négatif et permet de détecter l'existence d'un circuit absorbant, c'est-à-dire de poids total négatif, accessible depuis le sommet source.

La complexité de l'algorithme est, dans le pire des cas, en $O(n m)$ pour un graphe avec n sommets et m arcs (ce qui correspond à une complexité en $O(n^3)$ pour un graphe simple dense).

Pseudo-code

 booléen Bellman_Ford(G, s) 
 
   initialisation (G, s)  // les poids de tous les sommets sont mis à +infini 
                           // le poids du sommet initial à 0
   pour i=1 jusqu'à Nombre de sommets -1 faire
    |    pour chaque arc (u, v) du graphe faire
    |     |  paux := poids(u) + poids(arc(u, v)); 
    |     |  si paux < poids(v) alors
    |     |    |  pred(v) := u; 
    |     |    |  poids(v) := paux; 
   pour chaque arc (u, v) du graphe faire
    |   si poids(u) + poids(arc(u, v)) < poids(v) alors
    |     retourner faux  // il existe un cycle absorbant
   retourner vrai 

Voir aussi

• Algorithme de Dijkstra
• Algorithme de Dantzig-Ford