Nächste Seite: Anwendung: Min/Max-Matrixungleichungen 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}](img66.png){kind=small}
besser:
for i from 1 to | V|: jede Kante e 
E einmal
dann testen, ob alle Kanten entspannt sind.
Wenn nein, dann existiert negativer Kreis. (Beweis?)
0 korrekt)