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

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的每个结点指定一种