图的最短路径、拓扑排序和关键路径.doc

数据结构课程辅导
---图的最短路径、拓扑排序和关键路径

一、最短路径
由图的概念可知，在一个图中，若从一顶点到另一顶点存在着一条路径(这里只讨论无回路的简单路径)，则称该路径长度为该路径上所经过的边的数目，它也等于该路径上的顶点数减1。由于从一顶点到另一顶点可能存在着多条路径，每条路径上所经过的边数可能不同，即路径长度不同，我们把路径长度最短（即经过的边数最少）的那条路径叫做最短路径，其路径长度叫做最短路径长度或最短距离。
上面所述的图的最短路径问题只是对无权图而言的，若图是带权图，则把从一个顶点i到图中其余任一个顶点j的一条路径上所经过边的权值之和定义为该路径的带权路径长度，从vi到vj可能不止一条路径，我们把带权路径长度最短（即其值最小）的那条路径也称作最短路径，其权值也称作最短路径长度或最短距离。
例如，在图3-1中，从v0到v4共有三条路径：{0,4},{0,1,3,4}和{0,1,2,4}，其带权路径长度分别为30,23和38，可知最短路径为{0,1,3,4}，最短距离为23。
图3-1带权图和对应的邻接矩阵

实际上，这两类最短路径问题可合并为一类，这只要把无权图上的每条边标上数值为1的权就归属于有权图了，所以在以后的讨论中，若不特别指明，均认为是求带权图的最短路径问题。
求图的最短路径问题用途很广。例如，若用一个图表示城市之间的运输网，图的顶点代表城市，图上的边表示两端点对应城市之间存在着运输线，边上的权表示该运输线上的运输时间或单位重量的运费，考虑到两城市间的海拔高度不同，流水方向不同等因素，将造成来回运输时间或运费的不同，所以这种图通常是一个有向图。如何能够使从一城市到另一城市的运输时间最短或者运费最省呢？这就是一个求两城市间的最短路径问题。
求图的最短路径问题包括两个方面：一是求图中一顶点到其余各顶点的最短路径，二是求图中每对顶点之间的最短路径。下面分别进行讨论。

1.从一顶点到其余各顶点的最短路径
对于一个具有n个顶点和e条边的图G，从某一顶点vi(称此为源点)到其余任一顶点vj(称此为终点)的最短路径，可能是它们之间的边(i,j)或<i,j>，也可能是经过k个（1≤k≤n-2，最多经过除源点和终点之外的所有顶点）中间顶点和k+1条边所形成的路径。例如在图3-1中，从v0到v1的最短路径就是它们之间的有向边<0,1>，其长度为3；从v0到v4的最短路径经过两个中间点v1和v3以及三条有向边<0,1>,<1,3>和<3,4>，其长度为23。
那么，如何求出从源点i到图中其余每一个顶点的最短路径呢？狄克斯特拉(Dijkstra)于1959年提出了解决此问题的一般算法，具体做法是按照从源点到其余每一顶点的最短路径长度的升序依次求出从源点到各顶点的最短路径及长度，每次求出从源点i到一个终点m的最短路径及长度后，都要以该顶点m作为新考虑的中间点，用vi到vm的最短路径和最短路径长度对vi到其它尚未求出最短路径的那些终点的当前最短路径及长度作必要地修改，使之成为当前新的最短路径和最短路径长度，当进行n-2次（因最多考虑n-2个中间点）后算法结束。
狄克斯特拉算法需要设置一个集合，假定用S表示，其作用是保存已求得最短路径的终点序号，它的初值中只有一个元素，即源点i，以后每求出一个从源点i到终点m的最短路径，就将该顶点m并入S集合中，以便作为新考虑的中间点；还需要设置一个整型（假定权值类型为整型）数组dist[MaxVertexNum]，该数组中的第j个元素dist[j]用来保存从源点i到终点j的目前最短路径长度，它的初值为(i,j)或<i,j>边上的权值，若vi到vj没有边，则权值为MaxValue，以后每考虑一个新的中间点时，dist[j]的值可能变小；另外，再设置一个与dist数组相对应的、类型为adjlist的邻接表表头向量数组path，该数组中的第j个元素path[j]指向一个单链表，该单链表中保存着从源点i到终点j的目前最短路径，即一个顶点序列，当vi到vj存在着一条边时，则path[j]初始指向由顶点i和j构成的单链表，否则path[j]的初值为空。
此算法的执行过程是：首先从S集合以外的顶点（即待求出最短路径的终点）所对应的dist数组元素中，查找出其值最小的元素，假定为dist[m]，该元素值就是从源点i到终点m的最短路径长度(证明从略)，对应path数组中的元素path[m]所指向的单链表链接着从源点i到终点m的最短路径，即经过的顶点序列或称边序列；接着把已求得最短路径的终点m并入集合S中；然后以vm作为新考虑的中间点，对S集合以外的每个顶点j，比较dist[m]+GA[m][j]（GA为图G的邻接矩阵）与dist[j]的大小，若前者小于后者，表明加入了新的中间点vm之后，从vi到vj的