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

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

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