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

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

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

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

　　而說起四色定理，就不得不提到我們日常生活中所用的一個基本生產工具計算機了。因為現在幾乎所有的四色定理證明相關過程都用到了計算機。這也為數學問題的證明方法打開了一個新思路，即計算機輔助證明法。

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

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

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

　　再后來直到1872年，當時著名的數學家凱利才正式向倫敦數學學會提出這個問題，從那以后這個問題就被世界廣泛關注。

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

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

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

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

　　然后就是計算機的發明和運用了。

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

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

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

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

　　現在數學界對于四色定理的態度分成了兩個派別。一部分人認為四色定理應該叫四色猜想，因為它還沒有被人類用簡潔的數學語言證明，這也意味著這一部分人并不承認計算機證明的權威性和科學性。

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

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

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

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

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

　　……全書完

　　江湖再見，各位保重。