第5章 图2软件学院.pptVIP

1、可及性与Warshall算法 图G中的两个顶点vi和vj，若从vi到vj存在一条有向路径，则称vi到vj可及。 用n?n阶可及矩阵R来描述顶点之间的可及关系，可及矩阵R的定义如下： 若vi到vj可及，则Rij=1，否则Rij=0. 可及的传递性： 如果vi至vj可及, vj至vk可及, 那么必有vi至vk可及。 D B C A 1 1 1 1 0 1 0 1 0 1 1 1 0 0 0 1 可及矩阵 根据可及的传递性，在可及矩阵中，若Rik=1且Rkj=1，则必有Rij=1. 基于此思想，Stephen Warshall在1962年提出了著名的Warshall算法，用来求有向图G的可及矩阵。 Warshall算法与Floy算法类似，是一个动态规划过程，递推公式为： 其中，WSM0=A，WSM(k)[i][j]表示顶点i只经过顶点 1，2，…，k到达j的可及性。 2、连通分量 有向图有三个连通分量，它们各自包含的顶点是： A B C D E F 设计一个算法，求图的所有连通分量。 F E D C B A 本章作业 173页：5-1、5-7、5-12、5-13、5-14、5-15、5-16 * * * * * * * * * * * * * * * * * * [例] 1 3 25 8 10 20 4 5 30 12 0 2 3 4 0 1 2 3 4 0 2 4 3 1 0 ∧ 5 1 3 4 ∧ 30 3 8 ∧ 2 25 4 10 ∧ 0 20 2 4 4 12 ∧ s path dist 0 0 0 0 0 0 3 4 2 1 ∞ ∞ ∞ 0 ∞ 1 3 25 8 10 20 4 5 30 12 0 2 3 4 ①在未访问顶点中选择Dv最小的顶点v，访问v，令 S[v]=1。 ②依次考察v的邻接顶点w，若 Dv+weight(v, w) Dw ， 则改变Dw的值，使Dw = Dv + weight(v, w) 。 ③重复① ② ，直至所有顶点被访问。 0 1 3 30 2 3 4 3 ∞ ∞ 1 3 25 8 10 20 4 5 30 12 0 2 3 4 s path dist 1 0 0 0 0 0 3 4 2 1 0 30 ∞ 3 ∞ v0 v0 s path dist 1 0 0 0 1 0 3 4 2 1 0 30 28 3 11 v0 v0 v1 v1 3 25 8 1 3 30 0 2 3 4 30 28 11 1 3 25 8 10 20 4 5 30 12 0 2 3 4 0 3 4 2 1 s path dist 1 1 0 0 1 0 30 28 3 11 v0 v1 v1 v0 1 3 25 8 10 20 4 5 30 12 0 2 3 4 3 12 0 4 15 8 1 3 2 3 4 23 11 0 3 4 2 1 s path dist 1 1 0 0 1 0 23 15 3 11 v0 v3 v1 v3 1 3 25 8 10 20 4 5 30 12 0 2 3 4 3 12 0 4 15 8 1 3 2 3 4 23 11 12 0 4 15 8 1 3 2 3 4 23 11 3 1 3 25 8 10 20 4 5 30 12 0 2 3 4 s path dist 1 1 0 0 1 0 23 15 3 11 v0 v3 v1 v3 s path dist 1 1 1 1 1 0 3 4 2 1 0 23 15 3 11 v0 v3 v1 v3 Dijkstra算法: 按照非递减顺序依次得到各顶点的最小路径长度。 12 0 4 15 8 1 3 2 3 4 23 11 3 1 3 25 8 10 20 4 5 30 12 0 2 3 4 定理5.4 Dijkstra算法可以按照非递减次序依次得到各顶点的最小路径长度。 证明：归纳法 　算法得到的路径值是各顶点的最小路径长度。 　算法得到的路径值是按非递减次序得到的。 5.6.3 每对顶点间的最短路径 问题：已知一个各边权值均大于0的带权有向图，对每一对顶点 vi ? vj，求vi 与vj间的最短路径和最短路径长度。 可依次把每个顶点作为源点，执行n次Dijkstra算法。 Floyd算法： 定义一个n阶方阵序列： A(-1), A(0), …, A(n-1). Floyd算法的基本思想： 设邻接矩阵存储图，定义初始矩阵A(-1) [i][j] = Edge[i][j]； 1、求A(0),即从vi到vj 经由顶点可以是{v0}的最短路径长度； 2、求A(1),即从vi 到v