按照您指定的顺序放松 -
最初的 d 值是<t = 0, u = inf, x = inf, y = inf, z = inf>
(x, t) <0, inf, inf, inf, inf>
(y, z) <0, inf, inf, inf, inf>
(u, t) <0, inf, inf, inf, inf>
(y, x) <0, inf, inf, inf, inf>
(u, y) <0, inf, inf, inf, inf> <--Upto this no update because no relaxation started from non-inf
(t, x) <0, inf, 7, inf, inf>
(t, y) <0, inf, 7, 12, inf>
(t, z) <0, inf, 7, 12, -3>
(z, x) <0, inf, 4, 12, -3>
(z, u) <0, 12, 4, 12, -3>
第二次迭代
(x, t) <0, 12, 4, 12, -3>
(y, z) <0, 12, 4, 12, -3>
(u, t) <0, 12, 4, 12, -3>
(y, x) <0, 12, 4, 12, -3>
(u, y) <0, 12, 4, 12, -3>
(t, x) <0, 12, 4, 12, -3>
(t, y) <0, 12, 4, 12, -3>
(t, z) <0, 12, 4, 12, -3>
(z, x) <0, 12, 4, 12, -3>
(z, u) <0, 12, 4, 12, -3>
因为它在第二次迭代后没有改变,所以这是最终的答案,它与你的相匹配。由于整个迭代没有变化,因此也没有负权重循环。
注意 - 如果边的顺序不同,我们可能已经预料到第二次迭代会发生变化。