7—6对偶图与着色.PPT

7-6 对偶图与着色 与平面图有密切关系的一个图论的应用是图形的着色问题，这个问题最早起源于地图的着色，一个地图中相邻国家着以不同颜色，那么最少需用多少种颜色 一百多年前，英国格色里（Guthrie）提出了用四种颜色即可对地图着色的猜想，1879年肯普（Kempe）给出了这个猜想的第一个证明。 但到 1890年希伍德（Hewood）发现肯普证明是错误的，但他指出肯普的方法，虽不能证明地图着色用四种颜色就够了，但可证明用五种颜色就够了，此后四色猜想一直成为数学家感兴趣而未能解决的难题。 直到1976年美国教学家阿佩尔和黑肯宣布；他们用电子计算机证明了四色猜想是成立的。所以从1976年以后就把四色猜想这个名词改成“四色定理”了。为了叙述图形着色的有关定理，下面先介绍对偶图的概念。 定义1 给定平面图G=V，E，它具有面F1,F2,… ，Fn，若有图G?=V?，E?满足下述条件： (a) 对于图G的任一个面Fi, 内部有且仅有一个结点vi??V? 。 (b) 对于图G的面Fi, Fj的公共边界ek，存在且仅存在一条边ek??E?，使ek?=vi?,vj?，且ek与ek?相交。 (c) 当且仅当即只是一个面Fi的边界时， vi?存在一个环ek?与ek相交, 则称图G?是图G的对偶图。 定义2 如果图G的对偶图同构于G，则称G是自对偶图。 从对偶图的概念。我们可以看到，对于地图的着色问题。可以归纳为对于平面图的结点的着色问题， 因此四色问题可以归结为要证明对于任何一个平面图，一定可以用四种颜色，对它的结点进行着色，使得邻接的结点都有不同物颜色。 图G的正常着色（或简称着色）是指对它的每一个结点指定一种颜色，使得没有两个邻接的结点有同一种颜色。如果图G在着色时用了n种颜色，我们称G为n-色的。 对于图G着色时需要的最少颜色数称为G的着色数，记作x(G)。 韦尔奇·鲍威尔法（Welch Powell）着色法是： a）将图G中的结点按照度数的递减次序进行排列。（这种排列可能并不是唯一的，因为有些点有相同度数。） b）用第一种颜色对第一点着色，并且接排列次序，对与前面着色点不邻接的每一点着上同样的颜色。 c）用第二种颜色对尚未着色的点重复b），用第三种颜色继续这种做法，直到所有的点全部着上色为止。 例1 用韦尔奇·鲍威尔法着色。 解 a）根据递减次序排列各点 A5,A3,A7,A1,A2,A4,A6,A8。 b）第一种颜色对A5着色，并对不相邻结点A1也着第一种色。 c）对结点A3和它不邻接的A4,A8着第2种颜色。d) 对结点A7和它不邻接的A2,A6着第三种颜色。 因此G是三色的。注g G不可能是二色的，因为也在b A3相互邻接，教必须着三种颜色。所以Q（G）一3。 定理1 对于n个结点的完全图Kn，有x(Kn)=n。 证明 因为完全图的每一个结点与其他各个结点都邻接，故n个结点的着色数不能少于n，又n个结点的着色数至多为n,故x(Kn)=n。 定理2 设G为一个至少具有三个结点的连通平面图，则G中必有一个结点u，使得deg(u)≤5。 证明 设G=V,E ，|V|=v，|E|=e，若 G的每一个结点u都有deg(u)≥6，但因 ?deg(vi)=2e 故 2e＞6v，所以 e≥3v＞3v―6，与欧拉定理矛盾。 定理3 任意平面图G最多是5-色的。 证明给定平面图G=V,E，对结点数v用归纳法。a）当v=1，2，3，4，5时显然成立。 b）设v=k时成立，现考察v=k＋1，由定理2可知，必存在结点u，使deg(u)≤5,在图G中删去u，得到G―{u}， 由归纳假设知此时定理成立。现将u加入到G―{u}中，若deg(u)5，则与u邻接的结点数不超过4，故必可对u正常着色，得到一个最多是五色的图G。 若deg(u)=5，设与u邻接的结点，按逆时针排列为v1,v2,v3,v4,v5, 它们分别着不同的颜色C1,C2,C3,C4,C5。 令H为G―{u}中所有着C1与C3色的结点集合， F为G―{u} 中着C2与C4的所有结点的集合。 Ⅰ：若v1与v3属于结点集H所导出子图的两个不同的连通分支中，将v1所在分图中的C1,C3两种颜色对调，并不影响图G―{u}的正常着色，然后在u上着C1色，即得图G是五色的。 Ⅱ：若v1与v3 属于结点集 H所导出子图的同一个连通分支中，那么从v1到v3 必有一条路P，P上的各个结点都是着C1或C3色。 路P与边(u, v1)、(u, v3)一起构成了一条回路L,它包围了v2或v4 ，但不能同时包围v2和v4 ，故v2和v4分别属于结点