迪克斯特拉算法

LITElric 2019-09-08

Dijkstra算法使用了广度优先搜索解决赋权有向图或无向图的单源最短路径问题
输入:
有权重的图G,起点S,V是途中顶点集合,E是图中所有顶点的集合。边为(u,v),权重为w(u,v)
输出:
起点到任何其他顶点的最低权重路径
流程:
这个算法是通过为每个顶点v保留当前为止所找到的从s到v的最短路径来工作的。初始时,起点s的路径权重被赋为 0 (d[s]=0)。若对于顶点 m 存在能直接到达的边(s,m),则把d[m]设为w(s,m),同时把所有其他(s不能直接到达的)顶点的路径长度设为无穷大。当算法结束时,d[v]中存储的便是从s到v的最短路径,如果路径不存在的话是无穷大。
边的拓展:如果存在一条从u到v的边,那么从s到v的最短路径可以通过将边(u,v)添加到从s到u的路径尾部来拓展一条从s到v的路径。这条路径的长度是 d[u] + w(u, v)。如果这个值比当前已知的d[v]的值要小,则可以用新值来替代当前d[v]中的值。拓展边的操作一直运行到所有的 d[v] 都代表从s到v的最短路径的长度值。此算法的组织令d[u]达到其最终值时,每条边(u,v)都只被拓展一次。
算法维护两个顶点集合S和Q。集合S保留所有已知最小d[v]值的顶点v,而集合Q则保留其他所有顶点。集合S初始状态为空,而后每一步都有一个顶点从Q 移动到S。这个被选择的顶点是Q中拥有最小的d[u]值的顶点。当一个顶点u从Q中转移到了S中,算法对u的每条外接边(u, v)进行拓展。
伪代码:

function Dijkstra(G, w, s)
for each vertex v in V[G]       // 初始化
    d[v] := infinity            // 将各点的已知最短距离先设成无穷大
    previous[v] := undefined    // 各点的已知最短路径上的前趋都未知
d[s] := 0                       // s到s的最小距离设为0
S := empty set
Q := set of all vertices
while Q is not an empty set
    u := Extract_Min(Q)
    S.append(u)
    for each edge outgoing from u as (u,v)
        if d[v] > d[u] + w(u,v)     // 拓展边(u,v)
            d[v] := d[u] + w(u,v)   // 更新路径长度到更小的那个和值
            previous[v] := u        // 纪录前趋顶点

相关推荐