问题

为什么依次用一个节点松弛每两个节点就是正确的？

为什么变换顺序后又不能了呢？

例如我用 $f_{ij}$ 和 $f_{jk}$ 松弛了 $f_{ik}$，那么以后 $f_{ij}$ 或 $f_{ik}$ 又被其他节点更新后会不会导致 $f_{ik}$ 的最短路不是最短的呢？

我用的数组索引似乎比较奇怪，请仔细查看。