深入解析Dijkstra's Algorithm —— 高效解决有向图中的单点出发最短路径问题

最新推荐文章于 2022-09-04 20:13:40 发布

原创

最新推荐文章于 2022-09-04 20:13:40 发布 · 5.6k 阅读

14 ·

CC 4.0 BY-SA版权

文章标签：

#最短路径

Dijkstra算法是一种用于找到边权值非负的有向图中，任意一点到其他所有点的最短路径的著名算法。它在路由协议如IS-IS和OSPF中得到应用。该算法通过不断更新距离最近的节点来逐步构建最短路径树。文章介绍了算法历史、步骤、正确性证明以及复杂度分析，并提供了Java实现。

什么是Dijkstra算法？

Dijkstra算法是用来寻找最短路径最著名的算法之一。具体来说，Dijkstra算法主要用来寻找一个边的权值不为负的有向图中的任意一点到其他任意结点（在两点相互联通的情况下）之间的最小路径。如果利用Dijkstra算法找出从一点出发，到图中其他所有点的最短路径，事实上我们就构造出了一个最短路径树（shortest-path tree）。

Dijkstra最短路径算法因其简单高效的特征而被广泛应用于互联网的路由协议中，例如IS-IS（Intermediate System to Intermediate System）和OSPF（Open Shortest Path First）协议。

Dijkstra算法的历史

1956年，当Edsger W. Dijkstra在阿姆斯特丹数学中心（Mathematical Center in Amsterdam）工作室，为了说明一台名为ARMAC的新电脑的计算能力，发明了最小路径问题。Dijkstra期初的目的是提出一个能被非计算机背景的人所能理解的问题，同时这一问题能被计算机有效解决。因此他对荷兰64个城市简化过的交通图（之所以是64个城市，是为了使得6比特的内存能够完全编码这些城市）计算最短路径，同时实现了Dijkstra算法的最初版本。

算法

Dijkstra算法实际上是一个贪婪算法（Greedy algorithm）。因为该算法总是试图优先访问每一步循环中距离起始点最近的下一个结点。Dijkstra算法的过程如下图所示。

Dijkstra Animation

下面我们分别给出算法的步骤及其正确性的证明。

初始化

给定图中的一个结点src作为起始点。
给定一个数组dist[]存储图中所有结点到src的距离。将dist[src]初始化为0。对于图中的其他结点v，初始化dist[v]为无穷大。初始化为无穷大的意义在于我们假设其余所有结点在当前情况下尚未与src联通。随着算法的执行，dist[v]会保存图中从src到v的最短路径的距离。
给定一个minimum Heap，记为Q。堆顶为当前情况下距离src最近的结点及相应的距离。将(src, 0)放入堆中。
给定一个Set，记为S，保存所有已经访问过的结点。Set初始为空。基于Dijkstra算法的性质，我们总是以最短的路径遍历每一个结点，因此对于任一结点，一旦我们已经访问过，就代表着我们已经得到了从src到达这一结点的最短路径。

计算最短路径

当Q不为空的情况下，取出堆顶的元素(v, [dist[v]) —— 也就是当前距离src最近的结点v，及其距离dist[v]。
如果v在S中，则代表我们已经访问过v的最短路径。那么跳过当前v，重复步骤1。
否则，将v放在S中。
对于每一个与v相邻的结点t：
- 如果dist[v] + weight(v, t) < dist[t]，则更新dist[t] = dist[v] + weight(v, t)。同时将(t, dist[t])放进Q中。
- 否则，不做任何处理。

当算法结束后，dist[]中保存图中每一个除src之外的结点到src的最短路径的权重值（或长度）。如果从src到v不存在联通的路径，则dist[v] = ∞。

证明算法正确性

假设对于每个已经访问过的结点v，dist[v]存储从起始点src到v的最短路径。

当算法初始化时，dist[]中只包含dist[src] = 0，其正确性显而易见。

对于其余n-1个结点，假设u已经被访问且v尚未被访问，同时u和v之间存在一条边u -> v，其权重为weight(u,v)，那么一定有dist[v] = dist[u] + weight(u, v)。否则的话，假设存在另一条更短的路径dist[t]满足dist[t] + weight(t, v)，则根据上述算法，t一定先于u被访问(既t将先于u从堆中被取出，因为dist[t] < dist[u]