- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
第九章图9.1图的基本概念9.2图中的通路、图的连通性和图的矩阵表示9.3带权图与带权图中的最短通路9.4欧拉图9.5哈密尔顿图9.6二部图9.7平面图与平面图的着色
例假设5个教师共讲授8门课程。令课程和教师是图的顶点,只要某教师能够讲授某课程,就在该课程与该教师之间画一条边,如下图所示:课程教师
二部图,或称二分图,也称偶图定义:设G=(V,E)是一个图,若存在顶点集的一个划分{V1,V2},使得:对于任意的e?E,存在v1?V1,v2?V2满足{v1,v2}=e,则称(V1,V2)是图G的顶点的二分类。称图G为二部图,或称二分图,也称偶图,又称G为具有二分类(V1,V2)的偶图。
完全二部图G=(V,E)是一个二部图,(V1,V2)是G的二分类,若对于任意的v1?V1,v2?V2,有{v1,v2}?E,说G是一个完全二部图。
完全二部图Kn,m一个完全二部图G,(V1,V2)是它的二分类,|V1|=n,|V2|=m,记G为Kn,m。图9.17两个完全二部图
定理的证明:“?”先假设G是连通的。取定v0?V,定义V的两个子集如下: V1={vi│vi到v0的距离是偶数}, V2=V-V1。任取e={vi,vj}?E。若vi,vj?V1,由V1的定义知,从vi到v0有一条初等通路,其长为偶数,而v0到vj也有一条长为偶数的初等通路,再加上边{vi,vj},得到一条回路,此回路的长度是“偶数+偶数+1”,即为奇数,与题设矛盾。矛盾说明vi与vj不可能同时属于V1。同样可以证明vi与vj不可能同时属于V2,即(V1,V2)是V的一个二分类,也即G是一个二部图。
定理的证明:“?”(续)如果G不连通,设G为k个独立的连通分枝(子图)。对于G的每一个连通分枝,由上面的证明可以得到每一个独立子图的二分类,分别设为(V1(1),V2(1)),…,(V1(k),V2(k))。令V1(1)∪V1(2)∪?∪V1(k)=V1,V2(1)∪V2(2)∪?∪V2(k)=V2,则G是一个具有二分类(V1,V2)的二部图。
例G=(V,E)是一个简单无向图。
若G是一个二部图(偶图),
且每一个顶点的度数都是3度,
{V1,V2}是G作为二部图顶点集一个划分。
证明:|V1|=|V2|。证明方法一:根据二分图的定义知: 图共有3|V1|条边,每条边对应2个度数, 故图的总度数为6|V1|. 根据图的定义知:图的总度数为 3|V1|+3|V2|=6|V1| 即|V1|=|V2|
例G=(V,E)是一个简单无向图。
若G是一个二部图(偶图),
且每一个顶点的度数都是3度,
{V1,V2}是G作为二部图顶点集一个划分。
证明:|V1|=|V2|。证明方法二:根据二分图的定义知:V1的每个顶点都是3度,故图共有3|V1|条边。V2的每个顶点都是3度,故图也共有3|V2|条边。于是3|V1|=3|V2|即|V1|=|V2|
例解:
例(习题9.26,p123)已知:a,b,c,d,e,f,g的下述事实:(a)说汉语、日语;(b)说日语、法语;(c)说德语、法语、西班牙语;(d)说汉语、德语、俄语、葡萄牙语;(e)说俄语、朝语;(f)说朝语、西班牙语;(g)说葡萄牙语。试问:能否将七个人分成两组,使同一组中没有两个人能互相交谈?并用图论方法,说明你的结论。abcdefg
例(习题9.26,p123)abcdefgabcdefg解:能!将顶点分成{a,c,e,g}与{b,d,f}这两组后,关系图可以表示成二分图的形式,即各组中没有两个人能互相交谈。
第九章图9.1图的基本概念9.2图中的通路、图的连通性和图的矩阵表示9.3带权图与带权图中的最短通路9.4欧拉图9.5哈密尔顿图9.6二部图9.7平面图与平面图的着色
原创力文档


文档评论(0)