四色问题：证明、推广和应用

查六度空间理论资料的时候，总看到说和四色问题很相似，但后者可以在数学上证明。之前也只知道结论，顺便查下，看看数学上是怎么证明的，同时也弄明白几个疑问。

地图四色定理(Four color theorem)最先是由一位叫古德里（Francis Guthrie）的英国大学生提出来的。四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”

百科上介绍，为了解决这个问题，刺激了图论和拓扑学的发展。这个问题还是很牛的，可即便如此，到如今还只有哈肯与阿佩尔在计算机上证明，而没有简洁的书面证明。