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

一种平面图色数的计算方法 （蒋友皎 广西玉林市 537000 ） 0 引言 任何一个连通平面图都是五色图。但是后来在平面图上经过多次试验，没有找到一种平 面图一定要用 5 种颜色的。在一百多年前，有人猜测只要用 4 种颜色就够了，这就是世界上 著名的 4 色猜测问题。这个猜测一经提出，迷住了许多数学家，但是谁都无法用数学的方法 证明它。直到 1976 年，Appel 和 Haken 两人宣布了四色理论的证明方法。他们用大型电子 计算机分析了 2000 多种图包括几百万种情况，花了大量的机器时间，终于证明了这个问题， [1] 从而解决了一百多年来引人关注的难题 。 Since the proving of the theorem, efficient algorithms have been found for 4-coloring maps 2 requiring only O(n ) 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 基本性质 定义1 一个无向图是一个有序的二元组V，E,记作G，其中 （1）V≠ 称为顶点集，其元素称为顶点或结点。 [7] （2）E称为边集，它是无序积VV的多重子集，其元素称为无向边，简称边 。 定义2 设G=V，E为无向图，e =(v ，v )∈E，则称v ，v 为e 的端点，e 与v 或e k i j i j k k i k 与v 是彼此相关联的。若v ≠v ，则称 e 与v 或e 与v 的关联次数为1，若 v =v ，则称 e j