关于Floyd最短路的一些思考

正确性

floyd算法本质是动态规划,它的正确性不那么"显然"是因为进行了压缩,状态 $f[i][j]$ 没有体现阶段,所以阶段间的转移也很难看出来.

不过,即使不理解正确性,floyd的代码也很好记

for (int k = 1; k <= n; k++)
  for (int i = 1; i <= n; i++)
    for (int j = 1; j <= n; j++)
      if (i != j && i != k && j != k)
        f[i][j] = min(f[i][j],f[i][k]+f[k][j]);

只要记住先枚举中间点$k$, 再枚举两端点,这个程序基本就不会有错了.

为什么k不能放内层for循环?
因为它代表着阶段!
压缩前动态规划的状态 f [ i ]