最短路之Floyd算法

简介

Floyd算法又称Roy-Warshall算法，Roy-Floyd算法或WFI算法，是一种利用动态规划的思想寻找给定的加权图中多源点之间最短路径的算法。

算法描述

通过一个图的权值矩阵求出它的每两点间的最短路径矩阵。例如，若我们要求i到j的最短路径，答案无非只有两种情况：由i直接到j或i途径若干个点后到达j。Floyd算法的精髓就是不断枚举中转点k，更新任意两点之间的距离，状态转移方程为dis[i,j]:=min{dis[i,k]+dis[k,j],dis[i,j]}；

核心代码

void Floyd(){
	for (int i = 1 ; i <= n ; i ++)
		for (int j = 1 ; j <= n ; j ++)
			dis[i][j] = ( i==j ? 0 : INF ) ;
	//初始化每两点之间的距离为无穷大，当前点到当前点的距离为0
	
	for (int i = 1 ; i <= m ; i ++){
		cin >> x >> y >> info ;
		dis[x][y] = dis[y][x] = info ;
	} 
	//输入，初始化各边权值
		
	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]) ;
	//枚举中转点，不断更新两点间的距离 
}

需要注意的是，k的循环必须放在最上一层，应为Floyd算法的本质是DP，若用dis[k][i][j],表示从i到j且中转点只在1…k之间，那dis[k][i][j]=min(dis[k-1][i][k]+dis[k-1][k][j],dis[k-1][i][j]),所以我们在算dis[k]是应先算出dis[1…k-1],又因每层都由上一层决定，所以可将k去掉，二维数组即可实现。