从 CLRS 理解 BELLMAN-FORD 算法

Question

考虑这个简单的图表：

S -> A -> B -> C

在 CLRS 中，作者实现了一个用于 |V|-1 的循环。 但是根据path-relaxation property 一个简单的路径P 可以是。

使用path-relaxation property，我们将按以下顺序放松P的边缘

(S,A),(A,B),(B,C)

因此，我们将一次性完成 |V| - 1 迭代。我可以理解|V| -1 通行证的使用，如果没有指定path-relaxation property，我们会放宽路径，从“源”开始。

|V| 的意义何在？ - 这里有 1 次迭代？我哪里错了，解释一下。

Answer 1

因为任何两个节点之间的任何最短路径都不能包含大于|V| 节点或|V|-1 边。通过将边缘放松|V|-1 次，我们确信我们已经获得了两个节点之间的最佳距离（如果存在最佳路径的话）。