最短路 floyd 算法模板

小白也能看懂的视频讲解

Floyd

利用动态规划思想 求任意两点之间的最短距离和最短路径

不能处理负环 时间复杂度为$O(n^3)$

---

证明dp正确性

设i,j最短路两端点之间最大编号节点为k,设i,k之间最大编号节点为k1,设k,j之间最大节点为k2

那么显然有k>k1且k>k2 而k1和k2在k之前肯定被dp过了

根据数学归纳 初始边界为当i,j之间是原子距离 无中间点时候
视频中有举例证明

---

int n;	//节点数
vector<vector<int>> dis;	//初始时为邻接矩阵	无通路为无穷大	自身距离为0
vector<vector<int>> path(n,vector<int>(n,-1));	//路径	-1表示有直接的连边
void floyd()
{
    for(int k=0;k<n;k++)	//遍历中间点
        for(int i=0;i<n;i++)
            for(int j=0;j<n;j++)
                if(dis[i][j]>dis[i][k]+dis[k][j]){	//可松弛
                    dis[i][j]=dis[i][k]+dis[k][j];	//更新距离
                    path[i][j]=k;		//记录中间点
                }
}
void get_path(int u,int v,vector<pair<int,int>> &Path)	//获得从u到v的最短路径
{
    if(path[u][v]==-1)Path.push_back({u,v});
    else {
        int mid=path[u][v];		//对于中间节点去递归获取
        get_path(u,mid,Path);
        get_path(mid,v,Path);	
    }
}
//矩阵对称性优化+跳过无效路径
void floyd_2()
{
    for(int k=0;k<n;k++)
        for(int i=0;i<n;i++){
            int t=dis[i][k];
            if(t==inf)continue;
            for(int j=0;j<=i;j++){
                dis[i][j]=min(dis[i][j],t+dis[k][j]);
                dis[j][i]=dis[i][j];
            }
        }
}