对四色地图问题及一个书面证明.docVIP

对四色地图问题的一个书面证明 张 天 树 tianshu_zhang507@ 摘 要 两个相邻图形的一处相邻边界只能是两条相邻的边界线. 并让我们把任意未着色的平面地图的平面看成是由两种平行且一一交互的直线段组成，且每一种的每一条线段也是由一一交互的两种颜色点组成，于是，整个平面共有四种颜色点. 在对平面地图上的图形着色以前，先要对它的图形进行分类和变换，首先依次把每个相邻不到4个图形的图形、或相邻不到4个图形的一片图形与至少有4个相邻图形的一个相邻图形合并，然后，从整体到部分地变换每片图形的每一个的边界封闭曲线成只有横、竖线段组成的矩形框. 最后，根据矩形边界线上某些特殊点的颜色或与相邻图形不同的颜色对每个图形着色. 关键词 平面地图, 图形，分类，四色，边界封闭曲线，颜色点，拓扑变换，图形包围圈，矩形. 基本概念 四色地图问题是说，给任意一个平面或球面地图上的每一个图形染上一种颜色，并使相邻两个图形被染上的颜色不同，那么，只要4种颜色就够了. 我们把球面地图上的图形看成是印在橡皮曲面上的图形，只要在任意一个图形中破开一个孔，然后用力伸展球面成平面，那么，这个球面地图就变成了一个平面地图. 这个孔的边缘就成了这个平面地图的边缘，但是，它不是图形的一条边界封闭线.显然，被开孔图形的一条边界封闭曲线在平面上向内包围了该地图上除开孔图形本身和开孔图形其它边界封闭曲线包围的图形外的全部图形，而这条边界封闭曲线向外包围它所在的开孔图形和这开孔图形其它边界封闭曲线向内包围的图形.因此，我们只需要证明来自任意球面地图上的平面地图上的全部图形就行了. 因为从球面地图转换来的平面地图包含了每一种局部的平面地图，于是我们只需要证明在存在各种可能情况下的整体平面地图, 以下提到的平面地图指的就是这样的整体平面地图，凡是提到的图形指的都是在这种平面地图上的图形. 就平面地图而论，存在各式各样形状、各种不同相邻关系的图形.但是，不管怎样，每个图形至少有一条边界封闭曲线.并且,每个图形必须是连成一片，而不能分成至少两个不相连接的部分.另外，任意一个平面地图都必须由图形填满，而不能存在没有图形的任何空隙. 大家都知道：我们所说的平面地图的平面都是指的欧几里德几何平面.按照欧几里德几何对点和线的定义，即每个点是不可分的，线是由点组成，和每条线只有长度而没有宽度. 我们可把一条边界封闭曲线的一部分称为一段边界线. 既然如此，任何两个相邻图形不能共有平面上的若干点、一条或一段边界封闭线. 那么，任意两个相邻图形的一处连续的边界，就只能是两条相邻的边界线. 如果还未对一个平面地图上的全部图形着色，我们就称这个平面地图为一个未染色的平面地图. 如果一个平面地图上的全部图形都被着上了色，但不是最后着色，尽管某些图形的每一个由至少两个原有图形组成，理所当然，我们称这样的平面地图为一个临时着色的平面地图. 让我们把任意一个未着色的平面地图的平面看作由一一交互的两种纵向直线段组成，并且一种的每一条由一个黑色点●交互一个白色点○组成，另一种的每一条由一个红色点?交互一个天蓝色点?组成. 另一方面，这个平面也可看作是由一一交互的两种横向直线段组成，并且每一种的每一条横向直线段也是由彼此交互的两种颜色点组成.因此，无论从竖向看，还是从横向去看，相邻的两条直线段的各两种颜色点都完全不同. 请看第一图: ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ● ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ○ ? ● ? ● ? ● ? ● ? ●