(single-source shortest paths)
äquivalent: Eingabe ist Matrix w : V×V { + }
bei (von s erreichbaren) negativen Kreisen gibt es x mit D(x) = -