四色理论即四色定理，又称四色猜想、四色问题，是指在一张地图上，虽然有许多边界划分，但是只需四个颜色就足以让各个区域着上不同颜色。

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