Floyd——最短路算法

在图论中，我们不少遇到关于求两点之间最短路径的题目。这是比较经典的。在此，介绍一个非常非常容易理解的算法——floyd。

时间复杂度：O（n3）
优点：适用于出现负边权的情况

算法描述：
a.初始化：点u, v如果有边相连，则dis[u][v] = w[u][v].
如果不相连，则dis[u][v] = 0x7fffffff(无穷大)
b.核心内容：

for(int k=1; k<=n; k++)
	for(int i=1; i<=n; i++)
		for(int j=1; j<=n; j++)
			dis[i][j] = min(dis[i][j], dis[i][k]+dis[k][j]);    			

c.算法结束：dis[i][j] 就是从i点到j点的最短距离

算法思想：
简单来说,这个i到j的最短路径,我们可以找一个中间点k,然后变成子问题,i到k的最短路径和k到j的最短路径.
也就是说,我们可以枚举中间点k,找到最小的d[i][k]+d[k][j],作为d[i][j]的最小值.

深入理解为什么k要放在最外层：

以下解释的非常好啊，就是知乎上的最高票答案，你要知道他是从上一层k转移过来的所以当前的f[i][j]都应该是完成上一层动态规划的，如果k不是在最外层，那么f[i][j]就不是完成上一层动态规划的后的状态，有可能有的点没有经过k-1这个点的松弛。