任何平面图都是可着色的.docVIP

任何平面图都是4-可着色的[1]。 Since the proving of the theorem, efficient algorithms have been found for 4-coloring maps requiring only O(n2) time, where n is the number of vertices. In 1996, Neil Robertson, Daniel P. Sanders, Paul Seymour, and Robin Thomas created a quadratic time algorithm, improving on a quartic algorithm based on Appel and Haken’s proof[2] [3] [11]. This new proof is similar to Appel and Hakens but more efficient because it reduced the complexity of the problem and required checking only 633 reducible configurations. Both the unavoidability and reducibility parts of this new proof must be executed by computer and are impractical to check by hand[4] [11]. In 2001 the same authors announced an alternative proof, by proving the snark theorem[5] [11]. In 2005 Benjamin Werner and Georges Gonthier formalized a proof of the theorem inside the Coq proof assistant. This removed the need to trust the various computer programs used to verify particular cases; it is only necessary to trust the Coq kernel[6] [11]. 显然这不是纯理论上的严格证明，在计算机的辅助工作下四色定理的证明完成了，但是是否存在不需要借助计算机的纯数学方法的证明呢？本文将运用纯数学方法的证明任何平面图都是-面可着色的。定义1 一个无向图是一个有序的二元组V，E,记作G，其中（1）V≠称为顶点集，其元素称为顶点或结点。（2）E称为边集，它是无序积VV的多重子集，其元素称为无向边，简称边[7]。定义设G=V，E为无向图，ek=(vi，vj)E，则称vi，vj为ek的端点，ek与vi或ek与vj是彼此相关联的。若vi≠vj，则称ek与vi或ek与vj的关联次数为1，若vi=vj，则称ek与vi的关联次数为2，并称ek为环。任意的vlV，若vl≠vi且vl≠vj，则称ek与vl的关联次数为0 [7]。在图的定义中，用G表示无向图，D表示有向图，但有时用G泛指图(无向的或有向的)，可是D只能表示有向图。另外，为方便起见，有时用V(G)，E(G)分别表示G的顶点集和边集，若|V(G)|=n,则称G为n阶图，对有向图可做类似规定[7]。 　　在图G中，若边集E(G)=,则称G为零图，此时，又若G为n阶图，则称G为n阶零图，记作Nn，特别地，称N1为平凡图[7]。 在图的定义中规定顶点集V为非空集，但在图的运算中可能产生顶点集为空集的运算结果，为此规定定点集为空集的图为空图，并将空图记为 [7]。 无论在无向图中还是在有向图中，无边关联的顶点均称孤立点[7]。定义3在无向图中，关联一对顶点的无向边如果多于1条，则称这些边为平行边，平行边的条数称为重数。在有向图中，关联一对顶点的有向边如果多于1条，并且这些边的始点和终点相同(也就是它们的方向相同)，则称这些边为平行边。含平行边的图称为多重图，既不含平行边也不含环的图称为简单图[7]。定义4设G=V，E为一无向图，v∈V，称v作为边的端点次数之和为v的度数，简称为度，记做 dG(v)，在不发生混淆时，简记为d(v) [7]。定义设G=V，E为一图，，称作为边的次数之和为的度数，简称为度，记做 dG()，在不发生混淆时，简记为d()。 定义设G=V，E，G=V，E为两个图(同为无向图或同为有向图)，若VV且EE，则称G是G的子图，G为G的母图，记作GG. 又若VV或EE，则称G为G的真子图。若V=V，则称G为G的生成