关于最短路径
给定一张图,从一点出发,到达图中所有点的最短路径。
该性质描述为:如果P(i,j)={Vi....Vk..Vs...Vj}
是从顶点i到j的最短路径,k和s是这条路径上的一个中间顶点,那么P(k,s)必定是从k到s的最短路径。下面证明该性质的正确性。
假设P(i,j)={Vi....Vk..Vs...Vj}
是从顶点i到j的最短路径,则有P(i,j)=P(i,k)+P(k,s)+P(s,j)
。而P(k,s)
不是从k到s的最短距离,那么必定存在另一条从k到s的最短路径P'(k,s)
,那么P'(i,j)=P(i,k)+P'(k,s)+P(s,j)<P(i,j)
。则与P(i,j)
是从i到j的最短路径相矛盾。因此该性质得证。
由上述性质可知,如果存在一条从i到j的最短路径(Vi.....Vk,Vj)
,Vk是Vj前面的一顶点。那么(Vi...Vk)
也必定是从i到k的最短路径。为了求出最短路径,Dijkstra就提出了以最短路径长度递增,逐次生成最短路径的算法。譬如对于源顶点V0,首先选择其直接相邻的顶点中长度最短的顶点Vi,那么当前已知可得从V0到达Vj顶点的最短距离dist[j]=min{dist[j],dist[i]+matrix[i][j]}
。根据这种思路,
假设存在G=<V,E>
,源顶点为V0,U={V0}
,dist[i]
记录V0到i的最短距离,path[i]
记录从V0到i路径上的i前面的一个顶点。
- 从V-U中选择使
dist[i]
值最小的顶点i,将i加入到U中; - 更新与i直接相邻顶点的dist值。
(dist[j]=min{dist[j],dist[i]+matrix[i][j]})
- 直到U=V,停止。
[CODE]
1 |
|