四色定理（Four Color Theorem）是壹個關於地圖著色的問題。該問題提出了這樣壹個問題：任何平面地圖都可以使用四種或更少顏色進行著色，而使得任何兩個***享邊界的區域均不使用相同的顏色。
簡單來說，四色定理指出，如果妳有壹個地圖，妳只需要四種顏色就能夠將所有的區域進行著色，且相鄰區域的顏色不同。四色定理是由英國數學家弗朗西斯·格思哥裏和約翰·哈維在1976年證明的。證明過程非常復雜，涉及到大量計算機模擬和人工推導。
在此之前，該問題已經困擾了數學家們將近壹個世紀之久。雖然四色定理已經被證明，但是它仍然是壹個重要的數學難題，因為它涉及到許多與圖論和計算機科學相關的問題，例如如何有效地著色，以及如何優化地圖著色算法等。