离散数学 7-5 平面图7-6对偶图与着色.pptVIP

7-5 平面图;一、平面图 1、定义7-5.1 如果无向图G=V,E的所有结点和边可以在一个平面上图示出来，而使各边仅在顶点处相交。无向图G称为平面图（planar graph），否则称G为非平面图。; 有些图形从表面看有几条边是相交的，但是不能就此肯定它不是平面图，例如，下面左图表面看有几条边相交，但如把它画成右图，则可看出它是一个平面图。;有些图形不论怎样改画，除去结点外，总有边相交，故它是非平面图。; 定义7-5.2 设图G=V,E是一连通平面图, 由图中各边所界定的区域称为平面图的面(regions)。有界的区域称为有界面，无界的区域称为无界面。 界定各面的闭的拟路径称为面的边界（boundary）。 面r的边界长度称为面r的度（degree）记为deg (r) ，又称为面r的次数 。;例如图7-5.3; 如边是两个面的分界线，该边在两个面的度数中各记1次。如边不是两个面的分界线(称为割边)则该边在该面的度数中重复记了两次，故定理结论成立。;4、欧拉定理 定理7-5.2（欧拉定理） 设G为一平面连通图，v为其顶点数，e为其边数，r 为其面数，那么欧拉公式成立 v – e + r = 2; （3）设G为k条边时，欧拉公式成立，即 vk-ek+rk=2。考察的情况。;例：已知一个平面图中结点数v=10，每个面均由4条边围成，求该平面图的边数和面数。; 5.定理7-5.3 设G为一简单连通平面图，其顶点数v≥3，其边数为e，那么 e≤3v – 6 ;例如：K5中e=10，v=5，3v-6=9，从而e3v-6，所以K5不是平面图。 ; 定理7-5.3的条件不是充分的。如K3,3图满足定理7-5.3的条件（v=6，e=9，3v-6=12，e≤3v-6成立），但K3,3不是平面图。; 在K3,3中有6个结点9条边， 2v-4=2×6-4=89,与 2v-4≥e 矛盾， 故 K3,3不是平面图。; 6、定义7-5.3：给两图G1和G2，或者它们是同构的，或者反复地插入或去掉二度结点后， 使G1和G2同构，则称G1和G2是在2度结点内同构的，也称G1和G2是同胚的。;7、库拉托夫斯基定理(Kuratowski定理) 定理7-5.4：一个图是平面图的充要条件是它不含与K5或K3，3在二度结点内同构的子图。;K3，3;作业;7-6 对偶图与着色;与平面图有密切关系的一个图论的应用是图形的着色问题，这个问题最早起源于地图的着色，一个地图中相邻国家着以不同颜色，那么最少需用多少种颜色？ 一百多年前，英国格色里(Guthrie)提出了用四种颜色即可对地图着色的猜想，1879年肯普(Kempe)给出了这个猜想的第一个证明，但到1890年希伍德(Hewood)发现肯普证明是错误的，但他指出肯普的方法 虽不能证明地图着色用四种颜色就够了，但可证明用五种颜色就够了，即五色定理成立。;此后四色猜想一直成为数学家感兴趣而未能解决的难题。 直到1976年美国数学家阿佩尔和黑肯宣布：他们用电子计算机证明了四色猜想是成立的。所以从1976年以后就把四色猜想这个名词改成“四色定理”了。 为了叙述图形着色的有关定理，下面先介绍对偶图的概念。;一、对偶图 1、对偶图 定义7-6.1 对具有面F1 ,F2,..., Fn的连通平面图G=V,E实施下列步骤所得到的图G*称为图G的对偶图（dual of graph）：;如果存在一个图G*=V*，E*满足下述条件：;(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*的边相交。;;2、自对偶图 定义7-6.2 如果图G的对偶图G*同构于G,则称G是自对偶图。;二、图的着色 1、问题的提出 该问题起源于地图的着色问题。 图着色的三种情况: 对点着色 是对图G的每个结点指定一种颜色，使得相邻结点的颜色不同; 对边着色 给每条边指定一种颜色使得相邻的边的颜色不同， 给面着色 给每个面指定一种颜色使得有公共边的两个面有不同的颜色。 对边着色和对面着色均可转化为对结点着色问题。;从对偶图的概念，可以看到，对于地图的着色问题，可以归纳