地图四色理论是什么

以前高中学地理的时候，老师提到过这个，大概意思就是在世界地图上用4个颜色就足以区分所有相邻的国家。
地图四色理论即四色定理，又称四色猜想、四色问题，是世界三大数学猜想之一。看到这里我瞬间觉得曾经的我想不通这个问题实在是太理所应当了。
四色定理的本质是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线。很多人证明了二维平面内无法构造五个或五个以上两两相连区域，但却没有将其上升到逻辑关系和二维固有属性的层面，以致出现了很多伪反例。
不过这些恰恰是对图论严密性的考证和发展推动。计算机证明虽然做了百亿次判断，终究只是在庞大的数量优势上取得成功，这并不符合数学严密的逻辑体系，现在仍有无数数学爱好者投身其中研究。