四色定理（世界近代三大数学难题之一），又称四色猜想、四色问题，是世界三大数学猜想之一。四色定理的本质正是二维平面的固有属性，即平面内不可出现交叉而没有公共点的两条直线。很多人证明了二维平面内无法构造五个或五个以上两两相连区域，但却没有将其上升到逻辑关系和二维固有属性的层面，以致出现了很多伪反例。不过这些恰恰是对图论严密性的考证和发展推动。计算机证明虽然做了百亿次判断，终究只是在庞大的数量优势上取得成功，这并不符合数学严密的逻辑体系，至今仍有无数数学爱好者投身其中研究。
为《四色定理普遍地证明》打下了基础。
For the 'Four Color Theorems Are Proved Generally' has built the foundation.
论述四色的由来及确切答案，并且证明了四色定理的成立。
This article discussed the origin of the colour problem and its true answer and argue the theorem of four color to set.
虽然在数学领域也有一些新的进展，例如对著名的四色定理的证明，1但是基本的材料却保持不变。
Although there have been some new developments in mathematics, such as the proof of the famous four-color theorem, 1 the basic material has remained unchanged.
应用推荐