离散数学 第十四章 图的基本概念.pptVIP

(2) 在图中找出所有非初级的定义意义 下长度分别为3,4,5,6的简单回路，并以子 图形式画出它们。 解：(1)　　①长度为1的圈有1个，记为C11，C11 只能用定义或混合表示法表示：C11=Ae1A， 以子图形式画出为一个图： 　　②长度为2的圈在定义意义下有两个， 记为C21和C22，它们各可以有两种表示法： C21 = ADA——顶点序列表示 = Ae3De2A——用定义表示 C22 = DAD——顶点序列表示 = De2Ae3D——用定义表示 显然C21 ? C22，以子图形式画出时， 它们是一个子图。 ③长度为3的圈在定义意义下有6个， 分别记为C3i，i=1,2,3,4,5,6.这里只写出 以A为始(终点)的两个： C31 = ABe7CA ——混合表示 C32 = ABe8CA ——混合表示法 显然C3i ? C3j，i,j=1,2,…,6，以子图形 式画 出时，它们是两个子图。 ④长度为4的圈在定义意义下有8个，分 别记为C4i，i=1,2,…8.这里只画出以D为始(终 点)的两个。 C41 = DABe7CD ——混合表示法 C42 = DABe8CD ——混合表示法 易知 C4i ? C4j，i,j=1,2,…,8,以子图形式 画出时，它们是两个图。 (2)　　①长度为3的非初级的简单回路在定义 意义下有3条，以A为始(终点)的2条(先经过 e1与后经过e1各一条)，以D为始(终点)的为 1条。它们均同构。画出来只有一个图形。 ② 长度为4的非初级的简单回路在定义意义 下有8条，它们均为同构的，画出来的图形 有两个（一个含e7，一个含e8）。 ③ 长度为5的非初级的简单回路在定义 意义下有20条，它们均同构，画出的图形 有4个。 ④ 长度为6的非初级的简单回路在定义 意义下有24个，它们均同构，画出的图形有 两个。 二. n阶图中通路与回路的性质 定理14.5 在n阶图G中，若从顶点vi到 vj（vi≠vj）存在通路，则从vi到vj存在长度 小于或等于（n-1）的通路。 　证：设Г=v0e1v1e2…elvl（v0=vi,vl=vj） 为G中一条长度为l的通路，若l≤n-1，则Г 满足要求，否则必有l+1n，即Г上的顶点 数大于G中的顶点数，于是必存在k,s,0≤k s≤l,使得vs=vk,即在Г上存在vs到自身的回 路Csk,在Г上删除Csk上的一切边及除vs外的 一切顶点，得Г= v0e1v1e2…vkes+1 …elvl, Г仍为vi到vj的通路，且长度至少比Г减少 1。若Г还不满足要求，则重复上述过程， 由于G是有限图，经过有限步后，必得到 vi到vj长度小于或等于n-1的通路。 　 推论 在n阶图G中，若从顶点vi到vj （vi≠vj）存在通路，则vi到vj一定存在长 度小于或等于n-1的初级通路（路径）。 　　 定理14.6 在一个n阶图G中，若存在vi到 自身的回路，则一定存在vi到自身长度小于或 等于n的回路。 　 推论 在一个n阶图G中，若存在vi到自身 的简单回路，则一定存在vi到自身长度小于 或等于n的初级回路。 　 例14.5 (1) 无向完全图Kn（n≥3）中有 几种非同构的圈？ ? (2) 无向完全图K3的顶点依次标 标定为a,b,c.在定义意义下K3中有多少 个不同的圈？ 解 (1) 长度相同的圈都是同构的， 因而只有长度不同的圈才是非同构的， 易知Kn（n≥3）中含长度为3，4，…， n的圈，所以Kn（n≥3）中有n-2种非同 构的圈。 (2) 在同构意义下，K3中只有一个长度 为3的圈。但在定义意义下，不同起点 （终点）的圈是不同的，顶点间排列 顺序不同的因而K3中有6个不同的长为3 的圈：abca,acba,bacb,bcab,cabc,cbac。 如果只考虑起点（终点）的差异，而不 考虑顺时针逆时针的差异，应有3种不 同的圈，当然它们都是同构的，画出图 来只有一个。 14.3 图的连通性 一、无向图的连通性 定义14.12 设无向图G=V,E, ? u,v ∈V，若u,v之间存在通路，则称u,v是连 通的，记作u～v. ? v∈V，规定v～v. 　　由定义不难看出，无向图中顶点之间 的连通关系 ～={（u,v）|u,v∈V且u与v之间有通路} 是自