四色猜想，也被稱為四色定理或四色問題，是世界近代三大數學難題之一，該猜想的主要內容是：任何一張地圖只用四種顏色就能使具有共同邊界的國家著上不同的顏色，也就是說，在不引起混淆的情況下，一張地圖只需四種顏色來標記就行。
用數學語言來說，就是將平面任意地細分為不相重疊的區域，每一個區域總可以用1、2、3、4這四個數字之一來標記，而不會使相鄰的兩個區域得到相同的數字。這裡所指的相鄰區域是指有一整段邊界是公共的，如果兩個區域只相遇於一點或有限多點就不算相鄰。
四色猜想最早是由一名英國大學生提出的，後在1872年由英國數學家凱利正式向倫敦數學學會提出。這個問題引起了世界範圍內數學家們的廣泛關注。經過多年的研究和嘗試，美國伊利諾斯大學的哈肯和阿佩爾在1976年利用電子計算機完成了四色定理的證明。