在一个图里每条边都有一个权值(有正有负)
如果存在一个环(从某个点出发又回到自己的路径),而且这个环上所有权值之和是负数,那这就是一个负权环,也叫负权回路
存在负权回路的图是不能求两点间最短路的,因为只要在负权回路上不断兜圈子,所得的最短路长度可以任意小。
Bellman-Ford算法
在单源最短路径问题的某些实例中,可能存在权为负的边。如果图G=(V,E)不包含从源s可达的负权回路,则对所有v∈V,最短路径的权定义d(s,v)依然正确,即使它是一个负值也是如此。但如果存在一从s可达的负回路,最短路径的权的定义就不能成立。S到该回路上的结点就不存在最短路径。当有向图中出现负权时,则Dijkstra算法失效。当不存在源s可达的负回路时,我们可用Bellman-Ford算法实现。
下面我们介绍有向图中,存在具有负权的弧时,求最短路的方法。
为了方便起见,不妨设从任一点vi到任一点vj都有一条弧(如果在Gk ,(vi,vj)不存在,则添加(vi,vj)且令wij=+∝)。
显然,从vs到vj的最短路总是从vs出发,沿着一条路到某个点vi,再沿(vi,vj)到vj的(这里vi可以是vs本身),由本章开始时介绍的一个结论可知,从vs到vi的这条路必定是从vs到vi的最短路,所以d(vs,vi)必满足如下方程:
为了求得这个方程的解
(这里P为图G中的顶点数目),可用如下递推公式:
开始时,令
对t=2,3,...,
若进行到某一步,例如第k步时,对所有j=1,2,...,p,有:
则 即为vs到各点的最短路的权。
不难证明:
(1)如果G是不含回路的赋权有向图,那么,从vs到任一个点的最短路必可取为初等路,从而最多包含P-2个中间点;
(2)上述递推公式中的
是在至多包含t-1个中间点的限制条件下,从vs到vj的最短路的权。
由(1)(2)可知:当G中不含负回路时,上述算法最多经过p-1次迭代必定收敛,即对所有的j=1,2,...,P,均有
,从而求出从vs到各个顶点的最短路的权。
如果经过p-1次迭代,存在某个j,使
,则说明G中包含有负回路。显然,这时从vs到vj的路是没有下界的。
根据以上分析,Bellman-Ford算法可描述为:
算法实现
1、 数据结构(同Dijkstra算法,略)
2、源程序