离散数学屈婉玲第十一章课件.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《离散数学屈婉玲第十一章课件.ppt》由用户(晟晟文业)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 离散数学 屈婉玲 第十一 课件
- 资源描述:
-
1、1第十一章第十一章 几种特殊的图几种特殊的图主要内容主要内容l 欧拉图欧拉图l 哈密顿图哈密顿图l 二部图与匹配二部图与匹配l 平面图平面图l 着色着色.211.1 欧拉图欧拉图历史背景:哥尼斯堡七桥问题历史背景:哥尼斯堡七桥问题.3欧拉图定义欧拉图定义定义定义11.1 图图(无向图或有向图无向图或有向图)中所有边恰好通过一次且经过中所有边恰好通过一次且经过所有顶点的通路称为所有顶点的通路称为欧拉通路欧拉通路.图中所有边恰好通过一次且图中所有边恰好通过一次且经过所有顶点的回路称为经过所有顶点的回路称为欧拉回路欧拉回路具有欧拉回路的图称为具有欧拉回路的图称为欧拉图欧拉图.具有欧拉通路而无欧拉回路
2、的图称为具有欧拉通路而无欧拉回路的图称为半欧拉图半欧拉图说明:说明:规定平凡图为欧拉图规定平凡图为欧拉图.环不影响图的欧拉性环不影响图的欧拉性.4欧拉图实例欧拉图实例欧拉图欧拉图不是不是半欧拉图半欧拉图欧拉图欧拉图不是不是半欧拉图半欧拉图.5欧拉图的判别法欧拉图的判别法定理定理11.1 (1)无向图无向图G是欧拉图当且仅当是欧拉图当且仅当G是连通的且没有奇是连通的且没有奇度顶点度顶点(2)无向图无向图G是半欧拉图当且仅当是半欧拉图当且仅当G是连通的且恰有两个奇度是连通的且恰有两个奇度顶点顶点(3)有向图有向图D是欧拉图当且仅当是欧拉图当且仅当D是强连通的且每个顶点的入是强连通的且每个顶点的入度
3、等于出度度等于出度(4)有向图有向图D是半欧拉图当且仅当是半欧拉图当且仅当D是单向连通的且恰有两个是单向连通的且恰有两个奇度顶点奇度顶点,其中一个顶点的入度比出度大其中一个顶点的入度比出度大1,另一个顶点出度另一个顶点出度比入度大比入度大1,其余顶点的入度等于出度其余顶点的入度等于出度例例1 设设G是非平凡的欧拉图,则是非平凡的欧拉图,则(G)2.证证 只需证明只需证明G的任意一条边的任意一条边e都不是桥都不是桥.设设C是一条欧拉回路是一条欧拉回路,e在在C上,因而上,因而G e仍是连通的,故仍是连通的,故e不是桥不是桥.6Fleury算法算法算法:算法:(1)任取任取v0 V(G),令令P0
4、=v0,i=0.(2)设设Pi=v0e1v1e2eivi,如果如果E(G)-e1,e2,ei 中没有与中没有与vi关联的边关联的边,则计算结束则计算结束;否则按下面方法从否则按下面方法从E(G)e1,e2,ei 中选取中选取ei+1:(a)ei+1与与vi 关联;关联;(b)除非无别的边可供选择除非无别的边可供选择,否则否则ei+1不应为不应为 G e1,e2,ei 中的桥中的桥.设设ei+1=(vi,vi+1),把把ei+1vi+1加入加入Pi.(3)令令i=i+1,返回返回(2).7实例实例一笔画出一条欧拉回路一笔画出一条欧拉回路.8实例实例一笔画出一条欧拉回路一笔画出一条欧拉回路.911
5、.2 哈密顿图哈密顿图历史背景:哈密顿周游世界问题历史背景:哈密顿周游世界问题 (1)(2).10哈密顿图与半哈密顿图哈密顿图与半哈密顿图定义定义11.2 经过图中所有顶点一次且仅一次的通路称作经过图中所有顶点一次且仅一次的通路称作哈密顿哈密顿通路通路.经过图中所有顶点一次且仅一次的回路称作经过图中所有顶点一次且仅一次的回路称作哈密顿回哈密顿回路路.具有哈密顿回路的图称作具有哈密顿回路的图称作哈密顿图哈密顿图.具有哈密顿通路且无具有哈密顿通路且无哈密顿回路的图称作哈密顿回路的图称作半哈密顿图半哈密顿图.规定规定:平凡图是哈密顿图平凡图是哈密顿图.哈密顿图哈密顿图半哈密顿图半哈密顿图哈密顿图哈密
6、顿图例例不是不是.11无向哈密顿图的一个必要条件无向哈密顿图的一个必要条件定理定理11.2 设无向图设无向图G=是哈密顿图,对于任意是哈密顿图,对于任意V1 V且且V1,均有,均有 p(G V1)|V1|证证 设设C为为G中一条哈密顿回路中一条哈密顿回路(1)p(C V1)|V1|(2)p(G V1)p(C V1)|V1|(因为(因为C G)推论推论 设无向图设无向图G=是半哈密顿图,对于任意的是半哈密顿图,对于任意的V1 V且且V1均有均有 p(G V1)|V1|+1证证 设设 为从为从u到到v的哈密顿通路,令的哈密顿通路,令G =G(u,v),则,则G 为为哈密顿图哈密顿图.于是于是 p(
7、G V1)=p(G V1(u,v)p(G V1)+1|V1|+1.12例题例题例例2 判断下面的图是不是哈密顿图判断下面的图是不是哈密顿图,是不是半哈密顿图是不是半哈密顿图.解解 (a)取取V1=a,f,p(G V1)=|b,c,d,e|=4|V1|=2,不是哈密顿图,不是哈密顿图,也不是半哈密顿图也不是半哈密顿图(b)取取V1=a,g,h,i,c,p(G V1)=|b,e,f,j,k,d|=6|V1|=5,不是哈密不是哈密顿图顿图.而而baegjckhfid是一条哈密顿通路是一条哈密顿通路,是半哈密顿图是半哈密顿图(c)abcdgihjefa是一条哈密顿回路,是哈密顿图是一条哈密顿回路,是哈
8、密顿图.13例题例题例例3 设设G为为n阶无向连通简单图,若阶无向连通简单图,若G中有割点或桥,则中有割点或桥,则G不不是哈密顿图是哈密顿图.证证 设设v为割点,则为割点,则 p(G v)2|v|=1.K2有桥,它显然不是哈密顿图有桥,它显然不是哈密顿图.除除K2外,其他有桥的连外,其他有桥的连通图均有割点通图均有割点.14无向哈密顿图的一个充分条件无向哈密顿图的一个充分条件定理定理11.3 设设G是是n阶无向简单图阶无向简单图,若对于任意不相邻的顶点若对于任意不相邻的顶点vi,vj,均有均有 d(vi)+d(vj)n 1 ()则则G 中存在哈密顿通路中存在哈密顿通路.推论推论 设设G为为n(
9、n 3)阶无向简单图阶无向简单图,若对于若对于G中任意两个不相中任意两个不相邻的顶点邻的顶点vi,vj,均有均有 d(vi)+d(vj)n ()则则G中存在哈密顿回路中存在哈密顿回路.15判断是否为哈密顿图判断是否为哈密顿图 判断是否为判断是否为(半半)哈密顿图至今还是一个难题哈密顿图至今还是一个难题.(1)观察出一条哈密顿回路或哈密顿通路观察出一条哈密顿回路或哈密顿通路.(2)证明满足充分条件证明满足充分条件.(3)证明不满足必要条件证明不满足必要条件.例例4 证明右图证明右图(周游世界问题周游世界问题)是哈密顿图是哈密顿图证证 a b c d e f g h i j k l m n o p
10、 q r s t a是一条哈密顿回路是一条哈密顿回路.注意,此图不满足定理注意,此图不满足定理11.3推论的条件推论的条件.例例5 完全图完全图Kn(n 3)是哈密顿图是哈密顿图.证证 任何两个顶点任何两个顶点u,v,d(u)+d(v)=2(n 1)n.16货郎问题货郎问题货郎问题货郎问题:有有n个城市个城市,给定城市之间道路的长度给定城市之间道路的长度(长度可以为长度可以为,对应这两个城市之间无交通线对应这两个城市之间无交通线).货郎从某个城市出发货郎从某个城市出发,要要经过每个城市一次且仅一次经过每个城市一次且仅一次,最后回到出发的城市最后回到出发的城市,问如何走问如何走才能使他走的路线最
11、短才能使他走的路线最短?图论方法描述如下图论方法描述如下:设设G=为一个为一个n阶完全带权图阶完全带权图Kn,各边的权非负各边的权非负,且可能为且可能为.求求G中的一条最短的哈密顿回路中的一条最短的哈密顿回路.不计出发点和方向不计出发点和方向,Kn(n 3)中有中有(n 1)!/2 条不同的哈密顿回条不同的哈密顿回路路.17 解解 C1=a b c d a,W(C1)=10 C2=a b d c a,W(C2)=11 C3=a c b d a,W(C3)=9 最短最短 例例6 求下面带权图求下面带权图K4中最短哈密顿回路中最短哈密顿回路.例题例题.1811.3 二部图与匹配二部图与匹配定义定义
12、11.3 设设 G=为一个无向图为一个无向图,若能将若能将 V分成分成 V1和和V2(V1 V2=V,V1 V2=),使得使得 G 中的每条边的两个端点都是一中的每条边的两个端点都是一个属于个属于V1,另一个属于另一个属于V2,则称则称 G 为为二部图二部图(或称或称二分图二分图,偶偶图图),称称V1和和V2为为互补顶点子集互补顶点子集,常将二部图常将二部图G记为记为.又若又若G是简单二部图是简单二部图,V1中每个顶点均与中每个顶点均与V2中所有的顶点相邻,中所有的顶点相邻,则称则称G为为完全二部图完全二部图,记为记为 Kr,s,其中其中r=|V1|,s=|V2|.19实例实例例例K2,3K3
13、,3.20二部图的判别法二部图的判别法定理定理11.4 无向图无向图G=是二部图当且仅当是二部图当且仅当G中无奇圈中无奇圈.证证 必要性必要性.若若G中无圈中无圈,结论成立结论成立.若若G中有圈中有圈,设设G中的一个中的一个圈圈C=v1v2vlv1,l2.不妨设不妨设v1 V1,v1,v2,vl 依次交替属于依次交替属于V1,V2且且vl V2,因而因而l为偶数为偶数.得证得证C为偶圈为偶圈充分性充分性.不妨设不妨设G为连通图为连通图,否则可对每个连通分支进行讨论否则可对每个连通分支进行讨论,孤立点可根据需要分属孤立点可根据需要分属V1和和V2.设设v0为为G中任意一个顶点中任意一个顶点,令令
14、 V1=v|v V(G)d(v0,v)为偶数为偶数 V2=v|v V(G)d(v0,v)为奇数为奇数d(v0,v)是是v0到到v的最短路径的边数的最短路径的边数(每条边的权为每条边的权为1).V1,V2,V1 V2=,V1 V2=V(G).要证要证V1中任意两点不相邻中任意两点不相邻.21证明证明假若存在假若存在vi,vj V1相邻相邻,记记e=(vi,vj),设设v0到到vi,vj的最短路径分别的最短路径分别为为 i,j,由由 i,j和和e构成一条长度为奇数的回路构成一条长度为奇数的回路.这条回路可这条回路可能是一条复杂回路能是一条复杂回路,可以分解成若干由可以分解成若干由 i,j共有的边构
15、成的共有的边构成的回路回路(实际上是每条边重复一次的路径实际上是每条边重复一次的路径)和由和由 i,j不共有的边不共有的边及及e构成的圈构成的圈.由由 i,j共有的边构成的回路的长度为偶数共有的边构成的回路的长度为偶数,故在故在由由 i,j不共有的边不共有的边(可以还包括可以还包括e)构成的圈中一定有奇圈构成的圈中一定有奇圈,这这与已知条件矛盾与已知条件矛盾.得证得证V1中任意两顶点不相邻中任意两顶点不相邻.由对称性由对称性,V2中也不存在相邻的顶点中也不存在相邻的顶点,得证得证G为二部图为二部图.22最大匹配最大匹配定义定义11.4 设设G=为二部图为二部图,M E,如果如果M中的任意两中的
16、任意两条边都不相邻条边都不相邻,则称则称M是是G的一个的一个匹配匹配.G中边数最多的匹配中边数最多的匹配称作称作最大匹配最大匹配.又设又设|V1|V2|,如果如果M是是G的一个匹配且的一个匹配且|M|=|V1|,则称则称M是是V1到到V2的的完备匹配完备匹配.当当|V2|=|V1|时时,完备匹完备匹配又称作配又称作完美匹配完美匹配例例完备匹配完备匹配完美匹配完美匹配最大匹配最大匹配.23与匹配有关的概念与匹配有关的概念定义定义11.5 设设M是二部图是二部图G=的一个匹配的一个匹配.称称M中的边中的边为为匹配边匹配边,不在不在M中的边为中的边为非匹配边非匹配边.与匹配边相关联的顶点与匹配边相关
17、联的顶点为为饱和点饱和点,不与匹配边相关联的顶点为不与匹配边相关联的顶点为非饱和点非饱和点.G中由匹配中由匹配边和非匹配边交替构成的路径称为边和非匹配边交替构成的路径称为交错路径交错路径,起点和终点都是起点和终点都是非饱和点的交错路径称为非饱和点的交错路径称为可增广的交错路径可增广的交错路径M为为G的完备匹配当且仅当的完备匹配当且仅当V1或或V2中的每个顶点都是饱和点中的每个顶点都是饱和点M为为G的完美匹配当且仅当的完美匹配当且仅当G中的每个顶点都是饱和点中的每个顶点都是饱和点.24可增广的交错路径可增广的交错路径例例左图左图,饱和点饱和点:u1,u3,u4,v1,v2,v3;非饱和点非饱和点
18、:u2,v4;可增广的交错路径可增广的交错路径 :u2v3u4v2u1v4.由由 得到多一条边的匹配得到多一条边的匹配.设设M为为G的一个匹配的一个匹配,是关于是关于M的可增广的交错路径的可增广的交错路径,则则 M =M E()=(M E()(M E()是比是比M多一条边的匹配多一条边的匹配.定理定理11.5 M为为G的最大匹配的最大匹配G中不含中不含M的可增广的交错路径的可增广的交错路径.u1u1u2u2u3u3u4u4v1v2v3v4v1v2v3v4.25Hall定理定理定理定理11.6(Hall定理定理)设二部图设二部图G=,其中其中|V1|V2|,则则 G中存在从中存在从V1到到V2的
19、完备匹配当且仅当的完备匹配当且仅当V1中任意中任意k(1 k|V1|)个顶点至少与个顶点至少与V2中的中的k个顶点相邻个顶点相邻.(相异性条件相异性条件)证证 必要性显然必要性显然.证充分性证充分性.设设M为为G的最大匹配的最大匹配,若若M不是完备不是完备的的,则存在非饱和点则存在非饱和点vx V1.于是于是,存在存在e E1=E M与与vx关联关联,且且V2中与中与vx相邻的顶点都是饱和点相邻的顶点都是饱和点.考虑从考虑从vx出发的尽可能长的出发的尽可能长的所有交错路径所有交错路径,这些交错路径都不是可增广的这些交错路径都不是可增广的,因此每条路径因此每条路径的另一个端点一定是饱和点的另一个
20、端点一定是饱和点,从而全在从而全在V1中中.令令 S=v|v V1且且v在从在从vx出发的交错路径上出发的交错路径上 T=v|v V2且且v在从在从vx出发的交错路径上出发的交错路径上除除vx外外,S和和T中的顶点都是饱和点中的顶点都是饱和点,且由匹配边给出两者之间且由匹配边给出两者之间的一一对应的一一对应,因而因而|S|=|T|+1.这说明这说明V1中有中有|T|+1个顶点只与个顶点只与V2中中|T|个顶点相邻个顶点相邻,与相异性条件矛盾与相异性条件矛盾.26t条件条件定理定理11.7 设二部图设二部图G=,如果存在如果存在t使得使得,V1中每个顶中每个顶点至少关联点至少关联t条边条边,而而
21、V2中每个顶点至多关联中每个顶点至多关联 t 条边条边,则则G 中存中存在在V1到到V2的完备匹配的完备匹配.(t条件条件)证证 V1中任意中任意k(1 k|V1|)个顶点至少关联个顶点至少关联kt条边条边,而而V2中每个顶中每个顶点至多关联点至多关联t条边条边,这这kt条边至少关联条边至少关联V2中中k个顶点个顶点.G满足相异满足相异性条件性条件第第2个图不满足个图不满足t条件条件,但有完备匹配但有完备匹配.例例前两个满足相异性条件前两个满足相异性条件,第第3个不满足个不满足.27一个应用实例一个应用实例例例7 某课题组要从某课题组要从a,b,c,d,e 5人中派人中派3人分别到上海、广州、
22、人分别到上海、广州、香港去开会香港去开会.已知已知a只想去上海,只想去上海,b只想去广州,只想去广州,c,d,e都表示都表示想去广州或香港想去广州或香港.问该课题组在满足个人要求的条件下,共问该课题组在满足个人要求的条件下,共有几种派遣方案?有几种派遣方案?解解 令令G=,其中,其中V1=s,g,x,s,g,x分别表示上海、分别表示上海、广州和香港广州和香港.V2=a,b,c,d,e,E=(u,v)|u V1,v V2,v想去想去u.每个每个V1到到V2的完备匹配给的完备匹配给出一个派遣方案出一个派遣方案,共有共有9种种.如如a到上海到上海,b到广州到广州,c到香到香港港.28(2)是是(1)
23、的平面嵌入,的平面嵌入,(4)是是(3)的平面嵌入的平面嵌入.11.4 平面图平面图定义定义11.6 如果能将无向图如果能将无向图G画在平面上使得除顶点处外无边相画在平面上使得除顶点处外无边相交交,则称则称G是是可平面图可平面图,简称简称平面图平面图.画出的无边相交的图称为画出的无边相交的图称为G的的平面嵌入平面嵌入.无平面嵌入的图称为无平面嵌入的图称为非平面图非平面图例例 (1)(2)(3)(4).29平面图的性质平面图的性质l K5,K3,3都是非平面图(都是非平面图(定理定理11.13)l 平行边与环不影响平面性平行边与环不影响平面性.定理定理11.8 平面图的子图都是平面图平面图的子图
24、都是平面图,非平面图的母图都是非非平面图的母图都是非平面图平面图例如例如,所有度数不超过所有度数不超过4的简单图都是平面图的简单图都是平面图.当当|V1|=1和和2时二部图时二部图G=是平面图是平面图.Kn(n 5)和和Ks,t(s,t 3)都是非平面图都是非平面图.30平面图的面与次数平面图的面与次数定义定义11.7 给定平面图给定平面图G的平面嵌入的平面嵌入,G的边将平面划分成若干的边将平面划分成若干个区域个区域,每个区域都称为每个区域都称为G的一个的一个面面,其中有一个面的面积无其中有一个面的面积无限限,称为称为无限面无限面或或外部面外部面,其余面的面积有限其余面的面积有限,称为称为有限
25、面有限面或或内部面内部面.包围每个面的所有边组成的回路组称为该面的包围每个面的所有边组成的回路组称为该面的边界边界,边界的长度称为该面的边界的长度称为该面的次数次数面面R的次数记为的次数记为deg(R)deg(R1)=1,deg(R2)=3,deg(R3)=2,deg(R0)=8.例例.31次数的性质次数的性质定理定理17.4 平面图平面图各面次数之和等于边数的两倍各面次数之和等于边数的两倍.证证 对每一条边对每一条边e,若若e在两个面的公共边界上在两个面的公共边界上,则在计算这两则在计算这两个面的次数时个面的次数时,e各提供各提供1.而当而当e只在某一个面的边界上出现只在某一个面的边界上出现
展开阅读全文