Floyd-Warshall算法:是解决任意两点间的最短路径的一种算法,可以正确处理有向图或负权的最短路径问题,同时也被用于计算有向图的传递闭包。
原理:
Floyd-Warshall算法的原理是动态规划(DP)。
设D_{i,j,k}为从i到j的只以(1..k)集合中的节点为中间节点的最短路径的长度。
- 若最短路径经过点k,则D_{i,j,k}=D_{i,k,k-1}+D_{k,j,k-1};
- 若最短路径不经过点k,则D_{i,j,k}=D_{i,j,k-1}。
因此,D_{i,j,k}=min{D_{i,k,k-1}+D_{k,j,k-1},D_{i,j,k-1}}。
在实际算法中,为了节约空间,可以直接在原来空间上进行迭代,这样空间可降至二维。
三维:
void floyd_dp(){
int i,j,k;
for(i=1;i<=n;i++)
for(j=1;j<=n;j++)
dist[i][j][0]=map[i][j];
for(k=1;k<=n;k++)
for(i=1;i<=n;i++)
for(j=1;j<=n;j++){
dist[i][j][k]=dist[i][j][k-1];
if(dist[i][k][k-1]+dist[k][j][k-1]<dist[i][j][k])
dist[i][j][k]=dist[i][k][k-1]+dist[k][j][k-1];
}
}
二维:
public static void floyd(){
int i,j,k;
for(k=1;k<=n;k++){
for(i=1;i<=n;i++){
for(j=1;j<=n;j++){
if (i!=j && map[i][k]!=INF && map[k][j]!=INF && map[i][k] + map[k][j] < map[i][j]) {
map[i][j] = map[i][k] + map[k][j];
}
}
}
}
}