此猜想已被證明不再是猜想是定理了原理了
更新時間：2022-04-16 15:08:10作者：佚名
此猜想已被證明
不再是猜想
是定理了
四色原理
之一。
的提出來自英國。
，畢業于
的弗南西斯·格思里( )來到一家科研單位搞地圖著色工作時，發現了一種有趣的現象：“看來，每幅地圖都可以用四種顏色著色，使得有共同邊界的國家著上不同的顏色。”這個結論能不能從數學上加以嚴格證明呢？他和在大學讀書的弟弟
決心試一試。兄弟二人為證明這一問題而使用的稿紙已經堆了一大疊數學分解尺，可是研究工作沒有進展。
10月23日，他的弟弟就這個問題的證明請教他的老師、著名
德·
，
也沒有能找到解決這個問題的途徑，于是寫信向自己的好友、著名
爵士請教。
接到
的信后，對
進行論證。但直到1865年
逝世為止，問題也沒有能夠解決。
，英國當時最著名的
正式向倫敦數學學會提出了這個問題，于是
成了世界數學界關注的問題。世界上許多一流的數學家都紛紛參加了
的大會戰。1878～1880年兩年間，著名的律師兼數學家
和
兩人分別提交了證明四色猜想的論文，宣布證明了
，大家都認為四色猜想從此也就解決了。
11年后，即
，數學家赫
以自己的精確計算指出
的證明是錯誤的。不久，
的證明也被人們否定了。后來，越來越多的數學家雖然對此
，但一無所獲。于是，人們開始認識到，這個貌似容易的題目，其實是一個可與
相媲美的難題：先輩
們的努力，為后世的數學家揭示四色猜想之謎鋪平了道路。
進入
以來，
對四色猜想的證明基本上是按照
的想法在進行。
，
在肯普的基礎上引進了一些新技巧，美國數學家
于
證明了22國以下的地圖都可以用四色著色。1950年，有人從22國推進到35國。1
，有人又證明了39國以下的地圖可以只用四種顏色著色；隨后又推進到了50國。看來這種推進仍然十分緩慢。電子計算機問世以后，由于演算速度迅速提高，加之
的出現，大大加快了對四色猜想證明的進程。1976年，在J. Koch的算法的支持下，美國數學家
( Appel)與
( Haken)在美國
的兩臺不同的電子計算機上，用了1200個小時，作了100億判斷，終于完成了
的證明。四色猜想的計算機證明，轟動了世界,當時中國科學家也有在研究這原理。它不僅解決了一個歷時100多年的難題，而且有可能成為
上一系列
的起點。
將地圖上的無限種可能情況減少為1,936種狀態（稍后減少為1,476種），這些狀態由計算機一個挨一個的進行檢查。這一工作由不同的程序和計算機獨立的進行了復檢。在1996年，Neil 、 、Paul 和Robin 使用了一種類似的
，檢查了633種特殊的情況。這一新證明也使用了計算機，如果由人工來檢查的話是不切實際的。
相關文章
為您推薦
加載中...