四种颜色就够了

为了区别地图上两个相邻的国家或地区，通常是在其中分别涂以不同的颜色。人们在实践中发现，只需要四种颜色就够用了。

一百多年来，求证“四色定理”吸引了诸如摩根、葛斯利、凯里等一批数学家进行研究，但都未能成功。1976年美国伊利诺斯大学两名青年数学家阿佩尔和海肯用计算机证明了“四色定理”的正确

证明“四色定理”需要分析可能出现的多种组合图形，这种分析极为复杂。如果依靠人力，一辈子的时间也不够用。即使使用计算机，还是用去了1200个小时。这项研究体现了人与计算机合作的无限潜力。(《今晚报》3.15)