前言
1852年，南非數學家Francis Guthrie提出這麼一個問題：是否能只用四種顏色為所有地圖染色？
後被稱為『四色問題』或『四色猜想』。人們發現，要證明寬鬆一點的『五色定理(即「只用五種顏色就能為所有地圖染色」)』很容易，但四色問題卻出人意料地異常困難。曾經有許多人發表四色問題的證明或反例，但都被證實是錯誤的。