Floyd证明

一直没有深究过这个算法的正确性。今天搜了下它的证明，发现这个算法其实就是个动态归化

 

中间只经过最多前k个点的 两点间最短距离 dp(k,a,b) = min(经过了第k个点[a-k-b]， 没有经过第k个点[dp(k-1,a,b)] )。 空间压缩一下，就是floyd算法了

转载于:https://www.cnblogs.com/doublemystery/p/4043224.html