Dijkstra算法用于求解单源点之间的最短路径,但是图中不能存在某条边的权为负数的回路。
Dijkstra就是指定某个源点u,之后去寻找到这个源点距离最短的边(u,v),并利用这条边对其他的边进行松弛的概念,之后不断循环往复直到结束。
这实际上是一个贪心的思想,但它确确实实找到的是最短路径。为什么呢?因为它每次选择的都是最短的路径,所以不可能存在还有一个点会使得源点到中转点的距离更小(因为当前路径已经是最短路径了)。
还有的就是某一次松弛后并不是最短的情况,如图所示
dis数组记录从源点到其他点的最短距离,假设A为源点
dis数组初始值如下,其中0,1,2,3分别对应A,B,C,D,INF为无穷大
dis[0]=0;dis[1]=100,dis[2]=150,dis[3]=INF
第一次选择’‘最短路径’‘为(A,B)=100【访问节点B】,之后可以松弛(A,D)更新为300,但很明显可以看出(A,D)之间的最短路径为160.
但是别着急,还有下一次松弛,因为dijstra并不是只选取一次’‘最短路径’’。
第二次选择的’‘最短路径’'为(A,C)=150【访问节点C】,因为这时(A,B)这条路已经走过了,标记为1.之后可以松弛(A,D)=160,就此得到正确答案,当然还要再走一次,因为D节点还没被访问过,不过此时不影响结果了故不赘述。
上面这个例子主要是想说明Dijstra找到的一定是最短路径虽然不一定是第一次就找到,它是通过边的不断松弛体现的。
最后附上代码,只有Dijstra的核心部分。
//Dijkstra visited数组来标记每个节点的状态,dis数组记录从源点到其他点的最短距离
// 采用邻接矩阵存储,**e数组存放的是图中各个节点之间的距离,n为节点数
#define INF 0Xfffffff
for(int i=0;i<n;i++){
int min_dis=INF; //记录到源点的最小距离
int min_index=-1; //记录最小距离的节点编号
for(int j=0;j<n;j++){
if(!visited[j] && dis[j]<min_dis){
min_dis=dis[j];
min_index=j;
}
}
visited[min_index]=1;
for(int k=0;k<n;k++){
if(dis[k]>dis[min_index]+e[min_index][k]){
dis[k]=dis[min_index]+e[min_index][k];
}
}
}