《平面图及图的着色》PPT课件.ppt
《《平面图及图的着色》PPT课件.ppt》由会员分享,可在线阅读,更多相关《《平面图及图的着色》PPT课件.ppt(73页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、第第第第17171717章章章章 平面图及图的着色平面图及图的着色平面图及图的着色平面图及图的着色离离 散散 数数 学学本章说明本章说明本章说明本章说明q本章的主要内容本章的主要内容平面图的基本概念平面图的基本概念欧拉公式欧拉公式平面图的判断平面图的判断平面图的对偶图平面图的对偶图顶点着色及点色数顶点着色及点色数地图的着色与平面图的点着色地图的着色与平面图的点着色边着色及边色数边着色及边色数 本章所涉及到的图均指无向图。本章所涉及到的图均指无向图。q17.1 17.1 平面图的基本概念平面图的基本概念q17.2 17.2 欧拉公式欧拉公式q17.3 17.3 平面图的判断平面图的判断q17.4
2、 17.4 平面图的对偶图平面图的对偶图q17.5 17.5 图中顶点的着色图中顶点的着色q17.6 17.6 地图的着色与平面图的点着色地图的着色与平面图的点着色q17.7 17.7 边着色边着色q 本章小结本章小结q 习习 题题q 作作 业业17.1 17.1 17.1 17.1 平面图的基本概念平面图的基本概念平面图的基本概念平面图的基本概念一、关于平面图的一些基本概念一、关于平面图的一些基本概念1、平面图的定义平面图的定义qG可可嵌嵌入入曲曲面面S如如果果图图G能能以以这这样样的的方方式式画画在在曲曲面面S上上,即除顶点处外无边相交。即除顶点处外无边相交。qG是可平面图或平面图是可平面
3、图或平面图若若G可嵌入平面可嵌入平面。qG的平面嵌入的平面嵌入画出的无边相交的平面图。画出的无边相交的平面图。q非平面图非平面图无平面嵌入的图。无平面嵌入的图。(2)是(是(1)的平面嵌入,()的平面嵌入,(4)是()是(3)的平面嵌入。)的平面嵌入。2、几点说明及一些简单结论几点说明及一些简单结论q一一般般所所谈谈平平面面图图不不一一定定是是指指平平面面嵌嵌入入,但但讨讨论论某某些些性性质质时时,一定是指平面嵌入。一定是指平面嵌入。qK5和和K3,3都不是平面图。都不是平面图。q定理定理17.1 17.1 设设GG,若若G为平面图,则为平面图,则G 也是平面图。也是平面图。q定理定理17.2
4、 17.2 设设GG,若若G 为非平面图,则为非平面图,则G也是非平面图。也是非平面图。q推论推论Kn(n 5)和和K3,n(n 3)都是非平面图。都是非平面图。q定理定理17.3 17.3 若若G为平面图,则在为平面图,则在G中加平行边或环所得图还是中加平行边或环所得图还是平面图。平面图。即平行边和环不影响图的平面性。即平行边和环不影响图的平面性。二、平面图的面与次数(针对平面图的平面嵌入)二、平面图的面与次数(针对平面图的平面嵌入)1、定义定义设设G是平面图,是平面图,qG的面的面由由G的边将的边将G所在的平面划分成的每一个区域。所在的平面划分成的每一个区域。q无限面(外部面)无限面(外部
5、面)面积无限的面,记作面积无限的面,记作R0。q有限面(内部面)有限面(内部面)面积有限的面面积有限的面,记作,记作R1,R2,Rk。q面面Ri的边界的边界包围面包围面Ri的所有边组成的回路组。的所有边组成的回路组。q面面Ri的次数的次数Ri边界的长度,记作边界的长度,记作deg(Ri)。2、几点说明、几点说明q若若平平面面图图G有有k个个面面,可可笼笼统统地地用用R1,R2,Rk表表示示,不不需需要指出外部面。要指出外部面。q回回路路组组是是指指:边边界界可可能能是是初初级级回回路路(圈圈),可可能能是是简简单单回回路路,也也可可能能是是复复杂杂回回路路。特特别别地地,还还可可能能是是非非连
6、连通通的的回回路路之并。之并。平面图有平面图有4个面,个面,deg(R1)=1,deg(R2)=3,deg(R3)=2,deg(R0)=8。R1R2R3R0定理定理17.4 17.4 平面图平面图G G中所有面的次数之和等于边数中所有面的次数之和等于边数m m的两倍,即的两倍,即本定理中所说平面图是指平面嵌入本定理中所说平面图是指平面嵌入。eE(G)eE(G),当当e e为面为面RiRi和和Rj(ij)Rj(ij)的公共边界上的边时,在计算的公共边界上的边时,在计算RiRi和和RjRj的的次数时,次数时,e e各提供各提供1 1。当当e e只在某一个面的边界上出现时,则在计算该面的次数时,只在
7、某一个面的边界上出现时,则在计算该面的次数时,e e提供提供2 2。于是每条边在计算总次数时,都提供于是每条边在计算总次数时,都提供2 2,因而,因而deg(Ri)=2mdeg(Ri)=2m。证证明明三、极大平面图三、极大平面图1、定义定义若若在在简简单单平平面面图图G中中的的任任意意两两个个不不相相邻邻的的顶顶点点之之间间加加一一条条新边所得图为非平面图,则称新边所得图为非平面图,则称G为极大平面图。为极大平面图。注注意意:若若简简单单平平面面图图G中中已已无无不不相相邻邻顶顶点点,G显显然然是是极极大大平平面图,如面图,如K1(平凡图)平凡图),K2,K3,K4都是极大平面图。都是极大平面
8、图。2、极大平面图的主要性质、极大平面图的主要性质极大平面图是连通的。极大平面图是连通的。n(n 3)阶极大平面图中不可能有割点和桥。阶极大平面图中不可能有割点和桥。设设G为为n(n 3)阶阶简简单单连连通通的的平平面面图图,G为为极极大大平平面面图图当当且且仅仅当当G的每个面的次数均为的每个面的次数均为3。q本节只证明必要性,即本节只证明必要性,即设设G为为n(n 3)阶简单连通的平面图,阶简单连通的平面图,G为极大平面图,则为极大平面图,则G的每个面的次数均为的每个面的次数均为3。q由于由于n 3,又又G必为简单平面图,可知,必为简单平面图,可知,G每个面的次数均每个面的次数均 3。q因因
9、为为G为为平平面面图图,又又为为极极大大平平面面图图。可可证证G不不可可能能存存在在次次数数3的面。的面。证证明明思思路路假设存在面假设存在面Ri的次数的次数deg(Ri)=s4,如图所示。如图所示。在在G中,若中,若v1与与v3不相邻,在不相邻,在Ri内加边内加边(v1,v3)不破坏平面性,这不破坏平面性,这与与G是极大平面图矛盾,因而是极大平面图矛盾,因而v1与与v3必相邻,由于必相邻,由于Ri的存在,边的存在,边(v1,v3)必在必在Ri外。外。类似地,类似地,v2与与v4也必相邻,且边也必相邻,且边(v2,v4)也必在也必在Ri外部,于是必外部,于是必产生产生(v1,v3)与与(v2,
10、v4)相交于相交于Ri的外部,这又矛盾于的外部,这又矛盾于G是平面图,是平面图,所以必有所以必有s3,即即G中不存在次数大于或等于中不存在次数大于或等于4的面,所以的面,所以G的的每个面为每个面为3条边所围,也就是各面次数均为条边所围,也就是各面次数均为3。sS-1只有右边的图为极大平面图。只有右边的图为极大平面图。因为只有该图每个面的次数都为因为只有该图每个面的次数都为3。四、极小非平面图四、极小非平面图若若在在非非平平面面图图G中中任任意意删删除除一一条条边边,所所得得图图G 为为平平面面图图,则则称称G为极小非平面图。为极小非平面图。由定义不难看出:由定义不难看出:qK5,K3,3都是极
11、小非平面图。都是极小非平面图。q极小非平面图必为简单图。极小非平面图必为简单图。例如:例如:以下各图均为极小非平面图。以下各图均为极小非平面图。小节结束小节结束17.2 17.2 欧拉公式欧拉公式 一、欧拉公式相关定理一、欧拉公式相关定理1、欧拉公式欧拉公式定理定理17.8 17.8 对于任意的连通的平面图对于任意的连通的平面图G,有有n-m+r=2其中,其中,n、m、r分别为分别为G的顶点数、边数和面数。的顶点数、边数和面数。证明证明对边数对边数m作归纳法。作归纳法。(1)m0时,由于时,由于G为连通图,所以为连通图,所以G只能是由一个孤立顶只能是由一个孤立顶点组成的平凡图,即点组成的平凡图
12、,即n=1,m=0,r=1,结论显然成立。结论显然成立。(2)m1时,由于时,由于G为连通图,所以为连通图,所以n=2,m=1,r=1,结结论显然成立。论显然成立。(3)设设mk(k1)时成立,当时成立,当mk+1时,对时,对G进行如下讨论。进行如下讨论。q若若G是树,则是树,则G是非平凡的,因而是非平凡的,因而G中至少有两片树叶。中至少有两片树叶。设设v为树叶,令为树叶,令G=G-v,则则G仍然是连通图,且仍然是连通图,且G的边数的边数m=m-1=k,n=n-1,r=r。由假设可知由假设可知n-m+r=2,式中式中n,m,r分别为分别为G的顶点数,的顶点数,边数和面数。边数和面数。于是于是n
13、-m+r=(n+1)-(m+1)+r=n-m+r=2q若若G不是树,则不是树,则G中含圈。中含圈。设边设边e在在G中某个圈上,令中某个圈上,令G=G-e,则则G仍连通且仍连通且m=m-1=k,n=n,r=r-1。由假设有由假设有n-m+r=2。于是于是n-m+r=n-(m+1)-(r+1)=n-m+r=2定理定理17.9 17.9 对于具有对于具有k(k2)个连通分支的平面图个连通分支的平面图G,有有n-m+r=k+1其中其中n,m,r分别为分别为G的顶点数,边数和面数。的顶点数,边数和面数。证明证明设设G的连通分支分别为的连通分支分别为G1、G2、Gk,并设并设Gi的顶点数、边的顶点数、边数
14、、面数分别为数、面数分别为ni、mi、ri、i=1,2,k。由欧拉公式可知由欧拉公式可知:ni-mi+ri=2,i=1,2,k(17.1)易知,易知,由于每个由于每个Gi有一个外部面,而有一个外部面,而G只有一个外部面,所以只有一个外部面,所以G的面数的面数于是,于是,对对(17.1)的两边同时求和得的两边同时求和得经整理得经整理得n-m+r=k+1。2、与欧拉公式有关的定理与欧拉公式有关的定理设设G为为连连通通的的平平面面图图,且且每每个个面面的的次次数数至至少少为为l(l3),则则G的边数与顶点数有如下关系:的边数与顶点数有如下关系:由定理由定理17.4(面的次数之和等于边数的(面的次数之
15、和等于边数的2倍)及欧拉公式得倍)及欧拉公式得证明证明解得解得推论推论K5,K3,3不是平面图。不是平面图。证明证明q若若K5是平面图,由于是平面图,由于K5中无环和平行边,所以每个面的次数中无环和平行边,所以每个面的次数均大于或等于均大于或等于l3,由由可知边数可知边数10应满足应满足10(3/(3-2)(5-2)=9这是个矛盾,所以这是个矛盾,所以K5不是平面图。不是平面图。q若若K3,3是平面图,由于是平面图,由于K3,3中最短圈的长度为中最短圈的长度为l4,于是边数于是边数9应满足应满足9(4/(4-2)(6-2)=8这又是矛盾的,所以这又是矛盾的,所以K3,3也不是平面图。也不是平面
16、图。设设G是有是有k(k2)个连通分支的平面图,各面的次数至少为个连通分支的平面图,各面的次数至少为l(l3),则边数则边数m与顶点数与顶点数n应有如下关系:应有如下关系:设设G为为n(n 3)阶阶m条边的简单平面图,则条边的简单平面图,则m 3n 6。设设G有有k(k 1)个连通分支,个连通分支,q若若G为树或森林,当为树或森林,当n 3时,时,m=n-k 3n 6为真。为真。q若若G不是树也不是森林,则不是树也不是森林,则G中必含圈,又因为中必含圈,又因为G是简单图,是简单图,所以,每个面至少由所以,每个面至少由l(l 3)条边围成,又在条边围成,又在l=3证明证明设设G为为n(n 3)阶
17、阶m条边的极大平面图,则条边的极大平面图,则m=3n 6。证明证明由于极大平面图是连通图,由欧拉公式得由于极大平面图是连通图,由欧拉公式得:r=2+m-n(17.4)又因为又因为G必要性可知,必要性可知,G的每个面的次数均为的每个面的次数均为3,所以:,所以:将将(17.4)代入代入(17.5),整理后得,整理后得m=3n-6。二、一个意义重大的定理二、一个意义重大的定理 设设G为简单平面图,则为简单平面图,则G的最小度的最小度(G)5。q若阶数若阶数n 6,结论显然成立。结论显然成立。q若阶数若阶数n 7时,用反证法。时,用反证法。假设假设(G)6,由握手定理可知:由握手定理可知:证明证明因
18、而因而m 3n,这与定理这与定理17.12矛盾。矛盾。所以,假设不成立,即所以,假设不成立,即G的最小度的最小度(G)5。q本定理在图着色理论中占重要地位。本定理在图着色理论中占重要地位。说明说明设设G为为n(n 3)阶简单连通的平面图,阶简单连通的平面图,G为极大平面图当且仅为极大平面图当且仅当当G的每个面的次数均为的每个面的次数均为3。(仅证。(仅证充分性充分性)由定理由定理17.4可知,可知,证证明明又因为又因为G是连通的,由欧拉公式可知是连通的,由欧拉公式可知将将(17.7)代入代入(17.6),经过整理得,经过整理得m=3n-6。(17.8)若若G不是极大平面图,则不是极大平面图,则
19、G中一定存在不相邻得顶点中一定存在不相邻得顶点u,v,使得使得G=G(u,v)还是简单平面图,而还是简单平面图,而G的边数的边数m=m+1,n=n。由由(17.8)可知,可知,m3n6,这与定理这与定理17.2矛盾。矛盾。所以,所以,G为极大平面图。为极大平面图。小节结束小节结束一、为判断定理做准备一、为判断定理做准备1、插入插入2度顶点和消去度顶点和消去2度顶点度顶点定义定义17.5 17.5 q设设e=(u,v)为为图图G的的一一条条边边,在在G中中删删除除e,增增加加新新的的顶顶点点w,使使u、v均与均与w相邻,称为在相邻,称为在G中中插入插入2度顶点度顶点w。q设设w为为G中中一一个个
20、2度度顶顶点点,w与与u、v相相邻邻,删删除除w,增增加加新新边边(u,v),称为在称为在G中中消去消去2度顶点度顶点w。17.3 17.3 平面图的判断平面图的判断2、图之间的同胚、图之间的同胚若若两两个个图图G1与与G2同同构构,或或通通过过反反复复插插入入或或消消去去2度度顶顶点点后后是同构的,则称是同构的,则称G1与与G2是是同胚同胚的。的。上面两个图分别与上面两个图分别与K3,3,K5同胚同胚。二、两个判断定理二、两个判断定理(库库拉拉图图斯斯基基定定理理1)图图G是是平平面面图图当当且且仅仅当当G中中既既不不含含与与K5同同胚胚子图,也不含与子图,也不含与K3,3同胚子图。同胚子图
21、。(库库拉拉图图斯斯基基定定理理2)图图G是是平平面面图图当当且且仅仅当当G中中既既没没有有可可以以收收缩缩到到K5的子图,也没有可以收缩到的子图,也没有可以收缩到K3,3的子图。的子图。证明彼得松图不是平面图。证明彼得松图不是平面图。将彼得松图顶点标顺序,见图将彼得松图顶点标顺序,见图(1)所示。所示。证证明明还可以这样证明:还可以这样证明:用用G表示彼得松图,令表示彼得松图,令G=G-(j,g),(c,d)G如图如图(3)所示,易知它与所示,易知它与K3,3同胚,同胚,在图中将边在图中将边(a,f),(b,g),(c,h),(d,i),(e,j)收缩,收缩,所得图为图所得图为图(2)所示,
22、它是所示,它是K5,由定理由定理17.16可知,彼得松图不是平面图。可知,彼得松图不是平面图。可知,可知,G为非平面图。为非平面图。对对K5插入插入2度顶点,或在度顶点,或在K5外放置一个顶点使其与外放置一个顶点使其与K5上的若干顶点上的若干顶点相邻,共可产生多少个相邻,共可产生多少个6阶简单连通非同构的非平面图?阶简单连通非同构的非平面图?用用插插入入2度度顶顶点点的的方方法法只只能能产产生生一个非平面图,如图一个非平面图,如图(1)所示。所示。解答解答在在K5外外放放置置一一个个顶顶点点,使使其其与与K5上上的的1个个到到5个个顶顶点点相相邻邻,得得5个图,如图个图,如图(2)到到(6)所
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 平面图及图的着色 平面图 着色 PPT 课件
限制150内