额 文章持续更新中 信息有来自转载
Bellman-Ford 最短路方法的证明: 来自百度百科
描述性证明
首先指出,图的任意一条
最短路径既不能包含负权回路,也不会包含正权回路,因此它最多包含|v|-1条边。
其次,从源点s可达的所有顶点如果 存在
最短路径,则这些最短路径构成一个以s为根的最短路径树。Bellman-Ford算法的
迭代
松弛操作,实际上就是按顶点距离s的层次,逐层生成这棵
最短路径树的过程。
在对每条边进行第1遍
松弛的时候,生成了从s出发,层次至多为1的那些树枝。也就是说,找到了与s至多有1条边相联的那些顶点的
最短路径;对每条边进行第2遍
松弛的时候,生成了第2层次的树枝,就是说找到了经过2条边相连的那些顶点的最短路径……。因为
最短路径最多只包含|v|-1 条边,所以,只需要循环|v|-1 次。
每实施一次
松弛操作,
最短路径树上就会有一层顶点达到其最短距离,此后这层顶点的最短距离值就会一直保持不变,不再受后续松弛操作的影响。(但是,每次还要判断
松弛,这里浪费了大量的时间,怎么
优化?单纯的优化是否可行?)
注意:上述只对正权图有效。如果存在负权不一定第i次就能确定最短路,且与边的顺序有关。