Azyklischer, kantengewichteter Digraph – die Zahlen sind die Gewichte
top.order() – die topologische Ordnung, in der die Knoten relaxiert werden:
relax(v) läuft relaxiert, Abstand endgültig vorläufig im Baum (kann noch verdrängt werden) Kante im Baum der kürzesten Pfade Kante wird relaxiert nicht auswählbar Ausgabe: pathTo(t)
Java (eigene Fassung, nach Algorithmus 4.10, Listing 4.34)

    

      
Ausgabe von main()

      
Protokoll