《算法与数据结构——C语言描述》（第2版）电子教案 第9章 图.pptVIP

9.5 最短路径 如果图中从一个顶点可以到达另一个顶点，则称这两个顶点间存在一条路径。从一个顶点到另一个顶点间可能存在多条路径，而每条路径上经过的边数并不一定相同。 如果图是一个带权图，则路径长度为路径上各边的权值的总和，两个顶点间路径长度最短的那条路径称为两个顶点间的最短路径，其路径长度称为最短路径长度。 9.5.1 Dijkstra算法 Dijkstra算法求解从顶点v0出发到其它各顶点最短路径。 按路径长度递增的次序产生最短路径，该算法假设所有边的权都大于等于零。 基本思想 设置一个集合U，存放已求出最短路径的顶点，V-U是尚未确定最短路径的顶点集合。 每个顶点对应一个距离值，集合U中顶点的距离值是从顶点v0到该顶点的最短路径长度； 集合V-U中顶点的距离值是从顶点v0到该顶点的只包括集合U中顶点为中间顶点的最短路径长度。 初始状态： 集合U中只有顶点v0，顶点v0对应的距离值为0，集合V-U中顶点vi的距离值为边(v0, vi) (i=1,2,…,n-1)的权，如果v0和vi间无边直接相连，则vi的距离值为∞（实际程序中可以用一个足够大的数代替）。 处理框架： （1）在集合V-U中选择距离值最小的顶点vmin加入集合U； （2）对集合V-U中各顶点的距离值进行修正：如果加入顶点vmin为中间顶点后，使v0到vi的距离值比原来的距离值更小，则修改vi的距离值。 （3）重复（1）（2）操作，直到从v0出发可以到达的所有顶点都在集合U中为止。 图选择邻接矩阵表示法，其中关系矩阵的对角线初值均取0。算法中，将放入集合Ｕ中结点对应的关系矩阵中对角线元素值修改为1； 另外设置一个数组dist，dist[ｉ]用于存放v0到顶点vｉ的最短路径及其最短路径长度（计算过程中为距离值）∶ ypedef struct { AdjType length; /* 最短路径长度 */ int prevex; /*从v0到达vi(i=1,2,…n-1)的最短路 径上vi的前趋顶点*/ }Path; Path* dist; 存储结构 修正距离值方法的精化 如果加入顶点vmin为中间顶点后dist[i].lengthdist[min].length+G.arcs[min][i]， 则将顶点vi的距离值改为dist[min].length+G.arcs[min][i]，并修改路径上vi的前趋顶点：dist[i].prevex=min。 程序实现：void dijkstra(GraphMatrix graph, Path* dist) 例子 ①．初始时，集合U中只有顶点v0。 结果dist[n]为{{0, 0}, {50, 0}, {10, 0}, {MAX, -1}, {45, 0}, {MAX, -1} } ②．在集合V-U中找出距离值最小的顶点v2，将顶点v2加入集合U中。 结果dist[n]为{{0, 0}, {50, 0}, {10, 0}, {MAX, -1}, {45, 0}, {MAX, -1} } ③．按min=2调整集合V-U中顶点的距离值。 因为dist[1].legth=50，dist[2].length+graph.arcs[2][1]=10+MAX，因此，顶点v1的距离值不需要调整。 因为dist[3].length=MAX，dist[2].length+graph.arcs[2][3]=10+15=25，因此，顶点v3的距离值调整为25，其前趋顶点为v2。 同理，顶点v4 ，v5的距离值不需要调整。 结果dist[n]为{{0, 0}, {50, 0}, {10, 0}, {25, 2}, {45, 0}, {MAX, -1} } ④．同理在集合V-U中找出当前距离值最小的顶点v3，并调整集合V-U中顶点的距离值。 结果dist[n]为{{0, 0}, {45, 3}, {10, 0}, {25, 2}, {45, 0}, {MAX, -1} } ⑤．在集合V-U中找出当前距离值最小的顶点v1。并调整集合V-U中顶点的距离值。 结果dist[n]为{{0, 0}, {45, 3}, {10, 0}, {25, 2}, {45, 0}, {MAX, -1} } ⑥．在集合V-U中找出当前距离值最小的顶点v4。并调整集合V-U中顶点的距离值。 结果dist[n]为{{0, 0}, {45, 3}, {10, 0}, {25, 2}, {45, 0}, {MAX, -1} } ⑦．没有可以再加入集合U的顶点了，说明从顶点v0到顶点v5之间无路径相通。过程结束。 由数组dist