您好,欢迎访问三七文档
当前位置:首页 > 商业/管理/HR > 薪酬管理 > 离散数学 7-5 平面图7-6对偶图与着色
7-5平面图一、平面图1、定义7-5.1如果无向图G=V,E的所有结点和边可以在一个平面上图示出来,而使各边仅在顶点处相交。无向图G称为平面图(planargraph),否则称G为非平面图。有些图形从表面看有几条边是相交的,但是不能就此肯定它不是平面图,例如,下面左图表面看有几条边相交,但如把它画成右图,则可看出它是一个平面图。有些图形不论怎样改画,除去结点外,总有边相交,故它是非平面图。定义7-5.2设图G=V,E是一连通平面图,由图中各边所界定的区域称为平面图的面(regions)。有界的区域称为有界面,无界的区域称为无界面。界定各面的闭的拟路径称为面的边界(boundary)。面r的边界长度称为面r的度(degree)记为deg(r),又称为面r的次数。2、面、边界例如图7-5.3deg(r1)=3deg(r2)=3deg(r3)=5deg(r4)=4deg(r5)=3deg(r1)+deg(r2)+deg(r3)+deg(r4)+deg(r5)=18如边是两个面的分界线,该边在两个面的度数中各记1次。如边不是两个面的分界线(称为割边)则该边在该面的度数中重复记了两次,故定理结论成立。3.定理7-5.1设G为一有限平面图,面的次数之和等于其边数的两倍。证明思路:任一条边或者是两个面的共同边界(贡献2次),或者是一个面的重复边(贡献2次)4、欧拉定理定理7-5.2(欧拉定理)设G为一平面连通图,v为其顶点数,e为其边数,r为其面数,那么欧拉公式成立v–e+r=2证明(1)若G为一个孤立结点,则v=1,e=0,r=1,故v-e+r=2成立。(2)若G为一个边,即v=2,e=1,r=1,则v-e+r=2成立。(3)设G为k条边时,欧拉公式成立,即vk-ek+rk=2。考察的情况。因为在k条边的连通图上增加一条边,使它仍为连通图,只有下述两种情况:①加上一个新结点b,b与图上的一点a相连,此时vk和ek两者都增加1,而面数rk没变,故(vk+1)-(ek+1)+rk=vk-ek+rk=2。②用一条边连接图上的已知两点,此时ek和rk都增加1,结点数vk没变,故vk-(ek+1)+(rk+1)=vk-ek+rk=2。例:已知一个平面图中结点数v=10,每个面均由4条边围成,求该平面图的边数和面数。解:因每个面的次数均为4,则2e=4r,即e=2r,又v=10,代入欧拉公式v-e+r=2有10-2r+r=2解得r=8,则e=2r=16。5.定理7-5.3设G为一简单连通平面图,其顶点数v≥3,其边数为e,那么e≤3v–6证明思路:设G的面数为r,当v=3,e=2时上式成立,若e≥3,则每一面的次数不小于3。由欧拉定理,各面次数之和不小于2e。因此2e≥3r,r≤2e/3代入欧拉公式:2=v-e+r≤v-e+2e/3整理后得:e≤3v–6说明:这是简单图是平面图的必要条件。本定理的用途:判定某图不是平面图。例如:K5中e=10,v=5,3v-6=9,从而e3v-6,所以K5不是平面图。K5定理7-5.3的条件不是充分的。如K3,3图满足定理7-5.3的条件(v=6,e=9,3v-6=12,e≤3v-6成立),但K3,3不是平面图。315页例2证明K3,3图不是平面图。在K3,3中有6个结点9条边,2v-4=2×6-4=89,与2v-4≥e矛盾,故K3,3不是平面图。证明假设K3,3图是平面图。在K3,3中任取三个结点,其中必有两个结点不邻接,故每个面的次数都不小于4,由4r≤2e,r≤e/2,即v-e+e/2≥v-e+r=2,v-e/2≥2,2v-e≥4,2v-4≥e。6、定义7-5.3:给两图G1和G2,或者它们是同构的,或者反复地插入或去掉二度结点后,使G1和G2同构,则称G1和G2是在2度结点内同构的,也称G1和G2是同胚的。在给定图G的边上,插入一个新的度数为2的结点,使一条边分成两条边,或者对于关于度数为2的结点的两条边,去掉这个结点,使两条边化成一条边,这些都不会影响图的平面性。7、库拉托夫斯基定理(Kuratowski定理)定理7-5.4:一个图是平面图的充要条件是它不含与K5或K3,3在二度结点内同构的子图。欧拉公式有时可以用来判定某个图不是平面图。下面的库拉托夫斯基定理给出了判定一个图是平面图的充要条件K3,3K5K5和K3,3常称作库拉托夫斯基图。作业P317:(1)(2)7-6对偶图与着色掌握对偶图的定义,会画图G的对偶图G*掌握自对偶图的定义及必要条件。与平面图有密切关系的一个图论的应用是图形的着色问题,这个问题最早起源于地图的着色,一个地图中相邻国家着以不同颜色,那么最少需用多少种颜色?一百多年前,英国格色里(Guthrie)提出了用四种颜色即可对地图着色的猜想,1879年肯普(Kempe)给出了这个猜想的第一个证明,但到1890年希伍德(Hewood)发现肯普证明是错误的,但他指出肯普的方法虽不能证明地图着色用四种颜色就够了,但可证明用五种颜色就够了,即五色定理成立。此后四色猜想一直成为数学家感兴趣而未能解决的难题。直到1976年美国数学家阿佩尔和黑肯宣布:他们用电子计算机证明了四色猜想是成立的。所以从1976年以后就把四色猜想这个名词改成“四色定理”了。为了叙述图形着色的有关定理,下面先介绍对偶图的概念。一、对偶图1、对偶图定义7-6.1对具有面F1,F2,...,Fn的连通平面图G=V,E实施下列步骤所得到的图G*称为图G的对偶图(dualofgraph):如果存在一个图G*=V*,E*满足下述条件:(a)在G的每一个面Fi的内部作一个G*的顶点vi*。即对图G的任一个面Fi内部有且仅有一个结点vi*∈V*。(b)若G的面Fi,Fj有公共边ek,则作ek*=(vi*,vj*),且ek*与ek相交。即若G中面Fi与Fj有公共边界ek,那么过边界的每一边ek作关联vi*与vj*的一条边ek*=(vi*,vj*)。ek*与G*的其它边不相交。(c)当且仅当ek只是一个面Fi的边界时(割边),vi*存在一个环e*k与ek相交。即当ek为单一面Fi的边界而不是与其它面的公共边界时,作vi*的一条环与ek相交(且仅交于一处)。所作的环不与G*的边相交。则称图G*为G的对偶图。实线边图为平面图,虚线边图为其对偶图。v*=r,e*=e,r*=v2、自对偶图定义7-6.2如果图G的对偶图G*同构于G,则称G是自对偶图。二、图的着色1、问题的提出该问题起源于地图的着色问题。图着色的三种情况:对点着色是对图G的每个结点指定一种颜色,使得相邻结点的颜色不同;对边着色给每条边指定一种颜色使得相邻的边的颜色不同,给面着色给每个面指定一种颜色使得有公共边的两个面有不同的颜色。对边着色和对面着色均可转化为对结点着色问题。从对偶图的概念,可以看到,对于地图的着色问题,可以归纳为对于平面图的结点的着色问题,因此四色问题可以归结为要证明对于任何一个平面图,一定可以用四种颜色,对它的结点进行着色,使得邻接的结点都有不同的颜色。2、图的正常着色:图G的正常着色(或简称着色)是指对它的每一个结点指定一种颜色,使得没有两个邻接的结点有同一种颜色。如果图在着色时用了n种颜色,我们称G为n-色的图。3、色数:对于图G着色时,需要的最少颜色数称为G的色数,记作x(G)。证明一个图的色数为n,首先必须证明用n种颜色可以着色该图,其次证明用少于n种颜色不能着色该图。4、对点着色的鲍威尔方法:第一步:对每个结点按度数递减次序进行排列(相同度数的结点次序可随意)第二步:用第一种颜色对第一个结点着色,并按次序对与前面着色点不相邻的每一点着同样的颜色。第三步:用第二种颜色对未着色的点重复第二步,用第三种颜色继续这种做法,直到全部点均着了色为止。5、定理7-6.1:对于完全图Kn有χ(Kn)=n。证明:因为完全图的每一个结点与其他各个结点都邻接,故n个结点的着色数不能少于n,又n个结点的着色数至多为n,故χ(Kn)=n。6、定理7-6.2:连通平面图G=V,E至少有三个结点,则必有一点u∈V使得deg(u)≤5。证明:设|V|=v,|E|=e,若G的每个结点均有vdeg(u)≥6,deg(vi)=2|E|=2ei=1则有2e≥6v,即e≥3v3v-6,与定理矛盾。*7、定理7-6.3:(五色定理)任意平面图最多是5-色的。证明思路:对结点个数v采用归纳法(1)归纳基础:图G的结点数为v=1,2,3,4,5时,结论成立。(2)归纳假设:设G有k个结点时结论成立。即G是最多可5-着色的。(3)归纳推理:需要证明G有k+1个结点时结论仍成立。先在G中删去度数小于5的结点u,根据归纳假设,所得的图G-{u}有k个结点,结论成立。然后考虑在G-{u}中加上一个结点的情况。若加入的结点满足deg(u)5,则可以对u正常着色。若加入的结点满足deg(u)=5,则与它邻接的5个结点可以用4种颜色着色。分两中情况证明:.对调v1,v3两个结点的颜色后,给着v1的颜色。.对调v2,v4两个结点的颜色后,给着v2的颜色。自从四色猜想提出后,一百多年来,一直成为数学上的著名难题,它吸引许许多多的人,为之而作出大量辛劳,也得到很多重要结果,但长久未能得到解决。直到1976年6月,由美国伊利诺斯大学两名数学家爱普尔(K.I.Apple)、黑肯(W.Haken)在考西(J.Koch)帮助下借助于电子计算机,用了一百多亿次逻辑判断,花了1200多机时才证明四色猜想是成立的,从此宣告,四色猜想成为四色定理。相应地有下面的定理。9、定理:对于任何地图M,M是四着色的,即χ(M)≤4。8、四色定理:平面图的色数不超过4。作业P321:(1)(4)7-7树树是图论中重要的概念之一,它在计算机科学中应用非常广泛,这里将介绍树的一些基本性质和应用。一、树的概念1、定义7-7.1:一个连通且无回路的无向图称为树(tree)。树中度数为1的结点称为树叶(leave)。度数大于1的结点称为分支点(branchednode)或内点。每个连通分支是树的无向图称为森林。平凡图也是树,称为平凡树。2、定理7-7.1:给定图T=V,E,以下关于树的定义是等价的。(1)无回路的连通图(2)无回路且e=v-1(3)连通且e=v-1(4)无回路,但增加一边后得到且仅得一个回路(5)连通,但删去任一边后就不连通(6)每一对结点间有且仅有一条通路。证明思路:6个命题可以循环推出。即(1)(2)(3)(4)(5)(6)(1)3、定理7-7.2:任一棵树中至少存在两个叶。证明:因T连通则u∈T,deg(u)≥1。设T有k个一度点,其它点均大于等于2,则2e=∑deg(vi)≥k+2(v-k)=2v-k。因e=v-1,故2(v-1)≥2v-k,则k≥2。
本文标题:离散数学 7-5 平面图7-6对偶图与着色
链接地址:https://www.777doc.com/doc-3856471 .html