关于最短路径的探讨与证明

额 文章持续更新中  信息有来自转载 

Bellman-Ford 最短路方法的证明: 来自百度百科

描述性证明

首先指出，图的任意一条 最短路径既不能包含负权回路，也不会包含正权回路，因此它最多包含|v|-1条边。

其次，从源点s可达的所有顶点如果 存在 最短路径，则这些最短路径构成一个以s为根的最短路径树。Bellman-Ford算法的 迭代 松弛操作，实际上就是按顶点距离s的层次，逐层生成这棵 最短路径树的过程。

在对每条边进行第1遍 松弛的时候，生成了从s出发，层次至多为1的那些树枝。也就是说，找到了与s至多有1条边相联的那些顶点的 最短路径；对每条边进行第2遍 松弛的时候，生成了第2层次的树枝，就是说找到了经过2条边相连的那些顶点的最短路径……。因为 最短路径最多只包含|v|-1 条边，所以，只需要循环|v|-1 次。

每实施一次 松弛操作， 最短路径树上就会有一层顶点达到其最短距离，此后这层顶点的最短距离值就会一直保持不变，不再受后续松弛操作的影响。（但是，每次还要判断 松弛，这里浪费了大量的时间，怎么 优化？单纯的优化是否可行？）

注意：上述只对正权图有效。如果存在负权不一定第i次就能确定最短路，且与边的顺序有关。