什么是四色猜想？

四色猜想来自英国，被称为是近代世界三大数学难题之一。一位在科研部门搞地图着色工作的大学毕业生在工作中发现了一个有趣的现象，那就是每幅地图都可以用四种颜色来着色，使得拥有共同边界的国家都被染上不同的颜色。数学家们永远都那么好奇，在此之后，英国的数学家凯利就正式向伦敦数学学会提出了这个猜想：任何地图着色只需要四种颜色就足够了。也曾有科学家对此作出了证明，可遗憾的是，这些证明在后来都被证明是错误的。直到电子计算机问世以后的1976年，两位美国的数学家——阿佩尔和哈肯在两台不同的电子计算机上苦苦奋战了1200个小时，作了1000亿个判断，才完成了四色猜想的证明。