网站大量收购独家精品文档,联系QQ:2885784924

离散数学第14章图及基本概念.ppt

  1. 1、本文档共89页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
离散数学第14章图及基本概念

二部图的判定定理 定理14.10 一个无向图G=V,E是二部图当且仅当G中无奇数长度的回路。 证明 必要性。 若G中无回路,结论显然成立。 若G中有回路,只需证明G中无奇圈。 设C为G中任意一圈,令C=vi1vi2…vilvi1,易知 l≥2。 不妨设vi1∈V1,则必有vil∈V-V1=V2, 而l必为偶数,于是C为偶圈, 由C的任意性可知结论成立。 充分性。 不妨设G为连通图,否则可对每个连通分支进行讨论。 设v0为G中任意一个顶点,令 V1={v|v∈V(G)∧d(v0,v)为偶数} V2={v|v∈V(G)∧d(v0,v)为奇数} 易知,V1≠?,V2≠?,V1∩V2=?,V1∪V2=V(G)。 下面只要证明V1中任意两顶点不相邻,V2中任意两点也不相邻。 若存在vi,vj∈V1相邻,令(vi,vj)=e, 设v0到vi,vj的短程线分别为Гi,Гj, 则它们的长度d(v0,vi),d(v0,vj)都是偶数, 于是Гi∪Гj∪e中一定含奇圈,这与已知条件矛盾。 类似可证,V2中也不存在相邻的顶点,于是G为二部图。 第四节 图的矩阵表示 e1 e2 e3 e4 e5 V1 V2 V3 v4 v1 v2 v3 v4 v1 v2 v3 v4 14.5 图的运算 定义14.28 设G1=V1,E1,G2=V2,E2为两个图。 若V1∩V2=?,则称G1与G2是不交的。 若E1∩E2=?,则称G1与G2是边不交的或边不重的。 说明:不交的图,必然是边不交的,但反之不真。 图的运算 定义14.29 设G1=V1,E1,G2=V2,E2为不含孤立点的两个图(它们同为无向图或同为有向图)。 (1)称以E1∪E2为边集,以E1∪E2中边关联的顶点组成的集合为顶点集的图为G1与G2的并图,记作G1∪G2。 (2)称以E1-E2为边集,以E1-E2中边关联的顶点组成的集合为顶点集的图为G1与G2的差图,记作G1-G2。 (3)称以E1∩E2为边集,以E1∩E2中边关联的顶点组成的集合为顶点集的图为G1与G2的交图,记作G1∩G2。 (4)称以E1⊕E2为边集(为集合之间的对称差运算),以E1⊕E2中边关联的顶点组成的集合为顶点集的图为G1与G2的环和,记作G1⊕G2。 定义14.29的说明 (1)若G1=G2,则 G1∪G2=G1∩G2=G1(G2) G1-G2=G2-G1=G1⊕G2=? 这就是在图的定义中给出空图概念的原因。 (2)当G1与G2边不重时, G1∩G2=? G1-G2=G1 G2-G1=G2 G1⊕G2=G1∪G2 (3)图之间环和的定义也可以用并、交、差给出,即 G1⊕G2=(G1∪G2)-(G1∩G2) 第十四章 习题课 PLAY 解 例14.3 (1) 画出4阶3条边的所有非同构的无向简单图。 由握手定理可知,所画的无向简单图各顶点度数之和为2×3=6,最大度小于或等于3。于是所求无向简单图的度数列应满足的条件是,将6分成4个非负整数,每个整数均大于或等于0且小于或等于3,并且奇数的个数为偶数。将这样的整数列排出来只有下面三种情况: (1) 2,2,1,1 (2) 3,1,1,1 (3) 2,2,2,0 将每种度数列所有非同构的图都画出来即得所要求的全部非同构的图。 例14.3 (2) 画出3阶2条边的所有非同构的有向简单图。 由握手定理可知,所画有向简单图各顶点度数之和为4,最大出度和最大入度均小于或等于2。度数列及入度出度列为 1,2,1 入度列为 0,1,1 或 0,2,0 或 1,0,1 出度列为 1,1,0 或 1,0,1 或 0,2,0 2,2,0 入度列为 1,1,0 出度列为 1,1,0 举例 G G-e5 G-{e1, e4} G-v5 G-{v4, v5} G\e5 第二节 通路与回路 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≤ks≤l,使得 vs=vk, 即在Г上存在vs到自身的回路Csk, 在Г上删除Csk上的一切边及除vs外的一切顶点, 得Г?=v0e1v1e2…vkes+1 …elvl ,Г?仍为vi到vj的通路, 且长度至少比Г减少1。 若Г?还不满足要求,则重复上述过程,由于G是有限图,经过有限步后

文档评论(0)

ctuorn0371 + 关注
实名认证
内容提供者

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档