iterativer Algorithmus mit Zustand d : V { + }.
d (s) : = 0,x s : d (x) : = + while es gibt eine Kante ij mit d (i) + wi, j < d (j) d (j) : = d (i) + wi, j
jederzeit gilt die Invariante:
verbleibende Fragen: