Benjamin Monmege
Un algorithme de parcours de graphe est un algorithme qui, partant d’un sommet \(s\) d’un graphe appelé source, explore tous les sommets ou tous les arcs accessibles depuis cette source, et aucun autre.
Parcours de graphe permet de calculer tous les sommets accessibles depuis la source.
La fonction \(\mathit{pred}\) détermine une arborescence: un sous-ensemble d’arcs tel que chaque sommet possède un seul arc entrant sauf la source qui n’en a pas, et ne possédant pas de cycles.