第四十二章 四色定理（全書完）

　　新生報道的時間一共有兩天，所以第三天才會正式上課。

　　而且從今天開始，他就有美女陪著他一起學(xué)習(xí)啦，再也不用每天看著那個肌肉猛男了。

　　和丁小淇面對面坐著，沈從心決定今天研究一下前幾天抽獎抽到的什么四色定理。

　　不知道你們小時候有沒有觀察過家里的地圖，無論多么復(fù)雜的地形，如何曲折的邊界，整張地圖都只用四種顏色上色。而這就是四色問題從字面上描述的問題了。

　　而說起四色定理，就不得不提到我們?nèi)粘Ｉ钪兴玫囊粋€基本生產(chǎn)工具計算機(jī)了。因為現(xiàn)在幾乎所有的四色定理證明相關(guān)過程都用到了計算機(jī)。這也為數(shù)學(xué)問題的證明方法打開了一個新思路，即計算機(jī)輔助證明法。

　　而這個問題最早是由畢業(yè)于倫敦大學(xué)的格斯里在1852年提出的，當(dāng)時的他正在一家科研單位工作，偶然間注意到地圖著色只用四種顏料，于是不由自主的提出了這樣一個問題。

　　他本以為以自己倫敦大學(xué)高材生的身份，這個小小的問題還不是手到擒來，可是在后來的研究中，即使邀請了師從著名數(shù)學(xué)家德?摩爾根的同胞弟弟，又耗費了整整三個月時間，這個問題也毫無進(jìn)展。

　　于是同年十月他們請教了摩爾根，可是就連摩爾根也沒有辦法解決這個問題，于是這個問題再一次流傳到他的好友，著名的數(shù)學(xué)家哈密頓爵士手里，但是這位可憐的老爵士致死也沒有解決這個問題。

　　再后來直到1872年，當(dāng)時著名的數(shù)學(xué)家凱利才正式向倫敦數(shù)學(xué)學(xué)會提出這個問題，從那以后這個問題就被世界廣泛關(guān)注。

　　在1878年和1880年共有兩名數(shù)學(xué)家提交論文，宣布證明了四色定理，可是后來全部被推翻了。

　　后來陸陸續(xù)續(xù)又有很多人自稱證明了，可是沒有一個人能完全正確的給出證明方法。

　　直到1913年，美國數(shù)學(xué)家奧克霍夫結(jié)合前人的方法，用新的設(shè)想，從小的地圖開始，逐步推理證明。

　　但用這種方法進(jìn)步緩慢，47年過去了，到了1960年，才從證明22國以下的地圖可以用四色著色，推進(jìn)到50國以下。

　　然后就是計算機(jī)的發(fā)明和運用了。

　　1976年，美國伊利諾斯大學(xué)利用計算機(jī)輔助，做了一百億個判斷，結(jié)果沒有一張地圖是需要四色以上的，終于到此四色定理的證明終于被畫上了一個不算完美的句號。

　　但因為計算機(jī)的論證方法究其根本還是窮舉法，并無法給出令人信服的思考過程，所以人們還是在尋找一種簡潔的數(shù)學(xué)語言來證明。

　　看完四色定理的發(fā)展歷史，沈從心心里對這個問題大概有個了解，同時也慶幸自己沒有像一只沙雕一樣，當(dāng)時直接把論文發(fā)出去。

　　四色定理可是世界近代三大數(shù)學(xué)猜想之一，（另外兩大猜想是費馬猜想和哥德巴赫猜想）雖然已經(jīng)被計算機(jī)證明了，可憑借自己一個小小的準(zhǔn)大學(xué)生的身份發(fā)表一篇解決世界級難題的論文，估計自己有可能被切片研究了。

　　現(xiàn)在數(shù)學(xué)界對于四色定理的態(tài)度分成了兩個派別。一部分人認(rèn)為四色定理應(yīng)該叫四色猜想，因為它還沒有被人類用簡潔的數(shù)學(xué)語言證明，這也意味著這一部分人并不承認(rèn)計算機(jī)證明的權(quán)威性和科學(xué)性。

　　另一部分人則認(rèn)為既然這個定理已經(jīng)被計算機(jī)證明了，那么就已經(jīng)可以說是定理了。

　　然后沈從心覺得這個命題太難了，一時間傷心過度，居然離開了人世。

　　丁小淇聽到這個消息，也傷心過度離開人世。

　　陳彪失去了好友，也傷心過度，離開了人世。

　　哦，對了，還有工具人賈明，聽到這個消息也傷心過度，離開了人世。

　　……全書完

　　江湖再見，各位保重。