Digraph – Pfeile zeigen die Richtung der Kanten
laufender dfs-Aufruf
wartet auf einen tieferen Aufruf
Nachfolger wird geprüft
erreichbar (marked)
Startknoten
Kante, über die dfs weiterging
Java (eigene Fassung, nach Algorithmus 4.4, Listing 4.13)
Ausgabe von main()
Protokoll