数据结构与算法--最短路径之Bellman算法、SPFA算法
除了Floyd算法&＃xff0c;另外一个使用广泛且可以处理负权边的是Bellman-Ford算法。
Bellman-Ford算法
假设某个图有V个顶点E条边。
该算法主要流程是&＃xff1a;
- 初始化。到起点s的距离
distTo[s]设置为0&＃xff0c;其余顶点的dist[]设置为正无穷&＃xff1b; - 以任意次序放松图中的所有E条边&＃xff0c;重复V轮&＃xff1b;
- V轮放松结束后&＃xff0c;判断是否存在负权回路。如果存在&＃xff0c;最短路径没有意义。
根据流程可以给出代码&＃xff0c;如下
package Chap7;import java.util.LinkedList;
import java.util.List;public class BellmanFord {private boolean hasNegativeCycle;private double distTo[];private DiEdge[] edgeTo;public boolean hasNegativeCycle() {return hasNegativeCycle;}private void relax(EdgeWeightedDiGraph graph, int v) {for (DiEdge edge : graph.adj(v)) {int w &＃61; edge.to();if (distTo[v] &＃43; edge.weight()
在V轮放松完成后&＃xff0c;如果没有负权回路存在&＃xff0c;那么对于任何v -> w必然有distTo[v] &＃43; edge.weight() >&＃61; distTo[w]&＃xff0c;说明所有dist[w]已经是最短路径了&＃xff1b;如果V轮后还存在distTo[v] &＃43; edge.weight() distTo[w]无法收敛到最小值——陷入死循环了&＃xff0c;我们围着那个环绕圈子&＃xff0c;可以使得路径越来越短&＃xff01;这就是遇到了负权回路。
上面的例子没有负权回路存在&＃xff0c;我们特意制造一个&＃xff0c;看看结果。
public static void main(String[] args) {List
}
0 -> 1-> 2 -> 0是一个负权回路。这里也注意下&＃xff0c;如果图中有边的权值为负&＃xff0c;在求最短的路径的时候要先判断有没有负权回路存在再进行后续计算。
SPFA算法--Bellman-Ford算法的优化
其实&＃xff0c;根据经验我们很容易知道在任意一轮中许多边都不会放松成功。我们下次需要放松的顶点&＃xff0c;只需是上次dist[w]值发生改变的那些w顶点。为此用一个队列保存这些顶点&＃xff0c;用一个onPQ[]的布尔数组&＃xff0c;来判断某个顶点是否已经在队列中。基于队列优化的Bellm-Ford算法又称为SPFA算法(Shortest Path Faster Algorithm)。
SPFA算法的思路是&＃xff1a;每次放松一条边v -> w&＃xff0c;如果放松成功&＃xff08;即distTo[w]的值被更新&＃xff09;&＃xff0c;且w没有在队列中则将其入列。然后队列的顶点出列并放松它&＃xff0c;直到队列为空或者找到负权回路&＃xff0c;算法终止。
这些数据结构可以保证&＃xff1a;
- 队列中不会出现重复的顶点&＃xff1b;
- 在某一轮中&＃xff0c;改变了dist[w]和edge[w]的所有w将会在下一轮处理。
如果不存在从起点s可达的负权回路&＃xff0c;那么算法终止的条件将是队列为空&＃xff1b;如果存在呢&＃xff1f;队列永远不会空&＃xff08;又在兜圈子了&＃xff09;&＃xff01;这意味着程序永不会结束&＃xff0c;为此&＃xff0c;我们必须判断从s可达的路径中是否存在负权回路。如果存在&＃xff0c;应该立即停止算法&＃xff0c;因为负权回路使得最短路径的研究毫无意义。而且此时经V轮放松后的edgeTo[]中必然会形成一个环&＃xff0c;且权值和为负数。但很可能在全部V轮结束前就可以从edgeTo[]中找到负权回路&＃xff0c;所以在放松边的过程中&＃xff0c;可以隔若干轮就检查一下edgeTo[]中的路径是否成负权回路。
由于不是V轮结束后才检查是否存在负权回路&＃xff0c;而是一边放松&＃xff0c;一边检查&＃xff0c;所以像上面那样用distTo[v] &＃43; edge.weight()
寻找有向负权环
判断有向环的实现并不复杂&＃xff0c;核心思想其实是DFS&＃xff08;深度优先搜索&＃xff09;。
package Chap7;import java.util.LinkedList;public class NegativeDiCycle {private boolean[] marked;private DiEdge[] edgeTo;private boolean[] onStack;private LinkedList
使用DFS的原因主要是为了利用递归产生的由系统维护的栈&＃xff08;每次方法调用就相当于入栈&＃xff0c;最先调用的最后才返回&＃xff09;&＃xff0c;而递归方法dfs的调用顺序正好反映了顶点的访问顺序&＃xff0c;如先调用dfs(s)&＃xff0c; 接着dfs(w), 然后dfs(x)&＃xff0c;再递归调用dfs(v)&＃xff0c;那么这是一条s -> w -> x -> v的路径。我们使用了一个onStack[]布尔数组来模拟方法调用的进出栈情况——进入方法体说明方法被调用&＃xff0c;进栈&＃xff1b;方法执行完毕&＃xff0c;该返回到上一层方法调用中了&＃xff0c;出栈。onStack[]其实就是一条路径&＃xff0c;onStack[v] &＃61; true说明顶点v位于从起点s可达的onStack[]这条路径中。
该实现最为关键的就是理解&＃xff1a;当我们在v处发现某条v -> w的边&＃xff0c;而恰好其w位于onStack[]中&＃xff0c;就找到了一个环。我们知道onStack[]表示的是s -> w -> x -> v的路径&＃xff0c;现在v -> w 刚好补全w -> x -> v成为环&＃xff01;如下图所示
好&＃xff0c;寻找到有向环后&＃xff0c;再判断环内所有边的权值是不是负数就好了。该实现不仅能判断&＃xff0c;还能找出到底是哪些边造成了环。关键是以下几行
DiEdge e &＃61; edgeTo[v];
while (e.from() !&＃61; w) {cycle.push(e);e &＃61; edgeTo[e.from()];
}
// 为避免空指针&＃xff0c;离w最近的那条在循环外入栈
cycle.push(e);
// 把导致成环的边加入
cycle.push(edge);
对照着上图&＃xff0c;最先x -> v入栈&＃xff0c;到w -> x时候&＃xff0c;发现e.from()就是w&＃xff0c;不存入。出了while循环&＃xff0c;将这条w -> x入栈&＃xff0c;最后别忘了把导致成环的那条边入栈。有人可能会说了为何要这么麻烦&＃xff0c;循环外单独push了两次&＃xff0c;这是因为edgeTo[]中有的值是null&＃xff08;比如起点s&＃xff09;&＃xff0c;如果不在合适的地方终止循环&＃xff0c;将在e &＃61; edgeTo[e.from()]该语句执行后&＃xff0c;在e.from() !&＃61; w处引起空指针异常&＃xff01;
SPFA算法的实现
可以判断负权回路的是否存在了&＃xff0c;据此实现SPFA算法。
package Chap7;import java.util.*;public class SPFA {private double[] distTo;private DiEdge[] edgeTo;private Queue
}
程序将输出找到的负权回路&＃xff0c;打印[(2->0 2.0), (0->1 -9.0), (1->2 5.0)]。对于不存在负权回路的图&＃xff0c;SPFA当然也能正确处理。这里就不测试了。
代码中特别注意一点&＃xff0c;我们之前有提到需要隔若干次就检查是否存在负权回路&＃xff0c;所以用到一个int型的cost变量记录放松边的次数&＃xff0c;每放松了V条边就检查一次。因为可能在第V次放松之后&＃xff0c;edgeTo[]数组中就存在负权回路了。findNegativeCycle方法就是将edgeTo[]转化成了有向图送给NegativeDiCycle类&＃xff0c;检测是否存在负权回路。
by &＃64;sunhaiyu
2017.9.26
京公网安备 11010802041100号