Annahme für das Kürzeste-Wege Problem: Graph G enthält keine negativen Kreise.