Floyd–Warshall Algorithm

Floyd–Warshall algorithm, also known as Floyd's algorithm, the Roy–Warshall algorithm, the Roy–Floyd algorithm, or the WFI algorithm, is an algorithm for finding shortest paths in a weighted graph with positive or negative edge weights (but with no negative cycles). A single execution of the algorithm will find the lengths (summed weights) of the shortest paths between all pairs of vertices, though it does not return details of the paths themselves. Versions of the algorithm can also be used for finding the transitive closure of a relation R, or (in connection with the Schulze voting system) widest paths between all pairs of vertices in a weighted graph.



									public const int INF = 99999;

private static void Print(int[,] distance, int verticesCount)
{
	Console.WriteLine("Shortest distances between every pair of vertices:");

	for (int i = 0; i < verticesCount; ++i)
	{
		for (int j = 0; j < verticesCount; ++j)
		{
			if (distance[i, j] == INF)
				Console.Write("INF".PadLeft(7));
			else
				Console.Write(distance[i, j].ToString().PadLeft(7));
		}

		Console.WriteLine();
	}
}

public static void FloydWarshall(int[,] graph, int verticesCount)
{
	int[,] distance = new int[verticesCount, verticesCount];

	for (int i = 0; i < verticesCount; ++i)
		for (int j = 0; j < verticesCount; ++j)
			distance[i, j] = graph[i, j];

	for (int k = 0; k < verticesCount; ++k)
	{
		for (int i = 0; i < verticesCount; ++i)
		{
			for (int j = 0; j < verticesCount; ++j)
			{
				if (distance[i, k] + distance[k, j] < distance[i, j])
					distance[i, j] = distance[i, k] + distance[k, j];
			}
		}
	}

	Print(distance, verticesCount);
}
								


Example

									int[,] graph = {
	{ 0,   5,  INF, 10 },
	{ INF, 0,   3, INF },
	{ INF, INF, 0,   1 },
	{ INF, INF, INF, 0 }
};

FloydWarshall(graph, 4);
								


Output

									Shortest distances between every pair of vertices:
      0      5      8      9
    INF      0      3      4
    INF    INF      0      1
    INF    INF    INF      0