第十一章-几种特殊的图-离散数学及其应用课件.ppt
《第十一章-几种特殊的图-离散数学及其应用课件.ppt》由会员分享,可在线阅读,更多相关《第十一章-几种特殊的图-离散数学及其应用课件.ppt(60页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、1第十一章第十一章 几种特殊的图几种特殊的图主要内容主要内容l二部图与匹配二部图与匹配l着色着色211.1 欧拉图欧拉图历史背景:哥尼斯堡七桥问题历史背景:哥尼斯堡七桥问题3欧拉图定义欧拉图定义定义定义11.1 图图(无向无向图图或有向或有向图图)中所有中所有边边恰好通恰好通过过一次且一次且经过经过所有所有顶顶点的通路称点的通路称为为欧拉通路欧拉通路.图图中所有中所有边边恰好通恰好通过过一次且一次且经过经过所有所有顶顶点的回路称点的回路称为为欧拉回路欧拉回路具有欧拉回路的具有欧拉回路的图图称称为为欧拉欧拉图图.具有欧拉通路而无欧拉回路的具有欧拉通路而无欧拉回路的图图称称为为半欧拉半欧拉图图说明
2、:说明:规定平凡图为欧拉图规定平凡图为欧拉图.环不影响图的欧拉性环不影响图的欧拉性.4欧拉图实例欧拉图实例欧拉图欧拉图不是不是半欧拉图半欧拉图欧拉图欧拉图不是不是半欧拉图半欧拉图6Fleury算法算法算法:算法:(1)任取任取v0 V(G),令令P0=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
3、 e1,e2,ei 中的桥中的桥.设设ei+1=(vi,vi+1),把把ei+1vi+1加入加入Pi.(3)令令i=i+1,返回返回(2).7实例实例一笔画出一条欧拉回路一笔画出一条欧拉回路8实例实例一笔画出一条欧拉回路一笔画出一条欧拉回路10哈密顿图与半哈密顿图哈密顿图与半哈密顿图定义定义11.2 经过图中所有顶点一次且仅一次的通路称作经过图中所有顶点一次且仅一次的通路称作哈密顿哈密顿通路通路.经过图中所有顶点一次且仅一次的回路称作经过图中所有顶点一次且仅一次的回路称作哈密顿回哈密顿回路路.具有哈密顿回路的图称作具有哈密顿回路的图称作哈密顿图哈密顿图.具有哈密顿通路且无具有哈密顿通路且无哈密
4、顿回路的图称作哈密顿回路的图称作半哈密顿图半哈密顿图.规定规定:平凡图是哈密顿图平凡图是哈密顿图.哈密顿图哈密顿图半哈密顿图半哈密顿图哈密顿图哈密顿图例例不是不是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
5、V1)|V1|+1证证 设设 为从为从u到到v的哈密顿通路,令的哈密顿通路,令G =G(u,v),则,则G 为哈密顿图为哈密顿图.于是于是 p(G V1)=p(G V1(u,v)p(G V1)+1|V1|+113例题例题例例3 设设G为为n阶无向连通简单图,若阶无向连通简单图,若G中有割点或桥,则中有割点或桥,则G不不是哈密顿图是哈密顿图.证证 设设v为割点,则为割点,则 p(G v)2|v|=1.K2有桥,它显然不是哈密顿图有桥,它显然不是哈密顿图.除除K2外,其他有桥的连外,其他有桥的连通图均有割点通图均有割点.15判断是否为哈密顿图判断是否为哈密顿图 判断是否为判断是否为(半半)哈密顿图
6、至今还是一个难题哈密顿图至今还是一个难题.(1)观察出一条哈密顿回路或哈密顿通路观察出一条哈密顿回路或哈密顿通路.(2)证明满足充分条件证明满足充分条件.(3)证明不满足必要条件证明不满足必要条件.例例4 证明右图证明右图(周游世界问题周游世界问题)是哈密顿图是哈密顿图证证 a b c d e f g h i j k l m n o p q r s t a是一条哈密顿回路是一条哈密顿回路.注意,此图不满足定理注意,此图不满足定理11.3推论的条件推论的条件.例例5 完全图完全图Kn(n 3)是哈密顿图是哈密顿图.证证 任何两个顶点任何两个顶点u,v,d(u)+d(v)=2(n 1)n16货郎问
7、题货郎问题货货郎郎问题问题:有有n个城市个城市,给给定城市之定城市之间间道路的道路的长长度度(长长度可以度可以为为,对应这对应这两个城市之两个城市之间间无交通无交通线线).货货郎从某个城市出郎从某个城市出发发,要要经过经过每个城市一次且每个城市一次且仅仅一次一次,最后回到出最后回到出发发的城市的城市,问问如何走如何走才能使他走的路才能使他走的路线线最短最短?图论图论方法描述如下方法描述如下:设设G=为一个为一个n阶完全带权图阶完全带权图Kn,各边的权非负各边的权非负,且可能为且可能为.求求G中的一条最短的哈密顿回路中的一条最短的哈密顿回路.不计出发点和方向不计出发点和方向,Kn(n 3)中有中
8、有(n 1)!/2 条不同的哈密顿回条不同的哈密顿回路路1811.3 二部图与匹配二部图与匹配定义定义11.3 设设 G=为一个无向图为一个无向图,若能将若能将 V分成分成 V1和和V2(V1 V2=V,V1 V2=),使得使得 G 中的每条边的两个端点都是一中的每条边的两个端点都是一个属于个属于V1,另一个属于另一个属于V2,则称则称 G 为为二部图二部图(或称或称二分图二分图,偶偶图图),称称V1和和V2为为互补顶点子集互补顶点子集,常将二部图常将二部图G记为记为.又若又若G是简单二部图是简单二部图,V1中每个顶点均与中每个顶点均与V2中所有的顶点相邻,中所有的顶点相邻,则称则称G为为完全
9、二部图完全二部图,记为记为 Kr,s,其中其中r=|V1|,s=|V2|.19实例实例例例K2,3K3,320二部图的判别法二部图的判别法定理定理11.4 无向无向图图G=是二部是二部图图当且当且仅仅当当G中无奇圈中无奇圈.证证 必要性必要性.若若G中无圈中无圈,结论结论成立成立.若若G中有圈中有圈,设设G中的一个中的一个圈圈C=v1v2vlv1,l2.不妨不妨设设v1 V1,v1,v2,vl 依次交替属于依次交替属于V1,V2且且vl V2,因而因而l为为偶数偶数.得得证证C为为偶圈偶圈充分性充分性.不妨不妨设设G为连为连通通图图,否否则则可可对对每个每个连连通分支通分支进进行行讨论讨论,孤
10、立点可根据需要分属孤立点可根据需要分属V1和和V2.设设v0为为G中任意一个中任意一个顶顶点点,令令 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构成一条构成一条长长度度为为奇数的回路奇数的回路.这这条
11、回路可条回路可能是一条复能是一条复杂杂回路回路,可以分解成若干由可以分解成若干由 i,j共有的共有的边边构成的构成的回路回路(实际实际上是每条上是每条边边重复一次的路径重复一次的路径)和由和由 i,j不共有的不共有的边边及及e构成的圈构成的圈.由由 i,j共有的共有的边边构成的回路的构成的回路的长长度度为为偶数偶数,故在故在由由 i,j不共有的不共有的边边(可以可以还还包括包括e)构成的圈中一定有奇圈构成的圈中一定有奇圈,这这与已知条件矛盾与已知条件矛盾.得得证证V1中任意两中任意两顶顶点不相点不相邻邻.由由对对称性称性,V2中也不存在相中也不存在相邻邻的的顶顶点点,得得证证G为为二部二部图图
12、22最大匹配最大匹配定定义义11.4 设设G=为为二部二部图图,M E,如果如果M中的任意中的任意两两条条边边都不相都不相邻邻,则则称称M是是G的一个的一个匹配匹配.G中中边边数最多的匹配数最多的匹配称作称作最大匹配最大匹配.又又设设|V1|V2|,如果如果M是是G的一个匹配且的一个匹配且|M|=|V1|,则则称称M是是V1到到V2的的完完备备匹配匹配.当当|V2|=|V1|时时,完完备备匹匹配又称作配又称作完美匹配完美匹配例例完备匹配完备匹配完美匹配完美匹配最大匹配最大匹配24可增广的交错路径可增广的交错路径例例左图左图,饱和点饱和点:u1,u3,u4,v1,v2,v3;非饱和点非饱和点:u
13、2,v4;可增广的交错路径可增广的交错路径 :u2v3u4v2u1v4.由由 得到多一条边的匹配得到多一条边的匹配.设设M为为G的一个匹配的一个匹配,是关于是关于M的可增广的交的可增广的交错错路径路径,则则 M =M E()=(M E()(M E()是比是比M多一条多一条边边的匹配的匹配.定理定理11.5 M为为G的最大匹配的最大匹配G中不含中不含M的可增广的交错路径的可增广的交错路径.u1u1u2u2u3u3u4u4v1v2v3v4v1v2v3v425Hall定理定理定理定理11.6(Hall定理定理)设二部图设二部图G=,其中其中|V1|V2|,则则 G中存在从中存在从V1到到V2的完备匹
14、配当且仅当的完备匹配当且仅当V1中任意中任意k(1 k|V1|)个顶点至少与个顶点至少与V2中的中的k个顶点相邻个顶点相邻.(相异性条件相异性条件)证证 必要性必要性显显然然.证证充分性充分性.设设M为为G的最大匹配的最大匹配,若若M不是完不是完备备的的,则则存在非存在非饱饱和点和点vx V1.于是于是,存在存在e E1=E M与与vx关关联联,且且V2中与中与vx相相邻邻的的顶顶点都是点都是饱饱和点和点.考考虑虑从从vx出出发发的尽可能的尽可能长长的的所有交所有交错错路径路径,这这些交些交错错路径都不是可增广的路径都不是可增广的,因此每条路径因此每条路径的另一个端点一定是的另一个端点一定是饱
15、饱和点和点,从而全在从而全在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条条边边,而而V2中
16、每个中每个顶顶点至多关点至多关联联 t 条条边边,则则G 中存中存在在V1到到V2的完的完备备匹配匹配.(t条件条件)证证 V1中任意中任意k(1 k|V1|)个个顶顶点至少关点至少关联联kt条条边边,而而V2中每个中每个顶顶点至多关点至多关联联t条条边边,这这kt条条边边至少关至少关联联V2中中k个个顶顶点点.G满满足相异足相异性条件性条件第第2个个图图不不满满足足t条件条件,但有完但有完备备匹配匹配.例例前两个满足相异性条件前两个满足相异性条件,第第3个不满足个不满足28(2)是是(1)的平面嵌入,的平面嵌入,(4)是是(3)的平面嵌入的平面嵌入.11.4 平面图平面图定定义义11.6 如
17、果能将无向如果能将无向图图G画在平面上使得除画在平面上使得除顶顶点点处处外无外无边边相相交交,则则称称G是是可平面可平面图图,简简称称平面平面图图.画出的无画出的无边边相交的相交的图图称称为为G的的平面嵌入平面嵌入.无平面嵌入的无平面嵌入的图图称称为为非平面非平面图图例例 (1)(2)(3)(4)29平面图的性质平面图的性质lK5,K3,3都是非平面图(都是非平面图(定理定理11.13)l平行平行边边与与环环不影响平面性不影响平面性.定理定理11.8 平面平面图图的子的子图图都是平面都是平面图图,非平面非平面图图的母的母图图都是非都是非平面平面图图例如例如,所有度数不超所有度数不超过过4的的简
18、单图简单图都是平面都是平面图图.当当|V1|=1和和2时时二部二部图图G=是平面是平面图图.Kn(n 5)和和Ks,t(s,t 3)都是非平面都是非平面图图.31次数的性质次数的性质定理定理17.4 平面图平面图各面次数之和等于各面次数之和等于边边数的两倍数的两倍.证证 对对每一条每一条边边e,若若e在两个面的公共在两个面的公共边边界上界上,则则在在计计算算这这两两个面的次数个面的次数时时,e各提供各提供1.而当而当e只在某一个面的只在某一个面的边边界上出界上出现现时时,它必在它必在该该面的面的边边界上出界上出现现两次两次,从而在从而在计计算算该该面的次数面的次数时时,e提供提供232极大平面
19、图极大平面图定义定义11.8 G为简单平面图为简单平面图,若在若在G的任意两个不相邻的顶点的任意两个不相邻的顶点之间加一条边所得图为非平面图之间加一条边所得图为非平面图,则称则称G为为极大平面图极大平面图.例如例如,K5,K33删去一条边后是极大平面图删去一条边后是极大平面图 K1,K2,K3,K4都是极大平面图都是极大平面图.定理定理11.10 设设G为为n(n 3)阶简单连通的平面图阶简单连通的平面图,G为极大平面为极大平面图当且仅当图当且仅当G的每个面的次数均为的每个面的次数均为3.证证 现现只只证证必要性必要性.各面次数都大于或等于各面次数都大于或等于3.假如假如deg(Ri)=s 4
20、,若若v1与与v3不相不相邻邻,则则在在Ri内加内加边边(v1,v3)不不破坏平面性破坏平面性,与与G是极大平面是极大平面图图矛盾矛盾,因因而而v1与与v3必相必相邻邻,且且边边(v1,v3)必在必在Ri外部外部.同同样样地地,v2与与v4也相也相邻邻且且边边(v2,v4)在在Ri的的外部外部.于是于是,(v1,v3)与与(v2,v4)相交于相交于Ri的外的外部部,与与G是平面是平面图图矛盾矛盾.33例例 是否是极大平面图是否是极大平面图?定理的应用定理的应用只有只有(3)为极大平面图为极大平面图 (1)(2)(3)34极小非平面图极小非平面图定义定义11.9 若在非平面图若在非平面图G中任意
21、删除一条边中任意删除一条边,所得图为平面图所得图为平面图,则称则称G为为极小非平面图极小非平面图.l K5,K3,3都是极小非平面图都是极小非平面图l 极小非平面图必为简单图极小非平面图必为简单图35 欧拉公式欧拉公式定理定理11.11 设设G为为n阶阶m条条边边r个面的个面的连连通平面通平面图图,则则n m+r=2证证 对对m做做归纳证归纳证明明.m=0时时,G为为平凡平凡图图,n=1,m=0,r=1,成立成立.设设m=k(k 0)时结论时结论成立成立.当当m=k+1时时,分两者情况分两者情况讨论讨论:(1)G中有一个中有一个1度度顶顶点点v,令令G =G v,仍是仍是连连通的通的,n =n
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第十一 特殊 离散数学 及其 应用 课件
限制150内