关于Flody算法为什么要k先枚举
我们知道,Flody的原始的状态是三维的, f k , i , j f_{k, i, j} fk,i,j 表示只经过编号为 1 1 1 ~ k k k 的节点,从 i i i 到 j j j 的最短路的长度。 f k , i , j = f k − 1 , i , k + f k − 1 , k , j f_{k, i, j} = f_{k - 1, i, k} + f_{k - 1, k, j} fk,i,j=fk−1,i,k+fk−1,k,j。
因为每次 k k k 只会用 k − 1 k - 1 k−1 更新, 所以 k k k 从小到大先枚举能保证需要的状态都是算好的,从而得到正确结果。