Nächste Seite: Polynomgleichungen Aufwärts: (Integer/Real) Difference Logic Vorherige Seite: Lösungsidee
arrows
exponentiell viele Relaxations-Schritte:
![\begin{tikzpicture}[node distance=5cm,auto,>=stealth,thick]
\node (s) {s};
\no...
...t] node {0} (q);
\path[->] (q) edge [bend left] node {0} (t);
\end{tikzpicture}](img23.png){kind=small}
besser:
for i from 1 to | V|: jede Kante e∈E einmal entspannen
dann testen, ob alle Kanten entspannt sind.
(d. h.
d (j)≥d (i) + wi, j)
Wenn nein, dann existiert negativer Kreis. (Beweis?)