Editing Floyd–Warshall algorithm

The '''Floyd–Warshall algorithm''' finds [[Shortest path|all-pairs shortest paths]] in a directed, weighted graph which contains no negative-weight cycles. That is, unlike [[Dijkstra's algorithm]], it is guaranteed to correctly compute shortest paths even when some edge weights are negative. (Note however that it is still a requirement that no negative-weight ''cycle'' occurs; finding shortest paths in such a graph becomes either meaningless if non-simple paths are allowed, or computationally difficult when they are not.) With a running time of <math>\mathcal{O}(V^3)</math>, Floyd–Warshall is asymptotically optimal in dense graphs. It is outperformed by [[Dijkstra's algorithm]] or the [[Bellman–Ford algorithm]] in the [[Shortest path|single-source shortest paths]] problem (with running times of <math>\mathcal{O}(V^2)</math> and <math>\mathcal{O}(VE)</math>, respectively); in the all-pairs shortest paths problem in a sparse graph, it is outperformed by repeated application of Dijkstra's algorithm and by [[Johnson's algorithm]]. Nevertheless, in small graphs (fewer than about 300 vertices), Floyd–Warshall is often the algorithm of choice, because it computes all-pairs shortest paths, handles negative weights on edges correctly while detecting negative-weight cycles, and because it is very easy to implement.

=The algorithm=
<pre>
input adj
for each k ∈ V(G)
     for each i ∈ V(G)
          for each j ∈ V(G)
               adj[i][j]=min(adj[i][j],adj[i][k]+adj[k][j])
for each k ∈ V(G)
     if adj[k][k] < 0
          error "Graph contains a negative-weight cycle"
</pre>
At the successful conclusion of the algorithm, the adjacency matrix <i>adj</i> will have been transformed into a shortest-paths matrix. If the distance from each vertex to itself is initially set as infinite, this matrix will also tell us the length of the shortest path of nonzero length from each vertex back to itself.

=Theory of the algorithm=
==Explanation==
Floyd–Warshall is one of the most well-known examples of a [[dynamic programming]] algorithm. It consists of a single looping structure containing three nested loops and occurs in <math>V</math> passes, where <math>V</math> is the number of vertices in the graph. The graph should be represented as an adjacency matrix <i>adj</i> in order for Floyd–Warshall to be practical, and all missing edges should be assigned infinite weight. After <i>n</i> passes have occurred, the entry <i>adj[u][v]</i> should contain the length of the shortest path from <i>u</i> to <i>v</i> that uses only the first <i>n</i> vertices as possible intermediates along the path. At the termination of the algorithm, after all <math>V</math> passes have occurred, the <i>adj</i> array ought to contain shortest paths that use any vertices whatsoever as intermediates – that which was to be determined.

==Proof of correctness==
We shall prove the claim above by induction.
* At the outset, when no passes of the main outer loop have occurred, each entry <i>adj[i][j]</i> contains the shortest distance from <i>i</i> to <i>j</i> using only the first 0 vertices as intermediates: the weight of the edge from <i>i</i> to <i>j</i> itself.
* Now suppose <math>n</math> passes have occurred, and that <i>adj[i][j]</i> contains the shortest distance from <i>i</i> to <i>j</i> using only the first <math>n</math> vertices of the graph (By <i>first</i>, we mean the first to be iterated over by the outer main loop.) If <math>n=V</math>, we are done. Otherwise, the shortest path from <i>i</i> to <i>j</i> that uses only the first <math>n+1</math> vertices of the graph either does not use the <math>(n+1)</math><sup>th</sup> vertex, denoted <i>k</i>, at all, in which case its value is already known, or there exists a shorter path that <i>does</i> use <i>k</i>. To find this path, we <i>relax</i> the edge from <i>i</i> to <i>j</i> using <i>k</i> as an intermediate vertex along the path, meaning that we concatenate the <i>i</i>-<i>k</i> and <i>k</i>-<i>j</i> paths to obtain the new <i>i</i>-<i>j</i> path, and update the <i>i</i>-<i>j</i> distance by summing the <i>i</i>-<i>k</i> and <i>k</i>-<i>j</i> distances. This will always yield the shortest distance from <i>i</i> to <i>j</i> that uses <i>k</i>. This is because, for each of the paths <i>i</i>-<i>k</i> and <i>k</i>-<i>j</i>, if the corresponding entry in <i>adj</i> has not yet been updated, then it contains the shortest path for that pair that uses only vertices lower than <i>k</i>, which is acceptable because vertices higher than <i>k</i> are not being considered yet, and duplicate instances of vertex <i>k</i> cannot shorten the path unless negative-weight cycles are present. If it has been updated, duplicate instances of vertex <i>k</i> cannot lengthen the path either, since we only keep the shortest path so far found at any given time. Thus, after the <math>(n+1)</math><sup>th</sup> pass, all pairs of shortest paths are known that do not use any vertex higher than <i>k</i> as an intermediate.
It is also easy to see that the loop at the end will never produce an error, because the shortest path from any vertex back to itself cannot have negative weight unless that vertex is part of a negative-weight cycle.

==Proof of detection of negative-weight cycles==
If no negative-weight edges are present, which is often the case, the final loop may be omitted altogether from the algorithm, since it will never be useful. If negative-weight edges are present, then the final loop will <i>always</i> detect the presence of a negative-weight cycle. Suppose a negative-weight cycle exists. Then, choose any vertex <i>k</i> on this cycle. At the termination of the main loop, <i>dist[k][k]</i> will be negative, since the algorithm will inevitably have found the shortest path from <i>k</i> back to itself using each vertex in the graph at most once (the reason for this is explained in the previous section), which is, of course, of negative weight. (The presence of negative-weight cycles implies the presence of negative-weight simple cycles, as all non-simple cycles can be decomposed into simple cycles.) The algorithm then prints out an appropriate error message.