四色问题

将一张地图着色，要求凡有公共边界的两个国家或地区染色不同。1840年德国数学家牟比乌斯首先提出猜想：对于平面上的任何地图，用四种颜色就足够了。1976年美国的阿普尔等人借助电子计算机，证明了四色猜想成立。

四色定理，又称四色猜想、四色问题，是世界三大数学猜想之一。 四色定理的本质正是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线。很多人证明了二维平面内无法构造五个或五个以上两两相连区域，但却没有将其上升到逻辑关系和二维固有属性的层面，以致出现了很多伪反例。不过这些恰恰是对图论严密性的考证和发展推动。计算机证明虽然做了百亿次判断，终究只是在庞大的数量优势上取得成功，这并不符合数学严密的逻辑体系，至今仍有无数数学爱好者投身其中。