第96章 四色猜想
「知文，你瞄我幹嘛？我可沒說要參加ACM世界編程大賽？」吳哲開著沈知文的玩笑。
沈知文也不回話，兩眼就直直地盯著吳哲。被沈知文這麼盯著，吳哲只能投降。
「知文，這就是你找人幫忙的態度？這都快趕上威脅了。」吳哲笑著說道。
正說笑間，汪潮罵了句：「挖槽。」就見電腦死機黑屏了。
「汪大少，你又幹什麼了？看小電影了？你年紀還小，別弄那些有的沒的？」黃明海調笑著汪潮。
不過雖然是玩笑話，幾人還是很好奇的。畢竟電腦是沈知文這個高手配的，配置高，而且自己宿舍的防護都是沈知文和吳哲自己編寫的陳序，而且汪潮的電腦水平也不低。要說是電腦病毒和被人黑了，不可能汪潮連一點反應也沒有。
「呸，你才看小電影呢？我這運行下我寫的程序，沒想到剛運行就不行了。我這還找不出原因。」汪潮臉色通紅地說道。媽的，好壞自己也算天才吧！寫個程序能把自己宕機，汪潮不臉紅才怪。
「知文你來幫我看看，這什麼鬼？」實在找不出原因，汪潮也只能找沈知文了。
沈知文湊過來看了看，然後又仔細檢查了下。動手敲下確認鍵運行，電腦依然是宕機了。
里里外外檢查了下，沒找出毛病。可只要一運行汪潮編寫的程序，就會宕機，可沈知文檢查了下代碼，邏輯是通的，編碼也沒問題。系統也沒報錯，可就是運行不了。這現象還是第一次碰到。
「汪潮，你先別弄了，學校選拔考試快開始了。你和吳哲先去考，我和知文先幫你看看怎麼回事？」黃明海看了下時間說道。
「嗯，那我們先去考試。「汪潮也知道輕重。
轉身又招呼吳哲道：」走了，阿哲！」
「你一個人去吧！我就不去了。」吳哲笑著回道。
幾人一臉疑惑地看著吳哲，你不去了？這算什麼？當時可是在水木大學放了話的。吳哲要不參加，那他們幾人以後都沒臉見其他高校的人。
吳哲看其他幾人神色，也知道不能再開玩笑了。笑著說道：「前兩天學院通知我不用參加選拔考試了，怕耽誤開心網的事情，我可以直接去參加丘賽。所以汪潮你需要一個人過去了，好好考，我看好你喲！」
「MMP！」汪潮現在只想大罵一聲。
沈知文和黃明海見不是吳哲不參加丘賽，懸著的心也放了下來。都開始調笑汪潮。
汪潮出門前就只能做了個豎中指的手勢。
吳哲等汪潮出門後，也開始查看起汪潮寫的程序起來，代碼沒問題。吳哲慢慢看了起來，邏輯看起來也自洽。吳哲皺起眉頭思考起來。
「嗯？這地方好像很眼熟啊！」吳哲眼光亮了亮，然後找汪潮的筆記本，看起他的建模思路來，腦中也是高速運轉。
「知文，別忙活了。我應該知道問題所在了。」吳哲開口道。
「什麼問題？」沈知文問道。
「呵呵，汪潮的心太大，你看這四個指標。上漲—下跌—整理—震盪，再帶入其它參數，對於其的渲染結果做出判斷。這種判斷你看像什麼？
「四色猜想？」沈知文立馬反應過來。「艹，汪潮他怎麼想的。這機器不宕機就怪了。」
「估計他自己也沒反應過來，認為邏輯自洽就行了。這不宕機就怪了。計算量太大，可能需要超算才能完成。」吳哲笑著說道。
「而且他不光搞了一個四色問題的世界性難題，涉及圖論那塊他還搞了個西塔潘猜想出來。我都不知道說他是天才還是蠢材了。兩個沒證明的猜想能拿來運用，而且邏輯還是自洽的。回來我要逼著他給證明了。」吳哲狠狠地說道。
「這沒證明怎麼就不能用了，1+1=2還沒證明呢？不照樣用。再說四色問題不是已經在計算機上面證明了嗎？」黃明海在旁邊說道。
「那只是把四色問題算到了100億次沒出錯而已，一天沒在數學邏輯上給出證明就還沒完。」說完吳哲倒是來了興趣，拿起筆和草稿紙開始證明起來。
——————
1852年，畢業於倫敦大學的格斯里，來到一家科研單位搞地圖著色工作時，發現每幅地圖都可以只用四種顏色著色。他就想著這個現象能不能從數學上加以證明呢？只能說是吃得太飽閒的，格斯里和他的弟弟還真就研究上了，最後還拉上了他弟弟的老師、著名數學家德·摩爾根，可到死幾人也沒研究出來。
直到1872年，英國當時最著名的數學家凱利正式向倫敦數學學會提出了這個問題，於是四色猜想成了世界數學界關注的問題，世界上許多一流的數學家都紛紛參加了四色猜想的大會戰。1880年的時候，數學家利用歸謬法來證明：大意是如果有一張正規的五色地圖，就會存在一張國數最少的「極小正規五色地圖」，如果極小正規五色地圖中有一個國家的鄰國數少於六個，就會存在一張國數較少的正規地圖仍為五色的，這樣一來就不會有極小五色地圖的國數，也就不存在正規五色地圖了。這樣肯普就認為他已經證明了「四色問題」，但是後來人們發現他錯了。
1922 年費蘭克林證明了每個有至多25個國家的地圖都可以用四種顏色著色。1926年雷諾德將這一結果推廣到27個國家，然後在1938年費蘭克林又創造了31個國家的紀錄。1940 年溫恩證明了35個國家的情形以後，這方面的研究有所停滯，直到1970年，奧爾和史坦普爾對所有至多包含40個國家的地圖證明了四色定理。在哈肯和阿佩爾最終證明四色定理而使所有這類結果都黯然失色以前，這個數字曾經達到了96。
1950年德國數學家希許就曾估計，證明四色猜想大概要涉及一萬個不同構形。雖然後來證明他的估計是過分誇大了，但它卻正確地指明了，四色問題也許只有藉助於能處理巨量數據的強有力的計算裝置才能獲得解決。
1972年哈肯與阿佩爾聯手，經過整整四年的緊張工作，終於在1976年6月他們用三台計算機花費了1200個計算機小時，處理了兩千多個構形，才算驗證了四色問題成立。可對於數學家來說肯定是不滿意的。
——————
吳哲先從著色判定問題入手：設已知一個圖g在只准使用這m種顏色對g的結點著色的情況下，是否能使圖中任何相鄰的兩個結點都具有不同的顏色呢?
再從m-著色最優化問題則求可對圖g著色的最小整數m。這個整數稱為圖g的色數。這是求圖的最少著色問題，來求出m的值。
for(i = 1m= n; i++)
a＾r/(a-b)(a-c)+b＾r/(b-c)(b-a)+c＾r/(c-a)(c-b)
當r=0，1時式子的值為0 當r=2時值為1 當r=3時值為a+b+c
……
V+F-E=X§，V是多面體P的頂點個數，F是多面體P的面數，E是多面體P的棱的條數，X§是多面體P的歐拉示性數。
如果P可以同胚於一個面（可以通俗地理解為能吹脹而繃在一個球面上），那麼X§=2，如果P同胚於一個接有h個環柄的面，那麼X§=2-2h。
……e-ix=cosx-isinx，然後採用兩式相加減的方法得到：sinx=(eix-e-ix)/(2i)，cosx=(eix+e-ix)/2.
eix=cosx+isinx中的x取作∏就得到： e^i∏+1=0.
~~~~~~
(本章完)