一种平面图点色数的计算方法.docVIP

一种平面图点色数的计算方法 （蒋友皎 广西玉林市 537000） 引言 任何一个连通平面图都是五色图。但是后来在平面图上经过多次试验，没有找到一种平面图一定要用5种颜色的。在一百多年前，有人猜测只要用4种颜色就够了，这就是世界上著名的4色猜测问题。这个猜测一经提出，迷住了许多数学家，但是谁都无法用数学的方法证明它。直到1976年，Appel和Haken两人宣布了四色理论的证明方法。他们用大型电子计算机分析了2000多种图包括几百万种情况，花了大量的机器时间，终于证明了这个问题，从而解决了一百多年来引人关注的难题[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条，并且这些边的始点和终点相同(也就是它们的方向相同)，则称这些边为平