Graph
edgeTo[] als Baum (Wurzel s)
laufender dfs-Aufruf wartet auf einen tieferen Aufruf Nachbar wird geprüft markiert Kante aus edgeTo[] Pfad
Java (eigene Fassung, nach Algorithmus 4.1, Listing 4.5)
Ausgabe von main()
Protokoll