Floyd Warshall Algorithm - Visualization

Problem Statement

The Floyd Warshall Algorithm solves the problem of finding the shortest path between all pairs of vertices in a weighted, directed graph.

The graph is given as an n × n adjacency matrix matrix, where matrix[i][j] represents the weight of the edge from node i to node j. A value of -1 indicates that there is no direct edge between the two nodes.

Your task is to compute the shortest distances between every pair of nodes. If there is no path between two nodes, the corresponding distance should remain -1.

Examples

Input Matrix Output Matrix Description
[[0, 3, -1], [-1, 0, 1], [4, -1, 0]] [[0, 3, 4], [5, 0, 1], [4, 7, 0]] Shortest paths computed between all vertex pairs
[[0, 5, -1], [-1, 0, 2], [3, -1, 0]] [[0, 5, 7], [5, 0, 2], [3, 8, 0]] Path from 0 to 2 via 1 with weight 5+2=7
[[0, -1, -1], [-1, 0, -1], [-1, -1, 0]] [[0, -1, -1], [-1, 0, -1], [-1, -1, 0]] No edges means no shorter paths can be found

Solution

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.

Algorithm Steps

  1. Let matrix be the input adjacency matrix of size n × n.
  2. Initialize a distance matrix dist with the same values as matrix.
  3. Replace all -1 values (except diagonals) in dist with Infinity.
  4. For each node k from 0 to n-1:
    1. For each node i from 0 to n-1:
    2. For each node j from 0 to n-1:
    3. If dist[i][k] + dist[k][j] < dist[i][j], update dist[i][j].
  5. Convert all Infinity values in dist back to -1.

Code

C
C++
Python
Java
JS
Go
Rust
Kotlin
Swift
TS
#include <stdio.h>
#define INF 1000000

void floydWarshall(int matrix[][3], int n) {
    int dist[3][3];

    for (int i = 0; i < n; i++) {
        for (int j = 0; j < n; j++) {
            if (matrix[i][j] == -1 && i != j)
                dist[i][j] = INF;
            else
                dist[i][j] = matrix[i][j];
        }
    }

    for (int k = 0; k < n; k++) {
        for (int i = 0; i < n; i++) {
            for (int j = 0; j < n; j++) {
                if (dist[i][k] + dist[k][j] < dist[i][j])
                    dist[i][j] = dist[i][k] + dist[k][j];
            }
        }
    }

    for (int i = 0; i < n; i++) {
        for (int j = 0; j < n; j++) {
            if (dist[i][j] == INF)
                printf("-1 ");
            else
                printf("%d ", dist[i][j]);
        }
        printf("\n");
    }
}

int main() {
    int matrix[3][3] = {
        {0, 3, -1},
        {-1, 0, 1},
        {4, -1, 0}
    };

    floydWarshall(matrix, 3);
    return 0;
}

Comments

💬 Please keep your comment relevant and respectful. Avoid spamming, offensive language, or posting promotional/backlink content.
All comments are subject to moderation before being published.


Loading comments...