第四十二章 四色定理（全書(shū)完）

　　新生報(bào)道的時(shí)間一共有兩天，所以第三天才會(huì)正式上課。

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

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

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

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

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

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

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

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

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

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

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

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

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

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

　　但因?yàn)橛?jì)算機(jī)的論證方法究其根本還是窮舉法，并無(wú)法給出令人信服的思考過(guò)程，所以人們還是在尋找一種簡(jiǎn)潔的數(shù)學(xué)語(yǔ)言來(lái)證明。

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

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

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

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

　　然后沈從心覺(jué)得這個(gè)命題太難了，一時(shí)間傷心過(guò)度，居然離開(kāi)了人世。

　　丁小淇聽(tīng)到這個(gè)消息，也傷心過(guò)度離開(kāi)人世。

　　陳彪失去了好友，也傷心過(guò)度，離開(kāi)了人世。

　　哦，對(duì)了，還有工具人賈明，聽(tīng)到這個(gè)消息也傷心過(guò)度，離開(kāi)了人世。

　　……全書(shū)完

　　江湖再見(jiàn)，各位保重。