世界近代三大數學難題之一

四色問題

世界近代三大數學難題之一是四色問題，又稱四色猜想或四色定理。該猜想提出於1852年，由英國人弗南西斯·格思里在給地圖著色時發現的一個有趣現象，即「每幅地圖都可以用四種顏色著色，使得有共同邊界的國家著上不同的顏色」。這一猜想引起了世界數學界的廣泛關注，許多一流數學家都試圖證明，但長期未能解決。直到1976年，美國數學家阿佩爾與哈肯在美國伊利諾斯大學的兩台不同的電子計算機上，用了1200個小時，做了100億次判斷，終於完成了四色猜想的證明。