Floyd最短路径算法

设为从到的只以集合中的节点为中间节点的最短路径的长度。

1. 若最短路径经过点k，则；
2. 若最短路径不经过点k，则。

因此，。

Floyd-Warshall算法的时间复杂度为，空间复杂度为。

Floyd-Warshall算法的描述如下：

for k ← 1 to n do
  for i ← 1 to n do
    for j ← 1 to n do
      if () then
         ← ;

其中表示由点到点的代价，当为 ∞ 表示两点之间没有任何连接。

在实际算法中，为了节约空间，可以直接在原来空间上进行迭代，这样空间可降至二维。

大概的代码为：

 for(int k=1;k<=n;k++)
    {
        for(int i=1;i<=n;i++)
        {
            for(int j=1;j<=n;j++)
            {
                if(ans[k-1][i][k]==无穷大||ans[k-1][k][j]==无穷大)
                {
                    ans[k][i][j]=ans[k-1][i][j]; //保持原来的值，即从i到j允许经过前k个点和允许经过前k-1个节点时最短路径长度相同
                    continue;
                }
                if(ans[k-1][i][j]==无穷大||ans[k-1][i][k]+ans[k-1][k][j]<ans[k-1][i][j])
                {
                    ans[k][i][j]=ans[k-1][i][k]+ans[k-1][k][j];
                }
                else
                {
                    ans[k][i][j]=ans[k-1][i][j];
                }
            }
        }
    }

与此同时，我们注意到，在通过ans[k-1][i][j]的值来递推求ans[k][i][j]的值时，所有的ans[k][i][j]值将由ans[k-1][i][j]与ans[k-1][i][k]+ans[k-1][k][j]的大小关系来确定，但同时ans[k][i][k]和ans[k][k][j]必定与ans[k-1][i][k]和ans[k-1][k][j]的值是相同的，即这些值不会因为本次更新而发生变化。所以我们将代码简化为：

for(int k=1;k<=n;k++){
    for(int i=1;i<=n;i++){
          for(int j=1;j<=n;j++){
                if(ans[i][k]==无穷大||ans[k][j]==无穷大) continue;
                if(ans[i][j]==无穷大||ans[i][k]+ans[k][j]<ans[i][j])
                  {
                   ans[i][j]=ans[i][k]+ans[k][j];
                  }
           }
     } 
   }