涂色问题

1852年,英国数学家格斯里向他的老师摩尔根请教四色问题:在平面上的任何地图是否总可以用四种颜色来着色,就能使得每两个相邻的地区颜色都不相同?大数学家摩尔根和哈密顿都不能证明这个看上去非常简单的问题。1872年,凯莱正式向英国数学会提出四色问题,于是四色问题进入了数学家的圈子。直到1976年,美国人哈肯与阿贝尔合作,整整化了1200小时的电子计算机工作时间,终于证明四色问题是正确的。不用电子计算机。