定义
编辑 播报
Dijkstra算法一般的表述通常有两种方式,一种用永久和临时标号方式,一种是用OPEN, CLOSE表的方式,这里均采用永久和临时标号的方式。注意该算法要求图中不存在负权边。 [2]
原理
编辑 播报
1.首先,引入一个辅助数组(vector)D,它的每个元素D
表示当前所找到的从起始点
(即源点
)到其它每个顶点
例如,D[3] = 2表示从起始点到顶点3的路径相对最小长度为2。 [1] 这里强调相对就是说在算法执行过程中D的值是在不断逼近最终结果但在过程中不一定就等于长度。 [3]
2.D的初始状态为:若从
到
有弧(即从
到
存在连接边),则D
为弧上的权值(即为从
到
的边的权值);否则置D
为∞。 [1]
显然,长度为 D
= Min{ D |
∈V } 的路径就是从
出发到顶点
的长度最短的一条路径,此路径为(
)。 [3]
3.那么,下一条长度次短的是哪一条呢?也就是找到从源点
到下一个顶点的最短路径长度所对应的顶点,且这条最短路径长度仅次于从源点
到顶点
的最短路径长度。 [1]
假设该次短路径的终点是
,则可想而知,这条路径要么是(
),或者是(
)。它的长度或者是从
到
的弧上的权值,或者是D
加上从
到
的弧上的权值。 [3]
4.一般情况下,假设S为已求得的从源点
出发的最短路径长度的顶点的集合,则可证明:下一条次最短路径(设其终点为
)要么是弧(
),或者是从源点
出发的中间只经过S中的顶点而最后到达顶点
的路径。 [1]
因此,下一条长度次短的的最短路径长度必是D
= Min{ D
|
∈V-S },其中D
要么是弧(
)上的权值,要么是D
(
∈S)和弧(
,
)上的权值之和。 [1]
算法描述如下:
1)令arcs表示弧上的权值。若弧不存在,则置arcs为∞(在本程序中为MAXCOST)。S为已找到的从
出发的的终点的集合,初始状态为空集。那么,从
出发到图上其余各顶点
可能达到的长度的初值为D=arcs[Locate Vex(G,
)],
∈V; [1]
2)选择
,使得D
=Min{ D |
∈V-S } ; [1]
3)修改从
出发的到集合V-S中任一顶点
的最短路径长度。 [2]
问题描述
编辑 播报
在有向图 G=(V,E) 中,假设每条边 E[i] 的长度为 w[i],找到由顶点 V0 到其余各点的最短值。 [1]
算法思想
编辑 播报
按路径长度递增次序产生算法: [1]
把顶点集合V分成两组: [3]
(1)S:已求出的顶点的集合(初始时只含有源点V0) [1]
(2)V-S=T:尚未确定的顶点集合 [1]
将T中顶点按递增的次序加入到S中,保证: [1]
(1)从源点V0到S中其他各顶点的长度都不大于从V0到T中任何顶点的最短路径长度 [1]
(2)每个顶点对应一个距离值 [2]
S中顶点:从V0到此顶点的长度 [1]
T中顶点:从V0到此顶点的只包括S中顶点作中间顶点的最短路径长度 [1]
依据:可以证明V0到T中顶点Vk的,或是从V0到Vk的直接路径的权值;或是从V0经S中顶点到Vk的路径权值之和 [1] 。
(反证法可证)
求最短路径步骤 [1]
算法步骤如下: [1]
G={V,E}
1. 初始时令 S={V0},T=V-S={其余顶点},T中顶点对应的距离值 [1]
若存在,d(V0,Vi)为弧上的权值 [1]
若不存在,d(V0,Vi)为∞ [2]
2. 从T中选取一个与S中顶点有关联边且权值最小的顶点W,加入到S中 [1]
3. 对其余T中顶点的距离值进行修改:若加进W作中间顶点,从V0到Vi的距离值缩短,则修改此距离值 [1]
重复上述步骤2、3,直到S [1] 中包含所有顶点,即W=Vi为止 [1]
算法实现
编辑 播报
pascal语言
下面是该算法的Pascal程序
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 |