四色问题的内容是“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”也就是说在不引起混淆的情况下一张地图只需四种颜色来标记就行。
用数学语言表示即“将平面任意地细分为不相重叠的区域,每一个区域总可以用1234这四个数字之一来标记而不会使相邻的两个区域得到相同的数字。”这里所指的相邻区域是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点就不叫相邻的。
- 中文名
- 四色定理
- 外文名
- Four color theorem
- 别 名
- 四色问题,四色猜想
- 提出者
- 格斯里(Francis Guthrie)
- 提出时间
- 1852年
- 适用领域
- 地图编辑
- 应用学科
- 拓扑学、图论
- 类 别
- 世界近代三大数学难题之一
1852年,毕业于伦敦大学的格斯里(Francis Guthrie)来到一家科研单位搞地图着色工作时,发现每幅地图都可以只用四种颜色着色。这个现象能不能从数学上加以严格证明呢?他和他正在读大学的弟弟决心试一试,但是稿纸已经堆了一大叠,研究工作却是没有任何进展。 [1]
1852年10月23日,他的弟弟就这个问题的证明请教了他的老师、著名数学家德·摩尔根,摩尔根也没有能找到解决这个问题的途径,于是写信向自己的好友、著名数学家哈密顿爵士请教,但直到1865年哈密顿逝世为止,问题也没有能够解决。 [1]
1878~1880年两年间,著名的律师兼数学家肯普(Alfred Kempe)和泰勒(Peter Guthrie Tait)两人分别提交了证明四色猜想的论文,宣布证明了四色定理。 [1]
大家都认为四色猜想从此也就解决了,但其实肯普并没有证明四色问题。11年后,即1890年,在牛津大学就读的年仅29岁的赫伍德以自己的精确计算指出了肯普在证明上的漏洞。他指出肯普说没有极小五色地图能有一国具有五个邻国的理由有破绽。不久泰勒的证明也被人们否定了。人们发现他们实际上证明了一个较弱的命题——五色定理。就是说对地图着色,用五种颜色就够了。 [2]
不过,郝伍德没有彻底否定肯普论文的价值,运用肯普发明的方法,郝伍德证明了较弱的五色定理。一方面,五种颜色已足够,另一方面,确实有例子表明三种颜色不够。
肯普是用归谬法来证明的,大意是如果有一张正规的五色地图,就会存在一张国数最少的“极小正规五色地图”,如果极小正规五色地图中有一个国家的邻国数少于六个,就会存在一张国数较少的正规地图仍为五色的,这样一来就不会有极小五色地图的国数,也就不存在正规五色地图了。这样肯普就认为他已经证明了“四色问题”,但是后来人们发现他错了。 [1-2]
不过肯普的证明阐明了两个重要的概念,对以后问题的解决提供了途径。第一个概念是“构形”。他证明了在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国,不存在每个国家都有六个或更多个邻国的正规地图,也就是说,由两个邻国,三个邻国、四个或五个邻国组成的一组“构形”是不可避免的,每张地图至少含有这四种构形中的一个。 [2-3]
自从引入“构形”,“可约”概念后,逐步发展了检查构形以决定是否可约的一些标准方法,能够寻求可约构形的不可避免组,是证明“四色问题”的重要依据。但要证明大的构形可约,需要检查大量的细节,这是相当复杂的。 [2-3]
人们发现四色问题出人意料地异常困难,曾经有许多人发表四色问题的证明或反例,但都被证实是错误的。后来,越来越多的数学家虽然对此绞尽脑汁,但一无所获。于是,人们开始认识到,这个貌似容易的题目,其实是一个可与费马猜想相媲美的难题。
进入20世纪以来,科学家们对四色猜想的证明基本上是按照肯普的想法在进行。
1950年,温恩从22国推进到35国。
1960年,有人又证明了39国以下的地图可以只用四种颜色着色;随后又推进到了50国。看来这种推进仍然十分缓慢。 [4]
高速数字计算机的发明,促使更多数学家对“四色问题”的研究。电子计算机问世以后,由于演算速度迅速提高,加之人机对话的出现,大大加快了对四色猜想证明的进程。就在1976年6月,在美国伊利诺斯大学的两台不同的电子计算机上,用了1200个小时,作了100亿个判断,结果没有一张地图是需要五色的,最终证明了四色定理,轰动了世界。 [1] [5]
第一个计算机解是由美国数学家Appel和Haken与运用计算机的专家Kock三人合作的成果 [6]。这是一百多年来吸引许多数学家与数学爱好者的大事,当两位数学家将他们的研究成果发表的时候,当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳,以庆祝这一难题获得解决。
数学家们为证明这条定理绞尽脑汁,所引进的概念与方法刺激了拓扑学与图论的生长、发展。
在“四色问题”的研究过程中,不少新的数学理论随之产生,也发展了很多数学计算技巧。如将地图的着色问题化为图论问题,丰富了图论的内容。不仅如此,“四色问题”在有效地设计航空班机日程表,设计计算机的编码程序上都起到了推动作用。