Understanding the Problem
The Floyd Warshall Algorithm is used to find the shortest distances between every pair of nodes in a weighted graph. This is also called the All-Pairs Shortest Path problem.
The graph may be directed or undirected and can contain positive or negative edge weights—but no negative weight cycles.
You are given a matrix where matrix[i][j]
represents the weight of the edge from node i
to node j
. If there is no direct edge between i
and j
, the value is -1
, which we will interpret as "infinity" (no connection).
Our goal is to fill this matrix with the shortest path values between all pairs of nodes.
Step-by-Step Solution with Example
Step 1: Convert -1 to Infinity
Since -1
means there's no direct path between two nodes, we replace it with a large number (e.g., 1e9
or Infinity
) so that it doesn't interfere in the minimum comparisons during the algorithm.
Step 2: Initialize the Graph
Create a distance matrix from the input graph. The diagonal entries (i.e., distance from node to itself) should be 0, and all other entries should be as per the input (or converted to infinity if there’s no edge).
Step 3: Run Floyd Warshall Triple Loop
We now go through each node k
as an intermediate node. For each pair of nodes (i, j)
, we check whether going from i → k → j
is shorter than the direct path i → j
. If it is, we update the distance.
The idea is to allow all nodes to be potential "intermediate stations" between any two other nodes.
Step 4: Convert Infinity Back to -1
Once the algorithm completes, any value in the distance matrix that is still Infinity
means no path exists. So, we convert those back to -1
to match the input format.
Example:
// Input matrix
[
[0, 3, -1],
[-1, 0, 1],
[4, -1, 0]
]
// After converting -1 to Infinity
[
[0, 3, INF],
[INF, 0, 1],
[4, INF, 0]
]
// Run Floyd Warshall updates:
→ After considering node 0:
no changes
→ After considering node 1:
matrix[0][2] = min(INF, 3 + 1) = 4
matrix[2][1] = min(INF, 4 + 3) = 7
→ After considering node 2:
matrix[1][0] = min(INF, 1 + 4) = 5
// Final result after converting back INF to -1
[
[0, 3, 4],
[5, 0, 1],
[4, 7, 0]
]
Edge Cases
- No path between nodes: Represented as
-1
initially and should stay -1
in the final matrix.
- Self loops: Distance from a node to itself is always
0
.
- Disconnected Graph: If a node is completely disconnected, all entries to and from that node (except to itself) remain
-1
.
- Negative edge weights: Allowed, as long as there are no negative weight cycles.
Finally
The Floyd Warshall Algorithm is elegant and powerful for dense graphs and small-to-medium size node counts. It ensures that by the end of the triple-loop process, all indirect paths are checked, and the shortest ones are stored.
This algorithm runs in O(n³)
time, so it is not ideal for very large graphs. But when you need shortest paths between every pair of vertices, this algorithm is often the go-to solution.
Comments
Loading comments...