[算法导论] 单源最短路径 - Dijkstra 学习笔记

Dijkstra采用的是贪心策略，为什么这种策略是正确的呢？下面我来简单说一下我的学习心得。

假设起点为s，终点为e。δ(s,e)代表两点的最短路径权值。ω(s,e)代表δ(s,e)经过的结点。d(s,v)代表两点最短路径估计的权值。

松弛操作：在松弛一条边(s,v)的过程中，是否可以通过结点u，使得d(s,v)减小；如果可以减小，则更新d(s,v)。

首先定义s到其他顶点的权值为+∞，即d(s,x) { x ∈ 图中结点 }。再定义δ(s,s) = 0。

此时由于d(s,x) =  +∞ {x ∈ 图中结点, x != s }。对s直接相连的结点进行松弛操作，可得：d(s,f) = 6，d(s,b) = 8，d(s,a) = 10

接着我们继续寻找min(d(s,x)) { x ∈ 图中未访问过的结点 }，得到结点f，δ(s,f)也就求出了继续重复松弛操作，可得，d(s,e) = 21，d(s,d) = 16

……

重复上述步骤，直到寻找不到min(δ(s,x)) { x ∈ 图中未访问过的结点 }，程序结束，Dijkstra算法运行完毕。

这样运行结束后，为什么就求得了s到其他所有结点的最短路径呢。

所以我们需要思考一下为什么每次都要寻找min(d(s,x)) { x ∈ 图中未访问过的结点 }。

首先我们来证明一下在一条最短路径ω(s,e)中经过的所有子路径都是最短路径。

假设ω(s,e)中的子路径不是最短路径，先举个例子：

假设ω(s,e) 为：s->a->b->c->e，假设a->b的路径不是δ(a,b)，也就是说ω(s,e)中的a到b的权值 > δ(a,b)。

那如果我选择a->b的路径权值为δ(a,b)的这条路径，那δ(s,e)就变小了。所以假设不成立。

仔细想一下，可以发现，我每次求得的min(d(s,x)) { x ∈ 图中未访问过的结点 }，假设min(d(s,x)) 求出的结点是k。

假设存在一个中间结点y，使得s->y->k的最短路径小于 s->k。由δ(s,k) <= δ(s,y)，推出假设不成立。

这也就求出s到k之间的最短路径，因为在未访问过的结点中s到k的路径是最近的。