离散数学7-6对偶图与着色7-7树+复习解析.ppt

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）或内点。 每个连通分支是树的无向图称为森林。 平凡图也是树，称为平凡树。 2、定理7-7.1：给定图T=V，E，以下关于树的定义是等价的。 (1)无回路的连通图 (2)无回路且e=v-1 (3)连通且e=v-1 (4)无回路，但增加一边后得到且仅得一个回路 (5)连通，但删去任一边后就不连通 (6)每一对结点间有且仅有一条通路。 3、定理7-7.2：任一棵树中至少存在两个叶。 二、生成树 有一些图，本身不是树，但它的子图却是树，一个图可能有许多子图是树，其中很重要的一类是生成树。 1、生成树 定义7-7.2：若G的生成子图是一棵树，则称这棵树为G的生成树。 设G的一棵生成树为T，则T中的边称为树枝，在G中而不在T中的边称弦，所有弦的集合称为生成树T的补。 e1、e7、e5、e8、e3是T的树枝， e2、e4、e6是T的弦，{e2、e4、e6}是T的补。 2、定理7-7.3：连通图至少有一棵生成树。 由定理的证明过程可以看出， 一个连通图可以有许多生成树。