闲·证明

存一下一些无聊的证明吧。

Floyd

以前不是很会证，现在想到如何证明其正确性了。

假设 ((u,v)) 最短路上编号最大的点为 (k)，我们考虑归纳证明在中转点枚举到 (k) 时，((u,k),(k,v)) 的最短路都已经算出来，然后你发现这个东西非常的显然，因为 (k) 是编号最大值。