Floyd算法经典代码只有5行(或者也可以写成4行),思路听起来也那么“显然”。
但大部分人对Floyd算法的理解仅仅限于它的实现是三层循环,k在最外层,i和j在内层不分顺序,用路径松弛来更新最短路径。但其实大多数人都没有弄清楚一个问题,为什么外层循环是遍历k,而不是把k放到最内层呢,只是知道放在里边就不对了。当然,也有不少博客解释这个问题,但写的大多有些复杂,下面是我个人的理解。
首先,它是运用了动态规划的思想来进行问题求解。动态规划解题的关键在于找好子结构。Floyd构造的结构非常巧妙:找i和j之间通过编号不超过k(k从1到n)的节点的最短路径(一定要注意,这里是当前最短路径,当k=n时达到最终最短路径)。为了便于说明,我们可以弄一个三维数组f[k][i][j]表示i和j之间可以通过编号不超过k的节点的“最短路径”。对于k-1到k,只有两种可能,经过编号为k的点,要么不能找到一条从i到j的更短路,此时有f[k