四色问题：证明、推广和应用
查六度空间理论资料的时候，总看到说和四色问题很相似，但后者可以在数学上证明。之前也只知道结论，顺便查下，看看数学上是怎么证明的，同时也弄明白几个疑问。
地图四色定理(Four color theorem)最先是由一位叫古德里（Francis Guthrie）的英国大学生提出来的。四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”
百科上介绍，为了解决这个问题，刺激了图论和拓扑学的发展。这个问题还是很牛的，可即便如此，到如今还只有哈肯与阿佩尔在计算机上证明，而没有简洁的书面证明。
拓扑学的百度百科中有简易的四色定理证明，但并不严密。
“二维组合”中，只有证明至少需要四种颜色，而四色定理应该还包括“只需要四种颜色”。
不过，在“三位扩展”中，有提到“在三维空间上，根据七色环面 ，可以构造一个空间的划分，使得至少需要七种颜色才可以完全分割。”
Matrix67在经典证明：环面上的七色定理中有七色定理的证明，是四色定理从二维空间推广到环面上。
那将推广到三维空间中呢？
应该是无解的。因为在三维空间中，任意N个点是可以两两相连的。四色定理拓展到三维的话是几色？里面用章鱼解释的很形象。
更高维度也是如此。
对于四色定理的应用，有效地设计航空班机日程表，设计计算机的编码程序上都起到了推动作用。而对于互联网，目前还没想到有什么可以应用的地方。不过，排课程表的时候可以用到吗？貌似不是很相关，除非要给课程表的框框里涂色。。
四色定理也有局限性。
虽然四色定理证明了任何地图可以只用四个颜色着色，但是这个结论对于现实上的应用却相当有限。现实中的地图常会出现飞地，即两个不连通的区域属于同一个国家的情况（例如美国的阿拉斯加州），而制作地图时我们仍会要求这两个区域被涂上同样的颜色，在这种情况下，四个颜色将会是不够用的。
参考资料：
