Dijkstra(迪杰斯特拉)算法是典型的单源最短路径算法,这个算法我主动学了三遍,第一主动学的时候,是看严蔚敏的《数据结构》,当时应该是学懂了,有点透彻地理解了这个算法,但是没有记录下来,后来就忘记了, 第二次主动学,就去网上找相关文章,看了不少关于这个算法的讲解,但总感觉都没有讲透,看得我二懂二懂的,昨天晚上,突然又想到这个算法,发现我还是不熟悉这个算法,又忘记Dijkstra 算法是怎么一回事了,决定再看这个算法一遍,虽然已经快12点了,平时这个时候已经躺床上了。 这次终于彻底搞懂,并决定写成博客记录下来。
Dijkstra 算法,用于对有权图进行搜索,找出图中两点的最短距离,既不是DFS搜索,也不是BFS搜索。
把Dijkstra 算法应用于无权图,或者所有边的权都相等的图,Dijkstra 算法等同于BFS搜索。
http://www.cnblogs.com/biyeymyhjob/archive/2012/07/31/2615833.html
2.算法描述
1)算法思想:设G=(V,E)是一个带权有向图,把图中顶点集合V分成两组,第一组为已求出最短路径的顶点集合(用S表示,初始时S中只有一个源点,以后每求得一条最短路径 , 就将加入到集合S中,直到全部顶点都加入到S中,算法就结束了),第二组为其余未确定最短路径的顶点集合(用U表示),按最短路径长度的递增次序依次把第二组的顶点加入S中。在加入的过程中,总保持从源点v到S中各顶点的最短路径长度不大于从源点v到U中任何顶点的最短路径长度。此外,每个顶点对应一个距离,S中的顶点的距离就是从v到此顶点的最短路径长度,U中的顶点的距离,是从v到此顶点只包括S中的顶点为中间顶点的当前最短路径长度。
例子
不要看算法的动画,理解算法的时候,思维更不上GIF动画的速度,这两张图对理解算法最管用
重点需要理解这句拗口的"按最短路径长度的递增次序依次把第二组的顶点加入S中。在加入的过程中,总保持从源点v到S中各顶点的最短路径长度不大于从源点v到U中任何顶点的最短路径长度"
实际上,Dijkstra 算法是一个排序过程,就上面的例子来说,是根据A到图中其余点的最短路径长度进行排序,路径越短越先被找到,路径越长越靠后才能被找到,要找A到F的最短路径,我们依次找到了
A --> C 的最短路径 3
A --> C --> B 的最短路径 5
A --> C --> D 的最短路径 6
A --> C --> E 的最短路径 7
A --> C --> D --> F 的最短路径 9
Dijkstra 算法运行的附加效果是得到了另一个信息,A到C的路径最短,其次是A到B, A到D, A到E, A到F
为什么Dijkstra 算法不适用于带负权的图?
就上个例子来说,当把一个点选入集合S时,就意味着已经找到了从A到这个点的最短路径,比如第二步,把C点选入集合S,这时已经找到A到C的最短路径了,但是如果图中存在负权边,就不能再这样说了。举个例子,假设有一个点Z,Z只与A和C有连接,从A到Z的权为50,从Z到C的权为-49,现在A到C的最短路径显然是A --> Z --> C
对带负权的图,应该用Floyd算法
再举一例, 初点a到b最短有权10,b到c有权50,a到d有权30,d到c有权20,求a到c的最短路径。
迪杰斯特拉算法的运行过程是一个排序的过程,既不是深度优先也不是广度优先算法。 就这个简单的例子而言,a和b都被加入S集合后,这时下一个要加入S集合结点,并不一定是c节点。 请把a和b节点组成的集合作为一个整体来考虑,当算法运行到 a和b 都被加入S集合后,你甚至都可以把 a 和 b在图中去掉用一个虚拟的s节点来表示,a 和 b 作为一个整体后,和这个整体相连接的边,最短的就是 a 到 d 这条边,但是,这时并不能直接因为这条边的权最小 就将d 加入 S 集合; 现在,再来假设 b 到 c的权不是50,而是25; 现在和 S 集合相连接的边有a到d 30, b到c 25; 这时,b到c的权值最小,但却不能加入S集合, 因为 a 到 b 再到 c的权是 10 + 25 已经大于 a 到 d的权 30, 所以 d 应该加入 S 集合,而不是 c; 如果b 到 c的权值小于20,就是 c先加入 S 集合,而不是 d 了; b 到 c的权值恰好等于20,那么随便,先把d加入 S 还是 先把 c 加入 S,都是一样的,没有区别。
另外,任意一点k,加入s集合后,就已经找到了从源点a到k的最短路径,前提条件是图中不能有带负数的权值边。 我这样表述可以让算法更清楚,还是这个例子, a和b都被选入 S 集合后,去更新整个图,把a和b都去掉,用新节点 s 代替a和b,s 到 d 有权30, s 到 c 有权 10+50, 下一步该选哪个节点并入 S 集合一目了然了吧。 d点选入 S 集合后,再把d点从图中抹去,更新虚拟的节点 s到c的权