复习Floyd-Warshall算法

能在O(|V|^3)求出图中任意两点间的最短距离。

本质是一个dp，刚看这个算法时总感觉不能正确更新，因为当两个点中间有好多点的时候，借助那个点的操作不能正常更新，可是仔细想想，每次枚举中间点的时候，会更新与它相邻的两个点，感觉相当于缩点。。还可以想象，任何两个点之间的最短距离都是借助某个中间点或者直接到达，这样枚举已经包含了所有的状态，然而枚举顺序必须是先枚举中间点，然后是两个借助它的点，这是因为先枚举两边的点就不会有更改的机会了。

代码。

#include <iostream>
#include <cstdio>
#include <cstring>
#define INF 99999999
using namespace std;
const int maxn = 305;
int dp[maxn][maxn];
int V,E;
void floyd_warshall()
{
    for(int k=0;k<V;k++)
     for(int i=0;i<V;i++)
      for(int j=0;j<V;j++)
        dp[i][j]=min(dp[i][j],dp[i][k]+dp[k][j]);
}
int main()
{
    //freopen("in.txt","r",stdin);
    scanf("%d%d",&V,&E);
    for(int i=0;i<V;i++)
    {
     for(int j=0;j<V;j++)
      dp[i][j]=INF;
     dp[i][i]=0;
    }
    for(int i=1;i<=E;i++)
    {
        int f,t,v;
        scanf("%d%d%d",&f,&t,&v);  //默认输入下标从一开始
        dp[f-1][t-1]=v;
    }
    floyd_warshall();
    for(int i=0;i<V;i++)
     for(int j=0;j<V;j++)
      printf("%d->%d:%d\n",i+1,j+1,dp[i][j]);
    return 0;
}