一直没有深究过这个算法的正确性。今天搜了下它的证明，发现这个算法其实就是个动态归化
中间只经过最多前k个点的 两点间最短距离 dp(k,a,b) = min(经过了第k个点[a-k-b]， 没有经过第k个点[dp(k-1,a,b)] )。 空间压缩一下，就是floyd算法了
