四色定理,又稱四色猜想或四色問題,是世界近代三大數學難題之一。其內容如下:
任何一張地圖只用四種顏色就能使具有共同邊界的國家著上不同的顏色。
用數學語言表示,即「將平面任意地細分為不相重疊的區域,每一個區域總可以用1、2、3、4這四個數字之一來標記,而不會使相鄰的兩個區域得到相同的數字。」這裡所指的相鄰區域是指有一整段邊界是公共的。如果兩個區域只相遇於一點或有限多點,就不叫相鄰的。
四色定理的提出通常歸功於英國大學生弗朗西斯·古德里(Francis Guthrie)。雖然四色定理看似簡單,但其證明卻極具挑戰性,長期以來吸引了無數數學家和計算機科學家的關注。儘管有大量的嘗試和計算機輔助證明,但直到目前為止,尚未找到一種普遍接受的證明方法。因此,四色定理仍然是一個開放問題,等待未來的數學家提供最終的證明。