四色问题的直观几何论证及单纯性地图四色定理

2013年9月图学学报September 2013第34卷第5期JOURNAL OF GRAPHICS V ol.34 No.5四色问题的直观几何论证及单纯性地图四色定理

张士庆1, 2，张号3

（1. 辽宁工程技术大学，辽宁阜新123000；2. 中国矿业大学银川学院，宁夏银川 750011；

3. 广东美的厨卫电器制造有限公司，广东佛山 528300）

摘要：对地图染色问题的论证已困扰学术界160余年，根本原因在于它不是经典数学问题，而人们总想用经典数学方法去证明它。用直观几何方法将其转换为染色等价的正规地图，并严格证明“相邻域定理”；建立并分析最小单元地图的染色，发现了单纯性和关联性两种地图染色模式；建立基本单元地图模型，创造由基本单元地图模型成长为地图的过程与染色相结合的直观方法；严格证明四色定理：任何单纯性地图可以至多用4种颜色染色，而任何关联性地图所需颜色数目不确定；创造“缩灭法则”去简化复杂地图；举出了《中国行政区划正规地图》应用实例。

关键词：正规地图；染色等价；单纯性地图；相邻域；缩灭法则

中图分类号：k 99，O 189，TB 113

文献标识码：A 文章编号：2095-302X (2013)05-0046-05

Visualized Geometrical Demonstration of the Four Colors Problem and the

Four Color Theorem of Simple Map

Zhang Shiqing1, 2, Zhang Hao3

( 1. Liaoning Engineering and Technological University, Liaoning Fuxin 123000, China;

2. China University of Mining and Technology Yinchuan College, Ningxia Yinchuan 750011, China;

3. GD Midea Kitchen & Bath Appliances Mfg. Co., Ltd., Guangdong Foshan 528300, china )

Abstract: The arguments of the least colors that should be used to dye the 2D net color block graph, such as maps and patterns, have puzzled the academia for one hundred and sixty years or more. The basic reason is that the scholars have been working on to solve the problem with classical mathematics methods, even though it is not a classical mathematics problem. Visualized engineering geometry is used to turn the 2D net color block graph into dyeing equivalence normal map, and critically adjacent domain axioms proved. The smallest unit of maps and their dyeing mode is also established. Two kinds of map dyeing mode are found in the process. The first is simple dyeing mode, and the second is the relevant dyeing mode. At the same time, a visualized method is developed combining the dyeing and the process of turning the smallest map unit into maps together. It is proven critically that any simple maps are suitable for the least four colors dyeing method, but for the relevant maps, the number of colors that should be used are uncertain.

Key words: normal map; dyeing equivalence; simple map; adjacent domain; reducing rule

收稿日期：2012-09-22；定稿日期：2013-04-01

作者简介：张士庆（1947-），男，辽宁辽中人，教授，主要研究方向为图学理论及应用、图学教育、现代教育技术。

E-mail:comandnet@

通讯作者：张号（1977-），男，辽宁阜新人，研发项目负责人，主要研究方向为家电产品研发设计、计算机及网络应用。

“四色问题又称四色猜想、四色定理”，自1850年前后提出以来，以“看起来最简单”但又无法得到严格证明而“特别惹人注目”，成为“世界近代数学三大难题之一”。对“图论”、“拓扑

学”的产生和发展影响深远。[1-4]

四色问题困扰学术界160余年，其根本原因在于它不是经典数学问题，而人们总想用经典数学方法去证明它。

地图染色问题的本质是区域的形状及其相互间的位置关系。其形、位可以“变换无穷”，而染色结果也可能不是唯一的。因此，染色问题不是单纯的数逻辑问题，也不在经典几何公理体系内，它是特殊的数逻辑与极复杂的形、位关系相结合，并主要是位置关系问题。基于这一认识，并借前人在拓扑学方面已取得的某些成就[5-7]，本文用直

观几何方法，对四色问题作一个完整的论证。

1 正规地图染色等价定理

若干简单封闭线（即区域的边界）将平面（注：球面和平面问题没有实质区别）分割为许多称为“区域”的部分，构成地图网络，如图1(a)所示。

定义 1 地图网络相邻的区域采用不同颜色，称为正确染色，简称染色。如图1(a)之区域I 与区域II 、V ，必须采用不同颜色。

为使染色分析简明，对网络作如下染色等价变换。

(a) (b) (c) (d)

图1 地图、相邻域、正规化地图

定义2 若一顶点Ａ所属区域数目大于3时，在Ａ处增设一个小区域，如图1(b)所示，使每个顶点所属区域数目为3，成为3条线的汇聚点。这一变换没有改变原地图各区域的邻域关系，称变换后的网络图为正规地图，如图1(c)所示。

正规地图染色等价定理（引理1） 正规地图Tn 正确染色后，则缩灭（减少）任意一个区域后的地图Tn-1也是正确染色。简称：染色定理。

证明：设正规地图Tn 由区域A 、B 、C 、D ……组成。将正规地图Tn 任意一个区域，例如A ，缩灭为一个点，得到地图Tn-1。这一简单变换，没有改变地图Tn-1和地图Tn 上的对应区域B 、C 、D ……之间的相邻区域关系，即地图Tn 与地图Tn-1上的对应区域B 、C 、D ……染色可以相

同。称此两图染色等价。如图１所示：将图1(c)图之区域A 缩灭为一点，即成图1(a)图；图1(c)图上的区域Ⅰ、Ⅱ、Ⅲ、Ⅳ、Ⅴ、Ⅵ与图1(a)上的对应区域Ⅰ、Ⅱ、Ⅲ、Ⅳ、Ⅴ、Ⅵ可以一一对应染相同颜色。图1(d)是图1(c)区域Ⅱ缩灭为一点后的图形；两图上的区域Ⅰ、A 、Ⅲ、Ⅳ、Ⅴ、Ⅵ也一一对应。 证毕

2 两两相邻域定理

两两相邻域定理（引理2） 平面（或球面）上的地图网络，两两相邻的区域（注：以下简称相邻域）的最大数目是4。简称：相邻域定理。

(a) (b) (c) (d)

图2 最大两两相邻域数目为4

第5期 张士庆等：四色问题的直观几何论证及单纯性地图四色定理 47