1.Dijkstra不能得到含有负权边图(这里就不是环路了)的单源最短路径
Dijkstra由于是贪心的,每次都找一个距源点最近的点(dmin),然后将该距离定为这个点到源点的最短路径(d[i]<--dmin);但如果存在负权边,那就有可能先通过并不是距源点最近的一个次优点(dmin'),再通过一个负权边L(L<0),使得路径之和更小(dmin'+L<dmin),则dmin'+L成为最短路径,并不是dmin,这样Dijkstra就被囧掉了。
比如上图:1—>2权值为5,1—>3权值为6,3—>2权值为-2,求1到2的最短路径时,Dijkstra就会贪心的选择权为5的1—>2,但实际上1—>3—>2才是最优的结果,这样Dijkstra算法就无法得到正确的结果。
实际上只要有权重为负权的回路在,就无法得到真正的最短路径,因为只要在负权回路上不断兜圈子,所得的最短路径长度可以任意小。
虽然得不到最短路径,但我们有时需要知道图中是否存在负权回路,而Bellman-Ford算法就可以帮我们解决这个问题。
2、Bellman-Ford算法
定义:如果从结点s到结点v的某条路径上存在权重为负值的环路(必须是环路,不同于负权边),我们定义