∑
MathTCG
#099 / 100•Space, Chance & Computation•MathTCG #499 / 500•★Commune•⊦Maths Discrètes•Méthode & Idée

Parcours en profondeur

Période historique : 1882

Depth-First Search (DFS) : exploration plongeant le plus loin possible le long de chaque branche via une pile LIFO.

Contenu & Formulation mathématique

Principe de la démarche
Depth-First Search (DFS) : exploration plongeant le plus loin possible le long de chaque branche via une pile LIFO.
Champs d'application canoniques
Démonstration mathématique
DFS(u):visiteˊ[u]=vrai, ∀v∈Adj[u], si ¬visiteˊ[v] alors DFS(v)\text{DFS}(u) : \text{visité}[u] = \text{vrai}, \, \forall v \in \text{Adj}[u], \, \text{si } \neg \text{visité}[v] \text{ alors } \text{DFS}(v)

Genèse & Portée historique

Algorithme récursif s'enfonçant au cœur du graphe jusqu'à une impasse avant de rebrousser chemin (backtracking). Fondé sur une pile, il s'exécute en O(V + E) et sert de colonne vertébrale au tri topologique, à la détection de cycles et aux algorithmes de Tarjan et Kosaraju.

Charles Pierre Trémaux a décrit au XIXe siècle la première version du parcours en profondeur comme méthode systématique pour sortir de n'importe quel labyrinthe sans jamais tourner en rond.

« Suivre le fil d'Ariane jusqu'au bout de l'abîme avant de remonter à la bifurcation suivante. »

Filiations & Relations conceptuelles (1)

Objet de collection MathTCG

#499
★Commune
⊦

Parcours en profondeur

Maths Discrètes•MÉTHODE

Principe : Depth-First Search (DFS) : exploration plongeant le plus loin possible le long de chaque branche via une pile LIFO.

DFS(u):visiteˊ[u]=vrai, ∀v∈Adj[u], si ¬visiteˊ[v] alors DFS(v)\text{DFS}(u) : \text{visité}[u] = \text{vrai}, \, \forall v \in \text{Adj}[u], \, \text{si } \neg \text{visité}[v] \text{ alors } \text{DFS}(v)
1882

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Space, Chance & Computation.

Extension : Space, Chance & Computation (#099 / 100)
Numéro global MathTCG : MathTCG #499 / 500
Rareté officielle : Commune (★)
Domaine théorique : Maths Discrètes
Identifiant pérenne : parcours-en-profondeur