离散数学第28讲.ppt

第廿八讲 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 第七章 图论 结束语 信息科学与工程学院 * 第 四 部 分 7-2 路与回路 定义7-2.1 设图G=V,E，G中结点与边的交替序列 ?=vi0ej1vi1ej2 … ejkvik 称vi0为vik 到的路.其中:vir-1，vir为ejr的端点,r=0,1,…,k . vi0，vik分别是?的始点和终点. ?中边的条数称为它的长度。 若vi0=vik ，则称该路为回路。 若?中所有边各异，则称 ?为迹。 若?中所有结点各异，则称 ?为通路。若vi0=vik ，则称 ?为圈。 将长度为奇数的圈称为奇圈，将长度为偶数的圈称为偶圈。 上节回顾 定义7-2.2 在无向图G中，结点u和结点v之间若存在一条路，则称结点u和结点v是连通的 连通图 非连通图 图G的连通分支数---W(G) 点割集 割点 点连通度--- k(G) 边割集 割边 边连通度--- ?(G) 上节回顾 定理7-2.2 对于任意G， 有 k(G) ≤ ?(G) ≤?(G) . 定义7-3.1设G=V,E是一个简单图, V={v1,v2,…,vn}, 则n阶方阵A(G)=aij为称为G的邻接矩阵。其中 aij= 1 vi邻接vj 0 vi 不邻接vj或i=j 如下图的邻接矩阵为： e3 e1 e2 e4 e5 e6 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 7-3 图的矩阵表示 如下图的邻接矩阵为： 0 1 0 0 1 1 0 1 1 1 0 1 0 1 0 0 1 1 0 1 1 1 0 1 0 邻接矩阵展示了两点间长度为1的通路数，那么如何求两点间长度为L的路数呢？ 无向图——对称 有向图——不一定 v1 v3 e4 。 。 。 。 。 v2 v4 v5 e1 e2 e3 e5 e6 e7 设图G中， V={v1,v2,…,vn}，其邻接矩阵为A(G)=(aij)n?n,若结点vi到vj存在长度为2的路，则中间必存在一个结点vk ，即vi ? vk ? vj ，且aik= akj=1,即aik.akj=1; 若结点vi到vj不存在长度为2的路，则aik= akj=0,即aik.akj=0。 故，从结点vi到vj长度为2的路的数目为： ai1.a1j+ ai2.a2j+ …+ ain.anj= 而这恰好等于矩阵(A(G))2中第i行第j列的元素。 定理7-3.1 设A(G)是图G的邻接矩阵，则(A(G))L(L≥1)i行j列元素aij(L)为等于G中vi到vj长度为L的路的数目。 证明： （略） 试求上例中的A2, A3, A4。 e3 e1 e2 e4 e5 e6 0 1 1 0 1 0 0 1 0 0 0 0 1 0 1 0 A= 推论 设BL=A1+A2+…+AL(L≥1),则BL中元素 为 D中长度小于或等于L的 路数，其中 为D中长度小于或等于L的回路数。 e3 e1 e2 e4 e5 e6 定义7-27 设D=V,E为一简单有向图, V={v1,v2,…,vn}, 令 可达矩阵表明了图中任意两个结点间是否存在一条路以及任何结点上是否存在回路，因此可改为布尔矩阵运算 1 , vi可达vj pij= 0， vi不可达vj 称(pij)n×n为D的可达矩阵，记作P(D),简记作P。 Warshall算法——一种求可达矩阵的算法： 设M为有向图D的长度为1的可达矩阵，则 (1)置新矩阵N=M; (2)置i=1; (3)对j(1≤j≤n),若N的第j 行第i 列处为1，则对k =1,2,…,n 做如下计算： 将N 的第j 行k 列处元素与第i 行k 列处元素进行逻辑加，然后将结果放到第j 行k 列处，即 N [j,k]= N [j,k] + N [i,k] ; (4)