图论最短路径算法（一）Floyed算法（弗洛伊德算法）

Floyed-Warshall算法 O(N^3)

简称Floyed(弗洛伊德)算法，是最简单的最短路径算法，可以计算图中任意两点间的最短路径。Floyed的时间复杂度是O (N3)，适用于出现负边权的情况。

以下没有特别说明的话，dis[u][v]表示从u到v最短路径长度，w[u][v]表示连接u，v的边的长度。

算法描述：

初始化：点u、v如果有边相连，则dis[u][v]=w[u][v]。如果不相连则dis[u][v]=0x7fffffff

For (k = 1; k <= n; k++)
    For (i = 1; i <= n; i++)
	 For (j = 1; j <= n; j++)
	     If (dis[i][j] >dis[i][k] + dis[k][j])
	         dis[i][j] = dis[i][k] + dis[k][j];

算法结束：dis[i][j]得出的就是从i到j的最短路径。

算法分析&思想讲解：

三层循环，第一层循环中间点k，第二第三层循环起点终点i、j，算法的思想很容易理解：如果点i到点k的距离加上点k到点j的距离小于原先点i到点j的距离，那么就用这个更短的路径长度来更新原先点i到点j的距离。
　　
　　在上图中，因为dis[1][3]+dis[3][2]<dis[1][2]，所以就用dis[1][3]+dis[3][2]来更新原先1到2的距离。
　　
　　我们在初始化时，把不相连的点之间的距离设为一个很大的数，不妨可以看作这两点相隔很远很远，如果两者之间有最短路径的话，就会更新成最短路径的长度。Floyed算法的时间复杂度是O(N³)。

Floyed算法变形：

如果是一个没有边权的图，把相连的两点间的距离设为dis[i][j]=true，不相连的两点设为dis[i][j]=false，用Floyed算法的变形：

For (k = 1; k <= n; k++)
  For (i = 1; i <= n; i++)
    For (j = 1; j <= n; j++)
　　  dis[i][j] = dis[i][j] || (dis[i][k] && dis[k][j]);

用这个办法可以判断一张图中的两点是否相连。

最后再强调一点：用来循环中间点的变量k必须放在最外面一层循环。

应用场景

【例1】最短路径问题

【问题描述】
　　平面上有n个点（n<=100），每个点的坐标均在-10000~10000之间。其中的一些点之间有连线。
　　
　　若有连线，则表示可从一个点到达另一个点，即两点间有通路，通路的距离为两点间的直线距离。现在的
　　
　　任务是找出从一点到另一点之间的最短路径。
　　
【输入格式】
　　输入文件为short.in，共n+m+3行，其中:
　　
　　第一行为整数n。
　　
　　第2行到第n+1行（共n行） ，每行两个整数x和y，描述了一个点的坐标。
　　
　　第n+2行为一个整数m，表示图中连线的个数。
　　
　　此后的m 行，每行描述一条连线，由两个整数i和j组成，表示第i个点和第j个点之间有连线。
　　
　　最后一行：两个整数s和t，分别表示源点和目标点。
　　
【输出格式】
　　输出文件为short.out，仅一行，一个实数（保留两位小数），表示从s到t的最短路径长度。

【输入样例】
5
0 0
2 0
2 2
0 2
3 1
5
1 2
1 3
1 4