Dijkstra算法和Floyd算法
一、简介
迪杰斯特拉(Dijkstra)算法和弗洛伊德(Flyod)算法均是用于求解有向图或无向图从一点到另外一个点最短路径。
二、Dijkstra
迪杰斯特拉算法也是图论中的明星算法,主要是其采用的动态规划思想,使其在数据结构、算法、离散数学乃至运筹学中都扮演重要的角色。以下图为例:
以A为起点,首先走一步,共有三条边,分别如下:
AB(12),AF(16),AG(14)其中最短的是节点B,将AB(12)放入辅助向量。
接着,各节点均继续向下走,此时可以找出4条边。
ABC(22),ABF(19),AF(16),AG(14),同样找出最小值放入向量中。{AB(12),AG(14)}
此后步骤完全相同
ABC(22),ABF(19),AF(16),AGF(23),AGE(22),选中AF(16)。
同样,接下来的步骤有:ABC(22),AFC(22),AFE(18),AGE(22),选中AFE(18);
ABC(22),AFC(22),AFEC(23),AFED(22),这种情况随便选取一个最小值,以ABC(22)为例;
ABCD(25),AFED(22)选中后者,至此,已经完全找到A和所有节点之间的最短路径及最短路径的长度。
最短路径向量为{AB(12),AG(14),AF(16),AFE(18),ABC(22),AFED(22)}
三、Floyd
弗洛伊德是另外一种求最短路径的方式,与迪杰斯特拉算法不同,弗洛伊德偏重于多源最短路径的求解,即能迪杰斯特拉能够求一个节点到其余所有节点的最短路径,但是弗洛伊德能够求出任意两个节点的最短路径,当然迪杰斯特拉重复N次也能达到目标。两种方式的时间复杂度均为O(n^3),但弗洛伊德形式上会更简易一些。
以下面的有向有权图为例:
老版visio不知道为啥这么糊?
首先写出图的邻接矩阵Adj
A | B | C | D | |
A | 0 | 4 | 2 | 6 |
B | 5 | 0 | ∞ | 12 |
C | ∞ | ∞ | 0 | 3 |
D | 7 | 1 | ∞ | 0 |
若想缩短两点间的距离,仅有一种方式,那就是通过第三节点绕行,如果我们假设仅能通过A点绕行,那么仅需判断是否现有的距离Adj[i][j]小于Adj[i][1]+Adj[1][j]的距离,如果有更短的选择,那么进行更新就好了。首先第一行和第一列肯定不会更新,然后对角线也不必更新。【其实通过观察可以知道,第三行也不会进更新,因为C根本无法绕到A】
0 | 4 | 2 | 6 |
5 | 0 | 7 | 11 |
∞ | ∞ | 0 | 3 |
7 | 1 | 9 | 0 |
接下来,开放绕行节点2,那么就相当于可以经过节点1和2进行绕行。更新条件是Adj[i][j]>Adj[i][2]+Adj[2][j],除去第2行,第2列和对角线不需要进行判断。可以到D到C通过B-A会比仅通过A更短。
0 | 4 | 2 | 6 |
5 | 0 | 7 | 11 |
∞ | ∞ | 0 | 3 |
6 | 1 | 8 | 0 |
然后开放节点3.
0 | 4 | 2 | 5 |
5 | 0 | 7 | 10 |
∞ | ∞ | 0 | 3 |
6 | 1 | 8 | 0 |
最后开放节点4.
0 | 4 | 2 | 5 |
5 | 0 | 7 | 10 |
9 | 4 | 0 | 3 |
6 | 1 | 8 | 0 |
最短路径不适用于负权回路,或负权环,因为每次绕行都会减小最短路径,因此负权回路或者说负权环不存在最短路径。