06～1871）1852年10月23日致哈密頓的一封信提供了有關四色定理來源的最原始的記載。他在信中簡述了自己證明四色定理的設想與感受。一個多世紀以來，數學家們為證明這條定理絞盡腦汁，所引進的概念與方法刺激了拓撲學與圖論的生長、發展。1976年美國數學家阿佩爾（K。Appel）與哈肯（W。Haken）宣告藉助電子計算機獲得了四色定理的證明，又為用計算機證明數學定理開拓了前景。

四色問題又稱四色猜想，是世界近代三大數學難題之一。

四色問題的內容是：“任何一張地圖只用四種顏色就能使具有共同邊界的國家著上不同的顏色。”用數學語言表示，即“將平面任意地細分為不相重迭的區域，每一個區域總可以用1，2，3，4這四個數字之一來標記，而不會使相鄰的兩個區域得到相同的數字。”

這裡所指的相鄰區域，是指有一整段邊界是公共的。如果兩個區域只相遇於一點或有限多點，就不叫相鄰的。因為用相同的顏色給它們著色不會引起混淆。

電子計算機問世以後，由於演算速度迅速提高，加之人機對話的出現，大大加快了對四色猜想證明的程序。美國伊利諾大學哈肯在1970年著手改進“放電過程”，後與阿佩爾合作編制一個很好的程式。就在1976年6月，�