什么是 四色问题

四色问题又称四色猜想，是世界近代三大数学难题之一。四色问题的内容是“任何一张地图只用四种颜色就能使有共同边界的国家着上不同的颜色。”

1852年，在英国一家科研机构搞地图着色工作的格思里，首先提出了四色问题。1872年，英国数学家凯利正式向伦敦数学学会提出这个问题，于是四色猜想成了世界数学界关注的问题。电子计算机的发展促进了“四色问题”的研究进程。

美国数学教授哈肯和阿佩尔于1976年6月,使用伊利诺斯大学的电子计算机计算了1200个小时，作了100亿个判断，终于完成了四色定理的证明，轰动了世界。不过不少数学家认为应该有一种简捷明快的书面证明方法。