简述dijkstra算法原理_Dijkstra算法原理及证明（转）

算法：

设G是带权图，图中的顶点多于一个，且所有的权都为正数。本算法确定从顶点S到G中其他各个顶点的距离和最短通路。在本算法中P表示带永久标记的顶点的集合。顶点A的前驱是P中的一个顶点，用来标记A。顶点U和V之间的边的权重用W(U，V)表示，如果U和V之间没有边，则记作W(U,V)=∞.

步骤1 (对S做标记)

(a)将S标记为0，并使S没有前驱

(b)令P={S}

步骤2 (对其他顶点作标记)

将每个不在P中的顶点V标记为W(S,V)(可能是暂时的)，并使V的前驱为S(可能是暂时的)

步骤3 (扩大P，修改标记)

Repeat

步骤3.1 (是另一个标记永久化)

把不在P中且带有最小标记的顶点U加入到P中去(如果这样的顶点有多个则任选其中一个)

步骤3.2  (修改临时标记)

对每个不在P中并且和U相邻的顶点X，把X的标记替换为下列这两者中的较小者：i)X的旧标记,ii)U上的标记与W(U，X)之和。如果X的标记改变了，则使U成为X的新前驱(可能是暂时的)

Until P包含G中的每一个顶点

步骤4 (求出距离和最短通路)

顶点Y上的标记是从S到Y的距离。如果Y上的标记是∞，那么从S到Y就没有通路，从而

没有最短通路；否则，按照下列序列的逆序使用顶点就构成从S到Y的一条最短通路：

Y，Y的前驱，Y的前驱的前驱，。。。。，直至S

证明：Dijkstra算法给出了从S到G的各个顶点的最短通路长度。

我们假设࿲