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

7-5 平面图 一、平面图 1、定义7-5.1 如果无向图G=V,E的所有结点和边可以在一个平面上图示出来，而使各边仅在顶点处相交。无向图G称为平面图（planar graph），否则称G为非平面图。 有些图形不论怎样改画，除去结点外，总有边相交，故它是非平面图。 如边是两个面的分界线，该边在两个面的度数中各记1次。如边不是两个面的分界线(称为割边)则该边在该面的度数中重复记了两次，故定理结论成立。 4、欧拉定理 定理7-5.2（欧拉定理） 设G为一平面连通图，v为其顶点数，e为其边数，r 为其面数，那么欧拉公式成立 v – e + r = 2 例如：K5中e=10，v=5，3v-6=9，从而e3v-6，所以K5不是平面图。 7、库拉托夫斯基定理(Kuratowski定理) 定理7-5.4：一个图是平面图的充要条件是它不含与K5或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的对偶图（dual of graph）： 实线边图为平面图，虚线边图为其对偶图。 2、自对偶图 定义7-6.2 如果图G的对偶图G*同构于G,则称G是自对偶图。 二、图的着色 1、问题的提出 该问题起源于地图的着色问题。 图着色的三种情况: 对点着色 是对图G的每个结点指定一种颜色，使得相邻结点的颜色不同; 对边着色 给每条边指定一种颜色使得相邻的边的颜色不同， 给面着色 给每个面指定一种颜色使得有公共边的两个面有不同的颜色。 对边着色和对面着色均可转化为对结点着色问题。 从对偶图的概念，可以看到，对于地图的着色问题，可以归纳为对于平面图的结点的着色问题，因此四色问题可以归结为要证明对于任何一个平面图，一定可以用四种颜色，对它的结点进行着色，使得邻接的结点都有不同的颜色。 2、图的正常着色：图G的正常着色(或简称着色)是指对它的每一个结点指定一种颜色，使得没有两个邻接的结点有同一种颜色。如果图在着色时用了n种颜色，我们称G为n-色的图。 3、色数：对于图G着色时，需要的最少颜色数称为G的色数，记作x(G)。 4、对点着色的鲍威尔方法： 第一步：对每个结点按度数递减次序进行排列(相同度数的结点次序可随意) 第二步：用第一种颜色对第一个结点着色，并按次序对与前面着色点不相邻的每一点着同样的颜色。 第三步：用第二种颜色对未着色的点重复第二步，用第三种颜色继续这种做法，直到全部点均着了色为止。 5、定理7-6.1：对于完全图Kn有χ(Kn)=n。 6、定理7-6.2：连通平面图G=V，E至少有三个结点，则必有一点u∈V使得deg(u)≤5。 自从四色猜想提出后，一百多年来，一直成为数学上的著名难题，它吸引许许多多的人，为之而作出大量辛劳，也得到很多重要结果，但长久未能得到解决。直到1976年6月，由美国伊利诺斯大学两名数学家爱普尔(K.I.Apple)、黑肯(W.Haken)在考西(J.Koch)帮助下借助于电子计算机，用了一百多亿次逻辑判断，花了1200多机时才证明四色猜想是成立的，从此宣告，四色猜想成为四色定理。 相应地有下面的定理。 9、定理：对于任何地图M，M是四着色的， 即χ(M)≤4。 作业 P321： （1）（4） 7-7 树 树是图论中重要的概念之一，它在计算机科学中应用非常广泛，这里将介绍树的一些基本性质和应用。 一、树的概念 1、定义7-7.1：一个连通且无回路的无向图称为树（tree） 。 树中度数为1的结点称为树叶（leave）。 度数大于1的结点称为分支点（branched node）或