小的號尚般我1250 2017-06-01

這是一個拓撲學問題，即找出給球面（或平面）地圖著色時所需用的不同顏色的最小數目。著色時要使得沒有兩個相鄰（即有公共邊界線段）的區域有相同的顏色。1852年英國的格思裡推測：四種顏色是充分必要的。1878年英國數學家凱利在一次數學家會議上呼籲大家注意解決這個問題。直到1976年，美國數學家阿佩哈爾、哈肯和考西利用高速電子計算機運算了1200個小時，才證明了格思裡的推測。四色問題的解決在數學研究方法上的突破，開闢了機器證明的美好前景。