四色定理（又稱四色猜想或四色問題）是世界近代三大數學難題之一，其內容是「任何一張地圖只用四種顏色就能使具有共同邊界的國家著上不同的顏色。」也就是說，在不引起混淆的情況下，一張地圖只需四種顏色來標記就行。用數學語言表示即「將平面任意地細分為不相重疊的區域，每一個區域總可以用1234這四個數字之一來標記而不會使相鄰的兩個區域得到相同的數字。」這裡所指的相鄰區域是指有一整段邊界是公共的。如果兩個區域只相遇於一點或有限多點就不叫相鄰的區域。
四色定理最早來源於地圖的上色問題，這個問題被正式提出後，人們發現要證明它是非常困難的。1976年，數學家肯尼斯·阿佩爾和沃爾夫岡·哈肯藉助電子計算機得到了一個完全的證明，這是首個主要藉助計算機證明的定理。儘管這個證明一開始並不為許多數學家接受，因為不少人認為這個證明無法用人手直接驗證，但仍有數學家希望能夠找到更簡潔或不藉助計算機的證明。