生提出来的。四色问题的内容是:“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”?定理概述:用数学语言表示,即“将平面任意地细分为不相重迭的区域,每一个区域总可以用1,2,3,4这四个数字之一来标记,而不会使相邻的两个区域得到相同的数字。”这里所指的相邻区域,是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点,就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆定理的提出1852年首先由英国青年大学生古德里提出“四色问题”;1878年凯莱发表《论地图的着色》,掀起了一场四色问题热;1879年律师肯泊(英,1849-1922年)宣布证明了“四色问题”并发表于《美国数学杂志》上;1890年希伍德(英,1861-1955年)指出了肯泊的错误,证明了“五色定理”并一生坚持研究四色问题。定理的发展进入20世纪以来,科学家们对四色猜想的证明基本上是按照肯泊的想法在进行;1913年,美国著名数学家、哈佛大学的伯克霍夫利用肯泊的想法,结合自己新的设想;证明了某些大的构形可约;美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色;1950年,有人从22国推进到35国。1960年,有人又证明了39国以下的地图可以只用四种颜色着色;随后又推进到了50国;这种推进仍然十分缓慢。定理的解决1976年哈肯和阿佩尔,利用“不可避免构形集”、“可约集”等关键意义的概念,采用计算机实验方法,成功获得了一组不可避免可约图,最终解决了四色问题。定理的影响“四色问题”的被证明仅解决了一个历时100多年的难题,而且成为数学史上一系列新思维的起点。在“四色问题”的研究过程中,不少新的数学理论随之产生,也发展了很多数学计算技巧。如将地图的着色问题化为图论问题,丰富了图论的内容。不仅如此,“四色问题”在有效地设计航空班机日程表,设计计算机的编码程序上都起到了推动作用。分形与混沌
全文预览
