Floyd Warshall: Unterschied zwischen den Versionen
Lyr (Diskussion | Beiträge) K (→Kritik: O-Notation-Links) |
|||
| Zeile 1: | Zeile 1: | ||
==Eigenschaften== | ==Eigenschaften== | ||
| − | Der | + | Der Floyd-Warshall-Algorithmus findet nicht nur den kürzesten Weg von einer Position zu einer anderen, sondern bestimmt alle kürzesten Wege von jedem Punkt zu jedem anderen. |
| − | Der Graph darf negative Kanten enthalten aber Vorraussetzung ist, dass '''keine negativen Kreise''' im Graph enthalten sind. | + | Der Graph darf negative Kanten enthalten, aber Vorraussetzung ist, dass '''keine negativen Kreise''' im Graph enthalten sind (d.h. Kreise die negative Kosten verursachen). |
| Zeile 20: | Zeile 20: | ||
T[i][j] = Kosten(i nach j); | T[i][j] = Kosten(i nach j); | ||
| − | //Eigentliches | + | //Eigentliches Bestimmen der kürzesten Wege |
| − | for z := 1 to n do //z = | + | for z := 1 to n do //z = Zwischenknoten |
| − | for i := 1 to n do //i = | + | for i := 1 to n do //i = Startknoten |
for j := 1 to n do //j = Zielknoten | for j := 1 to n do //j = Zielknoten | ||
if (T[i][z] + T[z][j]) < T[i][j]) then //"Wenn der Weg über den Zwischenknoten z besser ist | if (T[i][z] + T[z][j]) < T[i][j]) then //"Wenn der Weg über den Zwischenknoten z besser ist | ||
| Zeile 28: | Zeile 28: | ||
</pascal> | </pascal> | ||
| − | Falls auf der Hauptdiagonale irgendwann ein Wert kleiner 0 steht hat man einen negativen Kreis gefunden. Dadurch ist nicht mehr sichergestellt, dass die Ergebnisse korrekt sind. | + | Falls auf der Hauptdiagonale irgendwann ein Wert kleiner 0 steht, dann hat man einen negativen Kreis gefunden. Dadurch ist nicht mehr sichergestellt, dass die Ergebnisse korrekt sind. |
| − | Am Ende des Algorithmus stehen in T[i][j] die minimalen Kosten um von i nach j zu kommen. | + | Am Ende des Algorithmus stehen in T[i][j] die minimalen Kosten, um von i nach j zu kommen. |
| − | Steht in T[i][j] der Maximalwert (siehe Initialisierung) ist j von i aus nicht erreichbar. | + | Steht in T[i][j] der Maximalwert (siehe Initialisierung), ist j von i aus nicht erreichbar. |
| Zeile 37: | Zeile 37: | ||
'''Vorteile:''' | '''Vorteile:''' | ||
*Der Algorithmus findet die minimalen Kosten von '''allen''' Wegen im Graph. | *Der Algorithmus findet die minimalen Kosten von '''allen''' Wegen im Graph. | ||
| − | *Der Algorithmus ist deshalb besonders geeignet um die kürzesten Wege in statischen Netzwerken zu finden, da er nur einmal ausgeführt werden muss. | + | *Der Algorithmus ist deshalb besonders geeignet, um die kürzesten Wege in statischen Netzwerken zu finden, da er nur einmal ausgeführt werden muss. |
'''Nachteile:''' | '''Nachteile:''' | ||
Version vom 20. April 2008, 15:31 Uhr
Eigenschaften
Der Floyd-Warshall-Algorithmus findet nicht nur den kürzesten Weg von einer Position zu einer anderen, sondern bestimmt alle kürzesten Wege von jedem Punkt zu jedem anderen.
Der Graph darf negative Kanten enthalten, aber Vorraussetzung ist, dass keine negativen Kreise im Graph enthalten sind (d.h. Kreise die negative Kosten verursachen).
Algorithmus
Der Algorithmus basiert auf einer (Adjazenz-)Matrix. Die Knoten des Graphen werden als Index verwendet. Der Zeilenindex stellt den Startknoten dar, der Spaltenindex den Zielknoten.
T[1..n][1..n] of integer; //n = Anzahl der Knoten
//Initialisierung
Matrix mit Maximalwert initialisieren.
Hauptdiagonale mit 0 initialisieren
for i := 1 to n do
for each Nachbar j von i do
T[i][j] = Kosten(i nach j);
//Eigentliches Bestimmen der kürzesten Wege
for z := 1 to n do //z = Zwischenknoten
for i := 1 to n do //i = Startknoten
for j := 1 to n do //j = Zielknoten
if (T[i][z] + T[z][j]) < T[i][j]) then //"Wenn der Weg über den Zwischenknoten z besser ist
T[i][j] := T[i][z] + T[z][j]; // als der direkte, nimm diesen Weg."
Falls auf der Hauptdiagonale irgendwann ein Wert kleiner 0 steht, dann hat man einen negativen Kreis gefunden. Dadurch ist nicht mehr sichergestellt, dass die Ergebnisse korrekt sind.
Am Ende des Algorithmus stehen in T[i][j] die minimalen Kosten, um von i nach j zu kommen. Steht in T[i][j] der Maximalwert (siehe Initialisierung), ist j von i aus nicht erreichbar.
Kritik
Vorteile:
- Der Algorithmus findet die minimalen Kosten von allen Wegen im Graph.
- Der Algorithmus ist deshalb besonders geeignet, um die kürzesten Wege in statischen Netzwerken zu finden, da er nur einmal ausgeführt werden muss.
Nachteile:
