在图的问题中,经常会遇到求两个点之间的最短路径的问题,而且无法确定起点和终点,即多源最短路径问题。而弗洛伊德算法就是解决这一类问题的。和迪杰斯特拉算法类似,迪杰斯特拉算法对一对结点做松弛操作,而弗洛伊德是对图中每一个结点对进行一轮松弛操作。迪杰斯特拉算法详解:https://blog.csdn.net/Q_M_X_D_D_/article/details/84869026
基本思路:
遍历每个结点对,对每个结点对做松弛操作。结点对的松弛操作在图论里会经常用到,松弛操作用来求一个结点对之间的最短路径。假设图中有n个点,对图中结点对的松弛操作的思路为(以结点对1和n为例):
1、建图,用一个二维数组edge[i][j]来表示i到j之间的距离。遍历每个结点对,松弛操作中edge数组表示两个点之间当前的最短距离。
2、允许经过前一个点,即2,进行中转,判断edge[1][n]和edge[1][2]+edge[2][n]之间的大小。若edge[1][2]+edge[2][n]更小,则表示通过点2中转的话1到n的距离比不中转更短。此时更新edge[1][n]的值为edge[1][2]+edge[2][n]。由于edge数组表示两个点之间当前的最短距离,则这时经过点2中转的结果已经隐含体现在了edge[1][n]中,之后的松弛操作都是在这一基础上进行。
2.1、然后允许经过前两个点,即2、3,进行中转,判断edge[1][n]和edge[1][3]+edge[3][n]之间的大小,若edge[1][3]+edge[3][n]更小,则表示通过点3中转的话1到n的距离比不中转更短。此时更新edge[1][n]的值为edge[1][3]+edge[3][n]。由于edge数组表示两个点之间当前的最短距离,则这时经过点2、3中转的结果已经隐含体现在了edge[1][n]中,之后的松弛操作都是在这一基础上进行。
3、重复2过程,允许经过前3~n-1个结点进行中转,保存每一次中转与否最短路径的变化。最后得到的edge[1][n]就是1到n的最短路径的路径和。
4、对图中的每一个结点对都进行松弛操作,此时edge[i][j],就是从i到j的最短路径,不管i和j是几,都能得到答案。
c++代码:
#include<iostream>
#define inf 999999 //表示两个点之间不连通
#define max 105
using namespace std;
int m,n,edge[max][max];
int main()
{
int i,j;
cin>>n>>m;
//先对邻接矩阵进行初始化
for(int i=1;i<=n;i++)
{
for(int j=1;j<=n;j++)
edge[i][j]=inf;
edge[i][i]=0;
}
//建图
while(m--)
{
cin>>i>>j;
cin>>edge[i][j];
edge[j][i]=edge[i][j];
}
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++)
for(int k=1;k<=n;k++)
//若结点对跟中转点不连通,则跳过
if(edge[i][k]!=inf && edge[k][j]!=inf && edge[i][j]>(edge[i][k]+edge[k][j]))
//更新最短路径
edge[i][j]=edge[i][k]+edge[k][j];
cout<<edge[1][n]<<endl;
return 0;
}