戴克斯特拉算法

戴克斯特拉算法
戴克斯特拉算法运行演示（找到A，B之间的最短路），本算法每次取出未访问结点中距离最小的，用该结点更新其他结点的距离。在演示过程中访问过的结点会被标为红色。
概况
類別	搜索算法 贪心算法 动态规划
資料結構	图（数据结构） 堆/优先队列（算法优化）
复杂度
最坏时间复杂度	$O(|E|+|V|\log |V|)$（使用斐波那契堆优化的戴克斯特拉算法）
空間複雜度	$O(|E|+|V|)$（使用链表存储边的情况）
相关变量的定义
$|E|$代表图中边数，$|V|$代表图中结点个数，$Q$为目前所有实际最短路径值不确定结点的集合，$S$为目前所有实际最短路径值确定结点的集合，$d[]$为到某点的最短路径估计，$\delta$为到某点的最短路径实际值。

戴克斯特拉算法（英語：Dijkstra's algorithm），又译迪杰斯特拉算法，也作Dijkstra算法，是由荷兰计算机科学家艾茲赫尔·戴克斯特拉在1956年发现的算法，并于3年后在期刊上发表。戴克斯特拉算法使用类似廣度优先搜索的方法解决赋权图的单源最短路径问题。

该算法存在很多变体：戴克斯特拉的原始版本仅适用于找到两个顶点之间的最短路径，后来更常见的变体固定了一个顶点作为源结点然后找到该顶点到图中所有其它结点的最短路径，产生一个最短路径树。

该算法解决了圖 $G=<V,E>$上带权的单源最短路径问题。具体来说，戴克斯特拉算法设置了一顶点集合$S$，在集合$S$中所有的顶点与源点$s$之间的最终最短路径权值均已确定。算法反复选择最短路径估计最小的点$u\in {V-S}$并将$u$加入$S$中。该算法常用于路由算法或者作为其他图算法的一个子模块。举例来说，如果图中的顶点表示城市，而边上的权重表示城市间开车行经的距离，该演算法可以用来找到两个城市之间的最短路径。

应当注意，绝大多数的戴克斯特拉算法不能有效处理带有负权边的图。

戴克斯特拉算法在计算机科学的人工智能等领域也被称为均一开销搜索，并被认为是最良优先搜索的一个特例。

算法描述

上圖為戴克斯特拉演算法應用示意圖。
起點以左下角的紅點，目標是右上角的綠點，中間灰色的倒L型為障礙物。藍色空圈表示"暫定"，用以搜索下一步；已經填充顏色的表示探訪過，圖中顏色以紅到綠，越綠表示離起點越遠。所有節點都被均勻的探索。

戴克斯特拉算法通過保留目前為止所找到的每個頂點$v\in V$從$s$到$v$的最短路徑來工作的。初始時，原點$s$的路径权重被賦為 0 （即原点的实际最短路径=0）。同時把所有其他頂點的路徑長度設為無窮大，即表示我們不知道任何通向這些頂點的路徑。當算法結束時，$d[v]$ 中儲存的便是從$s$到$v$的最短路徑，或者如果路徑不存在的話是無窮大。

松弛操作是戴克斯特拉算法的基礎操作：如果存在一條從$u$到$v$的邊，那麼從$s$到$v$的一条新路径是將邊$w(u,v)\in E$添加到從$s$到$u$的路徑尾部來拓展一條從$s$到$v$的路径。這條路徑的長度是$d[u]+w(u,v)$。如果這個值比目前已知的$d[v]$的值要小，那么可以用这个值來替代當前$d[v]$中的值。松弛邊的操作一直執行到所有的$d[v]$都代表從$s$到$v$的最短路徑的长度值。

算法維護兩個頂點集合$S$和$Q$。集合$S$保留所有已知实际最短路径值的頂點，而集合$Q$則保留其他所有頂點。集合$S$初始狀態為空，而後每一步都有一個頂點從$Q$移動到$S$。這個被選擇的頂點是$Q$中擁有最小的$d[u]$值的頂點。當一個頂點$u$從$Q$中轉移到了$S$中，算法對$u$的每条外接邊$w(u,v)$進行松弛。

《算法导论》中给出了以下伪代码：该伪代码计算并保留图$G$中原点$s$到每一顶点$v$的最短距离$d[v]$。其中，函数$Extract-Min(Q)$将頂點集合$Q$中有最小$d[u]$值的頂點$u$从$Q$中删除并返回$u$。

 1  function Dijkstra(G, w, s)
 2   INITIALIZE-SINGLE-SOURCE(G, s)                //实际上的操作是将每个除原点外的顶点的d[v]置为无穷大，d[s]=0
 3   $S\leftarrow \emptyset$
 4   $Q\leftarrow s$                                //Q是顶点V的一个优先队列，以顶点的最短路径估计排序
 5   while($Q\not =\emptyset$)
 6       do $u\leftarrow EXTRACT-MIN(Q)$          //选取u为Q中最短路径估计最小的顶点
 7       $S\leftarrow S\cup u$
 8       for each vertex v $\in Adj[u]$
 9            do RELAX(u, v, w)            //松弛成功的结点会被加入到队列中

如果我們只對在$s$和$t$之間尋找一條最短路徑的話，我們可以在第5或第6行添加條件如果滿足$u=t$的話終止程序。

在肯尼·罗森所著的《离散数学及其应用》中给出了如下的另一份伪代码：

 1 procedure Dijkstra(G：边全为正权的图）
 2   {G带有顶点$a=v_{0},v_{1},v_{2}...$和若干边$w(v_{i},v_{j})$}
 3    for i$:=1$ to n
 4       $D(v_{i}):=\infty$
 5    $D(a):=0$
 6    $S:=\emptyset$
 7    while $z\notin S$
 8    begin
 9          $u:=$不属于S的D(u)最小的一个顶点
 10        $S:=S\cup \{u\}$
 11        for 所有不属于S的顶点v
 12            if $D(u)+w(u,v)<D(v)$ then $D(v):=D(u)+w(u,v)$
 13    end{$D(z)$=从a到z的最短路长度}

時間複雜度

我們可以用大O符號將该算法的運行時間表示為邊數$|E|$和頂點數$|V|$的函數。

对于任何基于顶点集$Q$的实现，算法的运行时间是$O(|E|\cdot dk_{Q}+|V|\cdot em_{Q})$，其中$dk_{Q}$和$em_{Q}$分别表示完成键的降序排列时间和从$Q$中提取最小键值的时间。

对于没有任何优化的戴克斯特拉算法，实际上等价于每次遍历了整个图的所有结点来找到Q中满足条件的元素（即寻找最小的頂點是$O(|V|)$的），此外实际上还需要遍历所有的边一遍，因此算法的复杂度是$O(|V|^{2}+|E|)$。

對於邊數少於$|V|^{2}$的稀疏圖來說，我們可以用鄰接表來更有效的實現该算法。

可以使用一個二叉堆或者斐波納契堆用作優先隊列來尋找最小的頂點（Extract-Min）以优化算法。當用到二叉堆的時候，算法所需的時間為$O((|E|+|V|)\log |V|)$，斐波納契堆能提高一些性能，讓算法運行時間達到$O(|E|+|V|\log |V|)$。然而，使用斐波納契堆进行编程，有时会由于算法常数过大而导致速度没有显著提高。

下面是一些戴克斯特拉算法经典实现的复杂度比较：

算法	时间复杂度	发现者（按照论文发表时间从前向后排序）
使用链表的戴克斯特拉算法	$O(|V|^{2})$	莱索雷克及格雷等人，艾兹赫尔·戴克斯特拉，明蒂，怀廷及希利尔
使用二叉堆优化的戴克斯特拉算法	$O((|E|+|V|)\log |V|)$	唐纳德·约翰逊
使用斐波那契堆优化的戴克斯特拉算法	$O(|E|+|V|\log |V|)$	迈克尔·弗雷德曼及罗伯特·塔扬
	$O(|E|\log \log |L|)$	唐纳德·约翰逊，洛夫·卡尔松及帕特里西奥·波夫莱特

算法正确性证明

艾兹赫尔·戴克斯特拉，戴克斯特拉算法的发现者

戴克斯特拉本人在他的论文中给出了一份简单的证明。

《算法导论》使用循环不变式（数学归纳法）给出了如下的一份证明：

已知一带权图$G=<V,E>$，其加权函数$w$的值非负，源点为$s$。对该图运行戴克斯特拉算法，对所有$u\in V$有$d[u]=\delta (s,u)$。其中$d[u]$表示u点的最短路径估计，$\delta (s,u)$表示s到u点的最短路径。

证明：证明如下的循环不变式成立即可：在每次执行EXTRACT-MIN时，对每个顶点$u\in S$，有$d[u]=\delta (s,u)$成立即可。由于上界性质，在$u$加入了$S$之后，一旦有$d[u]=\delta (s,u)$，则在后面的每次循环中都不会改变这个性质。

初始化：第一次循环前，$S=\emptyset$，因此循环不变式显然成立。

保持：实际上要证明每一轮循环中加入到$S$中的结点满足$d[u]=\delta (s,u)$。利用反证法，假设$u$是第一个不满足此条件的结点，考虑循环开始前的状况，首先$u$一定不等于$s$，这是显然的。其次$s$一定有到$u$的路径，否则路径为无穷大。那么假设在$u$进入时，有最短路径$p=s->u$，假设该路径上存在两个点$x$，$y$。$y\in V-S$、$x\in S$，且x是y的前驱，路径$p$可以分解为$s-p_{1}->x->y-p_{2}->u$（此处$-p_{1}->$表示经过$p_{1}$这条路径，后同），其中路径$p_{1}$和路径$p_{2}$可以为空。由于$u$是第一个不满足$d[u]=\delta (s,u)$的，又因为$x$是满足该条件的，而且$(x,y)$一定已经被松弛过了，所以$y$是满足该条件的。

现在只需要推出矛盾，即可证明u不存在：$y$在$u$之前出现，而且图中所有权值非负，因此有$\delta (s,y)\leq \delta (s,u)$，所以：
$d[y]\leq \delta (s,y)\leq \delta (s,u)\leq d[u]$，但是由于$u$和$y$同时在$V-S$中，因此$d[u]\leq d[y]$，因此必有$d[y]=\delta (s,y)=\delta (s,u)=d[u]$，也就证明了$u$点不可能不满足该条件，上述假设为假，原命题得证。

终止：终止时，$Q=\emptyset$，由于$Q=V-S$，因此$V=S$，因此对所有$u\in V$有$d[u]=\delta (s,u)$。

算法起源与历史

从鹿特丹到格罗宁根的最短路径是什么？实际上，这就是对于任意两座城市之间的最短路问题。解决这个问题实际上大概只花了我20分钟：一天早上，我和我的未婚妻在阿姆斯特丹购物，累了，我们便坐在咖啡馆的露台上喝咖啡，然后我就试了一下能否用一个算法解决最短路问题。正如我所说，这是一个20分钟的发现。不过实际上，我在3年后的1959年才把这个算法发表在论文上。即使现在来看这篇论文的可读性也非常高，这个算法之所以如此优雅，其中一个原因就是我没用笔纸就设计了它。后来我才知道，没用笔纸设计的优点之一是你不得不避免所有可避免的复杂问题。令我惊讶的是，这个算法最终成为我成名的基石之一。

——艾兹赫尔·戴克斯特拉在2001年的采访中提到戴克斯特拉算法的发现历程

戴克斯特拉1956年在荷兰数学和计算机科学研究学会担任程序员时为了展示新型计算机ARMAC的功能曾思考过最短路径问题的解法。他的目标是让不去实际计算的人也能理解这个问题和解决的方法，于是他在发现了这个算法之后在ARMAC上做了简单实验。1959年，他正式将此算法发表在期刊上，该算法也成为了戴克斯特拉成名的基石之一。

算法相关应用

一个多区域OSPF网络，在OSPF中使用本算法计算最短路径

链路状态路由协议中需要计算最短路时常常要用到该算法，開放最短路徑優先算法是该算法在網絡路由中的一個具體實現。

戴克斯特拉算法及其改进算法本身应用广泛，尤其是在寻路、交通、规划中。

如果有已知信息可用來估計某一點到目標點的距離，則可改用A*搜尋算法，以減小最短路徑的搜索範圍，戴克斯特拉算法本身也可以看作是A*搜索算法的一个特例。

戴克斯特拉算法本身采用了与Prim算法类似的贪心策略。广度优先搜索可以看作是戴克斯特拉算法的一个特例。快速行进算法与戴克斯特拉算法同样有相似之处。

参考源程序

以下是该算法不使用堆优化的一个C++实现。

#include <iostream>
#include <vector>
#include <algorithm>
using namespace std;
#define edge pair < int, int>
#define infinite 32767

vector < pair < int, edge > > G;
vector<int> key, rel;
int N, E;

void init_keys()
{
	key.resize(N);
	key[0]=0;
	for(int i=1; i<N; i++)
	{
		key[i]=infinite;
	}
}

void dijkstra()
{
	rel.resize(N);
	int count=0;
	sort(G.begin(), G.end());
	while(count<E)
	{
		if((key[G[count].first]+G[count].second.second)<key[G[count].second.first])
		{
			rel[G[count].second.first]=G[count].first;
			key[G[count].second.first]=key[G[count].first]+G[count].second.second;
			
		}
		count++;
	};
}

int main()
{
    int x, y, cost;
    cin>>N>>E;
    for(int i=0; i<E; i++)
    {
        cin>>x>>y>>cost;
        G.push_back(pair <int, edge>(x-1, edge(y-1, cost)));
    }
    init_keys();
    dijkstra();
    cout<<"Shortest path: \n 1 is ROOT\n";
    for(int i=1; i<N; i++)
    {
		cout<<"( "<<i+1<<", "<<rel[i]+1<<" )\n";
	}
	cout<<"Shortest path for? : ";
	cin>>x;
	cout<<"\nShortest path from 1 to "<<x<<" is "<<key[x-1];
    return 0;
}

参见

• 图论
• A*搜尋演算法
• 贝尔曼-福特算法
• 宽度优先搜索
• Flood fill
• Floyd-Warshall算法
• 最长路径问题

參考

扩展阅读

• Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford. Section 24.3: Dijkstra's algorithm. 《算法导论》 第二版. 麻省理工学院出版社、标普全球. 2001: 595–601. ISBN 0-262-03293-7. 
• Dial, Robert B. Algorithm 360: Shortest-path forest with topological ordering [H]. ACM通讯. 1969, 12 (11): 632–633. doi:10.1145/363269.363610. 
• Zhan, F. Benjamin; Noon, Charles E. Shortest Path Algorithms: An Evaluation Using Real Road Networks. Transportation Science. February 1998, 32 (1): 65–73. doi:10.1287/trsc.32.1.65. 
• Knuth, D.E. A Generalization of Dijkstra's Algorithm. Information Processing Letters. 1977, 6 (1): 1–5. doi:10.1016/0020-0190(77)90002-3. 
• Ahuja, Ravindra K.; Mehlhorn, Kurt; Orlin, James B.; Tarjan, Robert E. Faster Algorithms for the Shortest Path Problem. Journal of Association for Computing Machinery (ACM). April 1990, 37 (2): 213–223. doi:10.1145/77600.77615. 
• Raman, Rajeev. Recent results on the single-source shortest paths problem. SIGACT News. 1997, 28 (2): 81–87. doi:10.1145/261342.261352. 
• Thorup, Mikkel. On RAM priority Queues. SIAM Journal on Computing. 2000, 30 (1): 86–109. doi:10.1137/S0097539795288246. 
• Thorup, Mikkel. Undirected single-source shortest paths with positive integer weights in linear time. journal of the ACM. 1999, 46 (3): 362–394 [2017-11-01]. doi:10.1145/316542.316548. （原始内容存档于2017-09-21）. 
• ZHANG Lin-guang,FANG Jin-yun,SHEN Pai-wei. An Improved Dijkstra Algorithm Based on Pairing Heap. Journal of Image and Graphics. 2007-05. 

外部連結

• 迪科斯彻算法分解演示视频（优酷）
• Animation of Dijkstra's algorithm
• The Boost Graph Library (BGL)
• Interactive Implementation of Dijkstra's Algorithm
• Shortest Path Problem: Dijkstra's Algorithm
• Dijkstra算法使用TDD的一个实现
• Graphical explanation of Dijkstra's algorithm step-by-step on an example