无环加权有向图最短路径算法证明

接上文
本文讲解一类特殊的图无环加权有向图最短路径搜索算法.

我们知道, 对于有向无环图, 可以使用拓扑排序对节点进行排序, 使得对于图中的任意有向边$v->w$, 排序后均有顶点w出现在顶点v之后.因此, 对于无环加权有向图这类特殊的图类型,我们可以利用其可拓扑排序的性质设计最短路径搜索算法, 具体如下:

使用distTo[]数组保存起点$s$至其他顶点的路径长度, 初始化distTo[s]=0;
按照拓扑排序逐一松弛各顶点邻边, 松弛完毕后, distTo[i]即为起点s至顶点i的最短路径长度.

证明:由于按照拓扑排序依次松弛各顶点, 因此在节点$v$松弛完成后, 所有指向$v$的边均已完成松弛.因此,$distTo[v]$不会变得更小, 根据最短路径最优性条件, $distTo[v]$即为起点$s$至顶点$v$的最短路径长度.因此, 当所有节点均松弛过后, 顶点$s$至其他可达顶点的最短路径均完成搜索.