问一个Floyd（弗洛伊德）最短距离算法问题？？？

Question

dp[j][k]= min{ dp[k][k-1]+ dp[k][j][k-1] }
对于这行代码每次验证一个顶点，当验证完第一个顶点完后，接着再验证第二个顶点，第三个顶点直到k=n结束，但我有一个疑惑，当验证第二的的时候这时候，我回过头看了下这里的k（顶点）在被验证时的先后顺序好像并没什么影响，不知道是怎么证明出来的？？？？

Answer 1

每次都保留最小的，肯定没有影响啦