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的路径是最近的。