四色问题的历史

四色问题和我们上一篇文章所提到的一笔画问题都是图论中的重要问题,这个问题的提出还要追溯到19世纪。
1852年，英国的大学生兄弟在给英国地图上色时发现,想要让任意两个有公共边界的曲域颜色不同，似乎只需要四种颜色就够了。但是他们自己证明不了这个结论，于是向数学家摩根求教。摩根很容易证明出了三种颜色是不够的，需要至少三种颜色，但是并没有解决这个问题。而且当时这个问题并没有得到数学家们的重视。
直到1878年，英国数学家凯莱在《伦敦数学会文集》上发表《论地图着色问题》的文章。由此才引起了数学界更大的注意。

地图着色

四色问题弱定理的求解

因为很长一段时间内四色问题并没有得到较好的解决，于是数学家们退而求其次，希望先证明更弱的命题。
很快地，数学家们也得出了两个更弱的结论：
1 .“五色问题”是成立的。
2 .对于有限个国家的地图着色问题，四种颜色是足够的。
这里我们发现，有时候退而求其次，先解决更弱的数学问题也是一种数学素养。

四色问题的解决

直到1976年，美国伊利诺伊大学的哈肯和阿佩尔根据前人的算法，在计算机的帮助下，耗时1200小时，最终证明了四色猜想。
四色问题是人类第一次使用计算机解决并证明数学问题，不得不说这是数学发展史上的一大步.