Dijkstra 简单原理分析

Dijkstra

适用范围

单源点的最短路问题，时间复杂度为$O(n\ast m)$
在经过查找顺序优化的条件下，可以达到$O(mlogn)$，是最为高效的最短路算法

原理解释

1. 准备工作

• 一个辅助数组 Dis[k] 记录从原点到各个顶点终点的最短路，也就是答案

  • $D[k]=min(<源点到D[k]上弧的权值>,<源点到D[i]的路径长+D[i]到其他点的权值>)$

• Path[k] 表示当前所求得的从源点到其余各顶点$V_k$的最短路

  • $Path[k]=-1(V_0,V_k之间不存在有向路径)$
  • $Path[k]=当前最短路径上V_k的直接前驱节点序号(V_0,V_k之间不存在有向路径)$

• S[k]记录$V_0->V_k$是否被确定了最短路 ->一个过滤器

  • true 确定了最短路
  • false 没有确定最短路

2. 算法描述

• Initial
  • 将源点$V_0$加入S中，即S[0]=true
  • 将$V_0$到各个终点$V_i$的最短路径长度初始化为权值，即D[i]=G.arcs[0][i]
    • PS:此处在写代码的时候是遍历所有边，如果无边，则初始化为inf
  • 如果$V_0$和$V_i$之间有弧，则将$V_i$的前驱置为$V_0$，即Path[i]=0,否则Path[i]=-1
• Main
  • 在所有从源点$V_0$出发的弧中选取一条权值最小的弧，这就是第一条最短路径，设这条最短路径的终点是$V_k$，使得：
    $D[k]=MinD[i]|V_i在集合V-S中$
  • 把$V_k$加入到$S$中，S[k]=true
  • 更新从$V_0$出发到集合$V-S$上任一顶点最短路径的长度，同时更改$V_i$的前驱为$V_k$。
  • 若D[k]+G.arcs[k][i]<D[i]，则D[i]=D[k]+G.arcs[k][i]; Path[i]=k
  • 重复上述步骤$n-1$次