图论讲义课件.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * 有向图的连通性及分类 定义 22 D=V,E为有向图 D弱连通(连通)——基图为无向连通图 D单向连通——?vi,vj?V，vi?vj 或 vj?vi D强连通——?vi,vj?V，vi?vj 易知，强连通?单向连通?弱连通 判别法 定理 8 D强连通当且仅当D中存在经过每个顶点至少一次 的回路 定理 9 D单向连通当且仅当D中存在经过每个顶点至少一 次的通路 * 扩大路径法 无向图中 设G=V,E为 n 阶无向图，E??. 设 ?l 为G中一条路径，若 此路径的始点或终点与通路外的顶点相邻，就将它们扩到通 路中来，继续这一过程，直到最后得到的通路的两个端点不 与通路外的顶点相邻为止. 设最后得到的路径为?l+k（长度 为 l 的路径扩大成了长度为 l+k 的路径），称?l+k为“极大路 径”，称使用此种方法证明问题的方法为“扩大路径法”. 有向图中类似讨论，只需注意，在每步扩大中保证有向边方 向的一致性. * 实例 由某条路径扩大出的极大路径不惟一，极大路径不一定是 图中最长的路径 上图中，(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 的圈. 二部图 定义 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 阶零图为二部图. * 二部图的判别法 定理 10 无向图G=V,E是二部图当且仅当G中无奇圈 由定理 10可知图9中各图都是二部图，哪些是完全二部 图？哪些图是同构的？ * 4 图的矩阵表示 无向图的关联矩阵（对图无限制） 定义 24 无向图G=V,E，|V|=n，|E|=m，令 mij为 vi 与 ej 的关联次数，称(mij)n?m为G 的关联矩阵，记为M(G). 性质 * * 有向图的关联矩阵（无环有向图）  定义 25 有向图D=V,E，令 则称 (mij)n?m为D的关联矩阵，记为M(D). (4) 平行边对应的列相同 性质 有向图的关联矩阵 有向图的邻接矩阵（无限制） 定义 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 的通路总数， 定理 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条，