四色問題又稱四色猜想，是世界近代三大數(shù)學難題之一。 四色問題的內容是“任何一張地圖只用四種顏色就能使有共同邊界的國家著上不同的顏色?！?/p>

1852年，在英國一家科研機構搞地圖著色工作的格思里，首先提出了四色問題。 1872年，英國數(shù)學家凱利正式向倫敦數(shù)學學會提出這個問題，于是四色猜想成了世界數(shù)學界關注的問題。 電子計算機的發(fā)展促進了“四色問題”的研究進程。

美國數(shù)學教授哈肯和阿佩爾于1976年6月,使用伊利諾斯大學的電子計算機計算了1200個小時，作了100億個判斷，終于完成了四色定理的證明，轟動了世界。 不過不少數(shù)學家認為應該有一種簡捷明快的書面證明方法。