图论第四章 平面图及着色.ppt
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_1.gif)
![资源得分’ title=](/images/score_05.gif)
《图论第四章 平面图及着色.ppt》由会员分享,可在线阅读,更多相关《图论第四章 平面图及着色.ppt(57页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第四章第四章 平面图平面图第一节 平面图定义1 如果图G能示画在曲面S(如球面,环面)上且使得它的边仅在端点处相交,则称G可嵌入曲面S。如果G可嵌入平面上,则称G是是可平面可平面图图,已经嵌入平面上的图,称为G的平面表示的平面表示。可平面图G与G的平面表示 同构,都简称为平面图平面图。(球极投影)定理定理1 1 图图G G可嵌入球面可嵌入球面图图G G可嵌入平面。可嵌入平面。例例1 Q1 Q3 3是否可平面性?是否可平面性?定义定义2(2(平面图的面平面图的面,边界和度数边界和度数).).设设G G是一个平面图,由是一个平面图,由G G中的边所包围的区域,中的边所包围的区域,在区域内既不包含在
2、区域内既不包含G G的结点,也不包含的结点,也不包含G G的边,的边,这样的区域称为这样的区域称为G G的一个面。有界区域称为有界区域称为内部面,无界区域称为,无界区域称为外部面。包围面的长度最包围面的长度最短的闭链称为短的闭链称为该面的边界。面的边界的长度称。面的边界的长度称为为该面的度数。例例2 2 指出下图所示平面图的面、面的边界及指出下图所示平面图的面、面的边界及面的度数。面的度数。e61234567e1e2e3e4e5e7e8e10e9f1f4f3f2f5解解:面面f f1 1,其边界其边界1e1e1 15e5e2 24e4e4 43e3e7 72e2e10101,d(f1,d(f1
3、 1)=5.)=5.面面f f2 2,其边界其边界1e1e10102e2e8 87e7e9 91,d(f1,d(f2 2)=3.)=3.面面f f3 3,其边界其边界2e2e7 73e3e6 67e7e8 82,d(f2,d(f3 3)=3.)=3.面面f f4 4,其边界其边界3e3e4 44e4e5 57e7e6 63,d(f3,d(f4 4)=3.)=3.外部面外部面f f5 5,其边界其边界1e1e1 15e5e2 24e4e3 36e6e3 34 e4 e5 57e7e9 91,d(f1,d(f5 5)=6.)=6.定理定理2 2 对任何平面图对任何平面图G G,面的度数之和是是边数
4、的二倍。证明证明:对内部面而言对内部面而言,因为其任何一条非因为其任何一条非割割边同时在两个边同时在两个面中面中,故每增加一条边图的度数必增加故每增加一条边图的度数必增加2.2.对外部面的边对外部面的边界界,若某条边不同时在两个面中若某条边不同时在两个面中,边必为割边边必为割边,由于边界由于边界是闭链是闭链,则该边也为图的度数贡献则该边也为图的度数贡献2.2.从而结论成立从而结论成立.定理定理3 3 设设G G是带是带v v个顶点,个顶点,e e条边,条边,r r个面的连通的平面个面的连通的平面图,则图,则 v-e+rv-e+r=2=2。(欧拉公式)。(欧拉公式)证明证明:(1):(1)当当n
5、=e=1n=e=1时时,如下图如下图,结论显然成立结论显然成立.v=2,e=1,r=1v=1,e=1,r=2(2)下用下用数学归纳法证明证明.假设公式对假设公式对n条边的图成立条边的图成立.设设G有有n+1条边条边.若若G不含圈,任取一点任取一点x,从结点从结点x开始沿路行走开始沿路行走.因因G不含圈不含圈,所以每次沿一边总能达到一个新结点所以每次沿一边总能达到一个新结点,最后会最后会达到一个度数为达到一个度数为1的结点的结点,不妨设为不妨设为a,在结点在结点a不能再继不能再继续前进续前进.删除结点删除结点a及其关联的边得图及其关联的边得图G,G含有含有n条边条边.由假设公式对由假设公式对G成
6、立成立,而而G比比G多一个结点和一条边多一个结点和一条边,且且G与与G面数相同面数相同,故公式也适合于故公式也适合于G.若若G含有圈C,设设y是圈是圈C上的一边上的一边,则边则边y一定是两个一定是两个不同面的边界的一部分不同面的边界的一部分.删除边删除边y得图得图G,则则G有有n条边条边.由假设公式对由假设公式对G成立而成立而G比比G多一边和和多一面,G与与G得顶点数相同得顶点数相同.故公式也成立故公式也成立.推论推论1 1 设设G G是带是带v v个顶点,个顶点,e e条边的连通的平面简条边的连通的平面简单图,其中单图,其中v v 3 3,则,则e e 3 3v-6v-6。证明证明:由于由于
7、G G是简单图是简单图,则则G G中无环和无平行边中无环和无平行边.因此因此G G的的任何面的度数至少为任何面的度数至少为3.3.故故2e=2e=d(f)d(f)3r (1)3r (1)其中其中r r为为G G的面数的面数.由欧拉公式由欧拉公式v-e+r=2v-e+r=2所以所以r=2-v+e,r=2-v+e,代入代入(1)(1)中有中有:2e2e 3(3(2-v+e2-v+e)即即e e 3 3v-6v-6。推论推论2 2 设设G G是带是带v v个顶点,个顶点,e e条边的连通的平面简单图,其条边的连通的平面简单图,其中中v v 3 3且且没有长度为没有长度为3 3的圈,则的圈,则e e
8、2 2v-4v-4。证明证明:因为图因为图G G中没有长度为中没有长度为3 3的圈的圈,从而从而G G的的每个面的度数至少为至少为4.4.因此有因此有2e=2e=d(f)d(f)4r (1)4r (1)其中其中r r为为G G的面数的面数.由欧拉公式由欧拉公式v-e+r=2v-e+r=2所以所以r=2-v+e,r=2-v+e,代入代入(1)(1)中有中有:2e2e 4(4(2-v+e2-v+e)即即e e 2 2v-4v-4。例例3 K3 K5 5和和K K3.33.3都是非平面图。都是非平面图。解解:图图K K5 5有有5 5个顶点个顶点1010条边条边,而而3*5-6=9,3*5-6=9,
9、即即109,109,由由推论推论1 1知知,K,K5 5是非平面图是非平面图.显然显然K K3,33,3没有长度为没有长度为3 3的圈的圈,且有且有6 6个顶点个顶点9 9条边条边,因而因而92*6-4,92*6-4,由推论由推论2 2知知K K3,33,3是非平面图是非平面图.推论推论3 3 设设G G是带是带v v个顶点,个顶点,e e条边,条边,r r个面的平面图,个面的平面图,则则 v-e+r=1+wv-e+r=1+w。其中其中w w为为G G的连通分支数。的连通分支数。证明证明:由欧拉公式有由欧拉公式有:v:vi i-e ei i+r ri i=2(i=1,2,w)=2(i=1,2,
10、w)从而有从而有 v vi i-e ei i+r ri i =2w=2w又又 v vi i=v,=v,e ei i=e,=e,r ri i =r+(w-1)(=r+(w-1)(外部面被重外部面被重复计算了复计算了w-1w-1次次.).).所以有所以有:V-e+r+(w-1)=2wV-e+r+(w-1)=2w整理即得整理即得:v-e+r=1+w.:v-e+r=1+w.推论推论4 4 设设G G是任意平面简单图,则是任意平面简单图,则(G)(G)5 5。证明证明:设设G G有有v v个顶点个顶点e e条边条边.若若e e 6,6,结论显然成立结论显然成立;若若e6,e6,假设假设G G的的每个顶点
11、的度数每个顶点的度数 6,6,则由推论则由推论1,1,有有6v 6v 2e 2e 2(3v-6)2(3v-6)矛盾矛盾,所以所以(G)(G)5.5.例例4 4 平面上有平面上有n n个顶点,其中任两个点之间的距离个顶点,其中任两个点之间的距离至少为至少为1 1,证明:在这,证明:在这n n个点中距离恰好为个点中距离恰好为1 1的的的的点对数至多是点对数至多是3n-63n-6。证明证明:首先建立图首先建立图G=,G=,其中其中V V就取平面上给定的就取平面上给定的n n个个点点(位置相同),),当两个顶点之间的距离为当两个顶点之间的距离为1 1时时,两顶点两顶点之间用一条直线段连接之间用一条直线
12、段连接,显然图显然图G G是一个是一个n n阶简单图阶简单图.由由推论推论1,只要证明只要证明G为一平面图时为一平面图时,即知结论成立即知结论成立.反设反设 G中存在两条不同的边中存在两条不同的边a,b和和x,y相交于相交于非端点处处o,如下图如下图(a)所示所示,其夹角为其夹角为(0 ).若若 =,这时如下图这时如下图(b),显然存在两点距离小于显然存在两点距离小于1,与已知矛盾矛盾,从而从而0 .由于由于a到到b的距离为的距离为1,x到到y的距离的距离为为1,因此因此a,b,x,y中至少有两个点中至少有两个点,从交点从交点o到这两点的距到这两点的距离不超过离不超过1/2,不妨设为不妨设为a
13、,x,则点则点a与与x之间的距离小于之间的距离小于1,与已知矛盾,所以所以G中的边除端点外不再有其它交点中的边除端点外不再有其它交点,即即G为平面图为平面图.再据推论再据推论1知知,结论成立结论成立.ayxbo(a)axby(b)第第2 2节节 库拉图斯基定理与极大平面库拉图斯基定理与极大平面定义定义1 1 设G是一个平面图,通过删除G的一条边x、y,并增加一个新结点a和两条边x、a与a、y(所获得的任何图也是平面图),这样的操作称为初等细分初等细分。若可以从相同的图G通过一系列初等细分来获得图G1和G2,称称G G1 1和和G G2 2是同胚的是同胚的.如下图G1,G2,G3是同胚的.G1G
14、2G3定理定理1 1 一个图一个图G G是非平面的,是非平面的,当且仅当当且仅当它包含一个同它包含一个同胚于胚于K K3.33.3或或K K5 5的子图。(证略)的子图。(证略)例例1 1 说明彼得森图不是平面图。说明彼得森图不是平面图。解解:删去下图删去下图(a)(a)皮得森图的结点皮得森图的结点b,b,得其子图得其子图(b)H.(b)H.而而H H胚于胚于K K3.33.3,所以皮得森不是平面图所以皮得森不是平面图.fdjeihabcdefghij(a)faedighjc(b)H(c)K3,3说明说明:库拉图斯基给出了平面图的充要条件库拉图斯基给出了平面图的充要条件,但用它并不能但用它并不
15、能判别一个图是否是平面图的有效算法判别一个图是否是平面图的有效算法.定义定义2 2 设设G G是阶大于等于是阶大于等于3 3的简单可平面图,若在任意两的简单可平面图,若在任意两个不相邻的结点个不相邻的结点v vi i,v,vj j之间加入边之间加入边 v vi i,v,vj j,就会破坏图的就会破坏图的平面性,则称平面性,则称G G是是极大平面图。极大平面图的平面表示称。极大平面图的平面表示称为为三角剖分平面图.定理定理2.2.极大平面图的判别定理极大平面图的判别定理:v:v阶简单平面图阶简单平面图G G是极大平是极大平面图的面图的充要条件是是:(1 1)G G中每个面的度数都是中每个面的度数
16、都是3 3(2 2)G G中有中有e e条边条边r r个面,则个面,则3r=2e3r=2e(3 3)设)设G G带有带有v v个顶点,个顶点,e e条边,条边,r r个面则个面则 e=3v-6,r=2v-4.e=3v-6,r=2v-4.证明证明:必要性必要性:因因G G是简单图是简单图,故故G G中没有环和平行边中没有环和平行边,故不故不存在度数为存在度数为1 1或或2 2的面的面.假设假设G G存在度数大于存在度数大于3 3的面的面f,f,不妨不妨设设f为内部面为内部面,如下图如下图G,G,显然显然v v1 1与与v v3 3不相邻不相邻,在面在面f f内加入内加入面面vv1 1,v,v3
17、3,图图G G的平面性显然没有改变的平面性显然没有改变,这与图这与图G G是极大平是极大平面图矛盾面图矛盾.因此图因此图G G的每个面的度数为的每个面的度数为3,3,所以有所以有3r=2e3r=2e且且e=3v-6,r=2v-4(e=3v-6,r=2v-4(欧拉公式欧拉公式)充分性显然充分性显然.v2v1v5v3v4G定理定理2 2 设设G G是简单平面图,则是简单平面图,则G G有平面表示有平面表示 ,使使 中每条边都是直线。中每条边都是直线。证明证明:只要对极大平面图只要对极大平面图G来证明定理即可来证明定理即可(简单平面图是极大平面图的子图).当当v=3时时,G是三角形是三角形,定理显然
18、成立定理显然成立.假设定理对所有阶数小于v的极大平面图成立,并设G是三角剖分图三角剖分图.选取选取x V(G)使使x不是外部剖面边界上的点不是外部剖面边界上的点.取取边边x,y.则边则边x,y仅是某两个内部三角形的公共边仅是某两个内部三角形的公共边.不妨不妨设这两个三角形分别为设这两个三角形分别为z1xy和和z2xy.如图如图(b)所示所示.收缩边收缩边x,y,且结点且结点x和和y收缩为收缩为P,得图得图G(图图c).显然显然G是平面图是平面图,且有且有 E(G)=E(G)-3=3(V(G)-1)-6=3 V(G)-9=3 V(G)-6,即即G是是v-1阶极大平面图阶极大平面图,由归纳假设由归
19、纳假设,G有平面表示 ,使 的每条边都是直线.考虑 中边Pz1和Pz2,将它分裂成两个三角形(图(b)和图(c).这样得到的图 就是G的平面表示,而且每条边都是直线段.定理得证.z1z2z3xy(a)z1z2z3xy(b)z3z1z2p(c)凸多面体凸多面体 平面图的理论与多面体的研究密切相关平面图的理论与多面体的研究密切相关:事实上事实上,由由于每个凸多面体于每个凸多面体P可以与一个连通可平面图可以与一个连通可平面图G对应对应,G的顶点和边是P的顶点和棱,那么那么G的每个顶点的度至的每个顶点的度至少为少为3.由于由于G是一个平面图是一个平面图,则则P的面就是的面就是G的面的面,并且并且G的每
20、一条边落在两个不同面的边界上的每一条边落在两个不同面的边界上.一个多面体一个多面体P的的顶点,棱和面的数目分别用的数目分别用V,E和F来来表示表示,而且而且,这些分别是连通图这些分别是连通图G的顶点的顶点,边和面的数目边和面的数目.故欧拉公式可写成故欧拉公式可写成V-E+F=2,这就是著名的这就是著名的Euler凸多面凸多面体公式体公式.为方便起见为方便起见,用用Vn和和Fn分别表示凸多面体分别表示凸多面体P的的n度度点和点和n度面的数目度面的数目,则则n 3且且 多面体的一些性质定理多面体的一些性质定理定理定理3 3 每个凸多面体都至少有一个每个凸多面体都至少有一个n n度面度面,其中其中3
21、 3 n n 5.5.证明证明:设设F F3 3=F=F4 4=F=F5 5=0,=0,则则即有即有F F 1/3E,1/3E,又又即即V V 2/3E,2/3E,所以所以E=V+F-2 E=V+F-2 1/3E+2/3E-2=E-2.1/3E+2/3E-2=E-2.矛盾矛盾.所以结论成立所以结论成立.正多面体正多面体 每个面且每个多面角都相等的凸多面体。每个面且每个多面角都相等的凸多面体。定理定理4 4 只有五个正多面体只有五个正多面体:四面体、立方体、十二面体、四面体、立方体、十二面体、八面体、二十面体八面体、二十面体.证明证明:设设P P是正多面体且是正多面体且G G是对应的平面图是对应
22、的平面图,对任何对任何凸多面体均有凸多面体均有:因为因为P P是正多面体是正多面体,所以存在两个正整数所以存在两个正整数h(h(3)3)和和k(k(3)3)使使F=F=F Fh h且且V=V=V Vk k,因此因此,有有-8=(h-4)F-8=(h-4)Fh h+(k-4)V+(k-4)Vk k,且且hFhFh h=2E=2E=kVkVk k,因因3 3 h h 5.5.(1)(1)当当h=3h=3时时,有有12=(6-k)V12=(6-k)Vk k,由由3 3 k k 5.5.当当k=3k=3时时,V,V3 3=4,F=4,F3 3=4,=4,此时此时P P是四面体是四面体.当当k=4k=4
23、时时,V,V4 4=6,F=6,F3 3=8,=8,此时此时P P是八面体是八面体当当k=5k=5时时,V,V5 5=12,F=12,F3 3=20,=20,此时此时P P是十二面体是十二面体(2)(2)当当h=4h=4时时,有有8=(4-k)V8=(4-k)Vk k,所以所以k=3,Vk=3,V3 3=8,F=8,F4 4=6,=6,即即P P是立方体是立方体.(3)(3)当当h=5h=5时时,有有20=(10-3k)V20=(10-3k)Vk k,所以所以k=3,Vk=3,V3 3=20,=20,F F5 5=12,=12,即即P P是十二面体是十二面体.例例2 2 对哪些对哪些n,n,存
24、在存在n n条棱的凸多面体?条棱的凸多面体?解:以多面体的顶点为图的顶点,以多面体的棱为图的边,得到一个平面图G,若p(G),q(G),f(G)分别表示G的顶点数,边数和面数,则p(G)4,f(G)4,且且每个面的每个面的度数是度数是3,由Euler公式易得q(G)6,即没有棱小于6的凸多面体.四面体是棱数为6的凸多面体.若有7条棱的凸多面体,则存在满足上述条件,q(G)=7的平面图,由Euler公式p(G)+f(G)=q(G)+2=9,但G的每个面的度数至少是3,故q(G)=G(m)3f(G)(m为G的面),即f(G)(2/3)*q(G)=14/3又f(G)为整数,所以f(G)4,同理p(G
25、)4,所以p(G)+f(G)8,矛盾.所以7条棱的凸多面体不存在.现对现对k 4,以以k边形为底的棱锥即有边形为底的棱锥即有2k条棱的凸条棱的凸多面体进行讨论多面体进行讨论.若把底为若把底为k-1边形的棱锥中边形的棱锥中,底底角角处的一个三角面处的一个三角面“锯掉一个尖儿锯掉一个尖儿”,得到的是一得到的是一个有个有2k+1条棱的凸多面体条棱的凸多面体,总之总之,当当n 6,n 7时时,才有才有n条条棱的凸多面体棱的凸多面体.第三节第三节 图的平面性检测图的平面性检测定义定义1 图图G的的H片片:设设H是是G的子图,在的子图,在E(G)-E(H)上定义二元关系上定义二元关系R如下:如下:xRy在
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 图论第四章 平面图及着色 第四 平面图 着色
![提示](https://www.taowenge.com/images/bang_tan.gif)
限制150内