Parcours de graphe

Il existe de nombreux algorithmes de parcours. Les plus couramment décrits sont le parcours en profondeur et le parcours en largeur. L'algorithme de Dijkstra et l'algorithme de Prim font également partie de cette catégorie.

Les algorithmes de parcours n'ont pas une finalité intrinsèque. Ils servent comme outil pour étudier une propriété globale du graphe, comme la connexité ou la forte connexité ou l'existence d'un point d'articulation[1].

Un parcours d'un graphe est un procédé qui permet de choisir, à partir des sommets visités, le sommet suivant à visiter. Le problème consiste à déterminer un ordre sur les visites des sommets. Une fois le choix fait, l’ordre des visites induit une numérotation des sommets visités (l'ordre de leur découverte) et un choix sur l'arc ou l’arête utilisé pour atteindre un nouveau sommet à partir des sommets déjà visités.

Les arcs ou arêtes distingués forment une arborescence ou un arbre, et les numéros des sommets sont croissants sur les chemins de l’arborescence ou les chaînes de l'arbre depuis la racine.

Les algorithmes de parcours servent dans la résolution d'un certain nombre de problèmes parmi lesquels :

• connexité et forte connexité ;
• existence d'un circuit ou d'un cycle (ce qu'on appelle tri topologique) ;
• calcul des plus courts chemins (notamment l'algorithme de Dijkstra) ;
• calcul d'un arbre recouvrant (notamment l'algorithme de Prim) ;
• algorithmes pour les flots maximums (comme l'algorithme de Ford-Fulkerson).

Pour la réalisation d'un parcours, il est en général nécessaire de mémoriser quels sont les sommets déjà explorés par l'algorithme, de sorte de ne pas répéter une visite d'un sommet déjà exploré. De manière pratique, cela peut être réalisé par une marque distinctive (une « couleur » ou un état spécial) associé à chaque sommet et qui est maintenu attesté durant l’exécution de l'algorithme. Lors de l’exploration d'un sommet, on le marque comme nouvellement découvert à la première visite, et on arrête la visite lors d'une rencontre ultérieure. L'espace occupé par de tels indicateurs est constant pour chaque sommet. Une telle mémorisation n’est pas nécessaire pour les parcours d'arbres.

La complexité d'un algorithme de parcours en lui-même est en ${\displaystyle O(n+m)}$, où ${\displaystyle n}$ est le nombre de sommets et ${\displaystyle m}$ le nombre d'arcs ou d'arêtes; il est donc linéaire[1]. Un algorithme utilisant comme brique de base un algorithme de parcours peut être de complexité supérieure. L’algorithme de test de planarité de Robert Tarjan exploite des numérotations induites par plusieurs parcours[2].

• Algorithme de parcours en profondeur
• Algorithme de parcours en largeur
• Algorithme de Dijkstra des plus courts chemins
• Algorithme de Kosaraju de test de forte connexité
• Algorithme de Tarjan de test de forte connexité
• Arbre de Trémaux

• Sylvie Borne, « Exploration d'un graphe », Cours : Algorithmique de graphes, chapitre 3, Ingénieurs sup Galilée, 2012-2013 (consulté le Date invalide (11 mars 2021 lien casse)).
• Robert Cori, « L’algorithme de test de planarité de R. E. Tarjan », Bulletin de la société informatique de France, n^o 4,‎ octobre 2014, p. 55-65 (lire en ligne).
• Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest et Clifford Stein, Introduction à l'algorithmique, Dunod, 2002 [détail de l’édition]

• Portail de l'informatique théorique