任何一个连通平面图都是五色图.docVIP

引言 任何一个连通平面图都是五色图。但是后来在平面图上经过多次试验，没有找到一种平面图一定要用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 Big O notation 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 ne