屈婉玲离散数学PPT14.pptVIP

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 实例 由某条路径扩大出的极大路径不惟一，极大路径不一定是 图中最长的路径 上图中，(1)中实线边所示的长为2的初始路径?，(2),(3),(4) 中实线边所示的都是它扩展成的极大路径. 还能找到另外的极大路径吗？ (1) (2) (4) (3) * 扩大路径法的应用 例4 设 G 为 n（n?3）阶无向简单图，? ? 2，证明G 中存在 长度 ? ?+1 的圈. 证 设 ? = v0v1…vl 是由初始路径 ?0 用扩大路径法的得到的极 大路径，则 l ? ? （为什么？）. 因为v0 不与 ? 外顶点相邻，又 d(v0) ? ?，因而在 ?上除 v1 外，至少还存在 ??1个顶点与 v0 相邻. 设 vx 是离 v0 最远的顶 点，于是 v0v1…vxv0 为 G 中长度 ? ?+1 的圈. * 二部图 定义14.23 设 G=V,E为一个无向图，若能将 V分成 V1和V2 (V1?V2=V，V1?V2=?)，使得 G 中的每条边的两个端点都是 一个属于V1，另一个属于V2，则称 G 为二部图 ( 或称二分 图、偶图等 )，称V1和V2为互补顶点子集，常将二部图G 记为V1,V2,E. 又若G是简单二部图，V1中每个顶点均与V2中所有的顶点相 邻，则称G为完全二部图，记为 Kr,s，其中r=|V1|，s=|V2|. 注意，n 阶零图为二部图. * 二部图的判别法 定理14.10 无向图G=V,E是二部图当且仅当G中无奇圈 由定理14.10可知图9中各图都是二部图，哪些是完全二部 图？哪些图是同构的？ * 14.4 图的矩阵表示 无向图的关联矩阵（对图无限制） 定义14.24 无向图G=V,E，|V|=n，|E|=m，令 mij为 vi 与 ej 的关联次数，称(mij)n?m为G 的关联矩阵，记为M(G). 性质 * 有向图的关联矩阵（无环有向图）  定义14.25 有向图D=V,E，令 则称 (mij)n?m为D的关联矩阵，记为M(D). (4) 平行边对应的列相同 性质 有向图的关联矩阵 * 有向图的邻接矩阵（无限制） 定义14.26 设有向图D=V,E, V={v1, v2, …, vn}, E={e1, e2, …, em}, 令为顶点 vi 邻接到顶点 vj 边的条数，称为D的邻接矩 阵，记作A(D)，或简记为A. 性质 * 推论 设Bl=A+A2+…+Al（l?1），则 Bl中元素 为D中长度为 l 的通路总数， 定理14.11 设 A为有向图 D 的邻接矩阵，V={v1, v2, …, vn}为顶点集，则 A 的 l 次幂 Al（l?1）中元素 为D中vi 到vj长度为 l 的通路数，其中 为vi到自身长度为 l 的回路数，而 为D中长度小于或等于 l 的回路数 为D中长度小于或等于 l 的通路数. 邻接矩阵的应用 为D 中长度为 l 的回路总数. * 例5 有向图D如图所示，求 A, A2, A3, A4，并回答诸问题： (1) D 中长度为1, 2, 3, 4的通路各有多少条？其中回路分别为多少条？ (2) D 中长度小于或等于4的通路为多少条？其中有多少条回路？ 实例 * (1) D中长度为1的通路为8条，其中有1条是回路. D中长度为2的通路为11条，其中有3条是回路. D中长度为3和4的通路分别为14和17条，回路分别 为1与3条. (2) D中长度小于等于4的通路为50条，其中有8条是回路. 实例求解 * 定义14.27 设D=V,E为有向图. V={v1, v2, …, vn}, 令 有向图的可达矩阵（无限制） 称 (pij)n?n 为D的可达矩阵，记作P(D)，简记为P. 由于?vi?V，vi?vi，所以P(D)主对角线上的元素全为1. 由定义不难看出, D 强连通当且仅当 P(D)为全1矩阵. 下图所示有向图 D 的可达矩阵为 * 第十四章 习题课 主要内容 无向图、有向图、关联与相邻、简单图、完全图、正则图、子图、补图；握手定理与推论；图的同构 通路与回路及其分类 无向图的连通性与连通度 有向图的连通性及其分类 图的矩阵表示 * 基本要求 深刻理解握手定理及推论的内容并能灵活地应用它们 深刻理解图同构、简单图、完全图、正则图、子图、补图、二部图的概念以及它们的性质及相互之间的关系 记住通路与回路的定义、分类及表示法 深刻理解与无向图连通性、连通度有关的诸多概念 会判别有