計算機係的大神，都沒這份水準吧？
李岩端坐在電腦前，看樣子，對電腦非常熟練…
不，特碼的不止是熟練那麽簡單，這小子編程居然連一絲停頓都沒有，完全是一氣嗬成鍵盤的敲擊聲音，美妙的不像話，充滿著種節奏般的韻律！
臥槽……
全場所有大學生，全部目瞪口呆……這是什麽樣的編程速度？
一旁的劉老和任老也是呆滯住了，這小子，電腦技術也太強悍了吧？
整個大禮堂陷入了鬼一般的寂靜，隻有李岩鍵盤的敲擊聲。
而一幫大學生和教授，且光無神的看著大屏幕上一連串的字符，有個懂得編程的大學生開始吃起驚來。
“他在編寫一個製圖軟件…”
“但是不知道有什麽用？”
“這程序還挺複雜的……”
確實，李岩編寫的這個製圖軟件，還不是一般的普通操作製圖，而是自動製圖軟件。
這種可以快速製圖的軟件，就是證明四色猜想的關鍵。
前世，肯普的反證法雖然存在重大自相矛盾的缺陷，但闡明了兩個重要的概念，對以後四色猜想的證明提供了途徑。
第一個概念是“構形”。
就如剛才夏天所說的，不正規地圖很容易證明，因為不規則，所以顏色很容易確定，而且或許真正製圖之中，都不需要用顏色來確認，因為奇形怪狀，很容易分辨。
所以四色定理的難點在幹正規地圖。
四色猜想的證明，就簡化為“正規地圖，用四色就可以製作而成”，口要證明了這，四色猜想就迎刃而解。
李岩這時一邊編程，一邊朝著夏天道；“你把第一次證明四色猜想的解顥步驟，投射到大屏幕上…… ”
“哦，好……”
夏天杝被李岩的編程給刺激的傻掉了，這家夥，還有什麽不會的？
她翻看著自己的投影資料，而後唰的一下，一開始夏天闡述的很多關幹四色猜想的論證觀點，出現在了大屏幕上。
李岩的聲音，也是響徹整個大禮堂。
“夏天同學，剛才用反證法證明了，在每一張正規地圖中，至少有一國具有兩個、三個四個或五個鄰國，不存在每個國家都有六個或更多個鄰國的正規地圖，也就是說，由兩個鄰國，三個鄰國、四個或五個鄰國組成的一組_’構形’是不可避免的，每張地圖至少含有這四秧構形中的一個！”
“我就不在此計算了，畢竟上麵的解題過程都有證明數據，f麵數小王5……”
李岩說完一旁的任老和劉老點了點。
“這個討程是對的，這是四色猜想正規地圖的構形理論……”
“隻要證明這個構形的地圖，隻需要四色埴充，就沒什麽迴題了…… ”
兩個數學家相視一眼，但還是沒搞懂李岩需要電腦幹什麽？
“我們知道，在幾何圖形之中，如果幾何物體在一定條件下分解成一些‘較小’的幾何物體的並集，就稱它為可約的。”
李岩開始闡述前世數學家肯普提出的另一個概念一一“可約”。
“可約”這個詞的使用是來自肯普的論證。
他證明了隻要五色地圖中有一國具有四個鄰國，就會有國數減少的五色地圖，也叫作最小五色地圖。
自從引入“構形”，“可約”概念後，數學界對“四色猜想”，有了講一步的簡化方法，隻要諑步檢查構形以決定是否可約的一些標準方法，就能夠尋求可約構形的不可避免組，這是證明“四色題”的重要依據。
但要證明超大地圖的構形可約，雲要檢查大量的細節，這是相當複雜的。
靠人腦，很難搞定。
因為這可能涉及到幾百億達甚至幾千億次的嚐試。
“我現在編寫的這個程序，是自動製圖軟件，我會讓計算機的高諫運算，把這些可能的正規地圖構型和可約，全部製作出來……”
李岩說完、所有人就看到他猛地敲擊鍵盤，電腦品示屏之上，頓時出現了一個程序。
唰！
程序自動運行，而後產生了無數種的圖形變幻。
“我這個程序，能一秒鍾製作幾百萬張正規的地圖構形，從最小的5國開始，5國就一種可能，而6國就有3種可能……一直推演下去，到幾百國家，幾千國家，幾萬……”
李岩在那說著，台下所有人都驚為天人，這尼瑪，太牛逼了啊！
分分鍾製作了一個這樣牛逼的軟件。
說完，李岩又開始坐到了另外一台電腦上，開始繼績編程。
“另一台電腦要搞什麽？”
“不知道啊…
“看樣子，是顏色區分的某種程序…… ”
幾個懂編程的太學生在那看著，李岩卻是一分鍾就編程好了這個自動染色軟件。
相比幹剛才的自動製圖，這染色品然簡單很多。
但是這台電腦的運算卻也不低，因為李岩要證明四色猜想，必須兩台電腦聯動……在第一台電腦上快速生成各種正規圖形，從最少的五個國家開始，一直增加！
而第二台電腦，就是要給這生成的地圖，快速染上四種顏色，確保四色猜想的證明無誤。
所以兩台電腦的運算，都是要全速開啟才行。
“當國家數到達幾十萬的時候，基本就能證明無窮，這所說的可約，也是數學上的遞講規律，而幾十萬個國家的地圖，對於世界上村鎮製圖，都是可以完全證明的…也就是說，隻要十幾萬國構型四色成功，那就能證明，四色猜想證明成立！”
李岩說完，計算機已經推講到了一百多個國家……這速度，估讓人腦計算，得好多年……
一分鍾沒到，一百多個國家所有可能的正規地圖，已經全部被計算機梳理了一遍，但卻都可以用四色才渲染製作。
因為所有的圖形，都被完整的保存在了電腦裏麵。
一旁的任老和劉老已經看傻了！
還能這樣？
這種證明方法，也太暴力了吧？
直接平推，沒有一點技術含量！
但是，你要說他沒證明吧，顯然不對這樣的證明方法，是符合邏輯的，這在數學上叫做暴力解法，也叫作排除法。
把所有可能性推除，但到了最後，不就證明出理論了麽？！
“我估計最多1小時，就能推算到10萬個國家……再推算下夫也行，但沒什麽實際意義……”
李岩朝著一旁的任老和劉老說著，兩個人都是點了點頭：“行，那就讓電腦先計算吧……我們等待一小時，一小時後，我得把證明成果都帶走，這是證明的珍貴資料！”
“好，我在家已經做討了一遍實驗，沒有任何問顆…至於這道程序，是可以用數學公式推導的，相信數學院可以把自動製圖的程序用數學公式推導出來……到時候憑借證明過程，再加上電腦計算，四色猜想的證明，就此成立！”
李岩說這話的時候，臉色沒有任何情緒。
但一旁的任老和劉老，卻是有些老淚縱橫。
李岩端坐在電腦前，看樣子，對電腦非常熟練…
不，特碼的不止是熟練那麽簡單，這小子編程居然連一絲停頓都沒有，完全是一氣嗬成鍵盤的敲擊聲音，美妙的不像話，充滿著種節奏般的韻律！
臥槽……
全場所有大學生，全部目瞪口呆……這是什麽樣的編程速度？
一旁的劉老和任老也是呆滯住了，這小子，電腦技術也太強悍了吧？
整個大禮堂陷入了鬼一般的寂靜，隻有李岩鍵盤的敲擊聲。
而一幫大學生和教授，且光無神的看著大屏幕上一連串的字符，有個懂得編程的大學生開始吃起驚來。
“他在編寫一個製圖軟件…”
“但是不知道有什麽用？”
“這程序還挺複雜的……”
確實，李岩編寫的這個製圖軟件，還不是一般的普通操作製圖，而是自動製圖軟件。
這種可以快速製圖的軟件，就是證明四色猜想的關鍵。
前世，肯普的反證法雖然存在重大自相矛盾的缺陷，但闡明了兩個重要的概念，對以後四色猜想的證明提供了途徑。
第一個概念是“構形”。
就如剛才夏天所說的，不正規地圖很容易證明，因為不規則，所以顏色很容易確定，而且或許真正製圖之中，都不需要用顏色來確認，因為奇形怪狀，很容易分辨。
所以四色定理的難點在幹正規地圖。
四色猜想的證明，就簡化為“正規地圖，用四色就可以製作而成”，口要證明了這，四色猜想就迎刃而解。
李岩這時一邊編程，一邊朝著夏天道；“你把第一次證明四色猜想的解顥步驟，投射到大屏幕上…… ”
“哦，好……”
夏天杝被李岩的編程給刺激的傻掉了，這家夥，還有什麽不會的？
她翻看著自己的投影資料，而後唰的一下，一開始夏天闡述的很多關幹四色猜想的論證觀點，出現在了大屏幕上。
李岩的聲音，也是響徹整個大禮堂。
“夏天同學，剛才用反證法證明了，在每一張正規地圖中，至少有一國具有兩個、三個四個或五個鄰國，不存在每個國家都有六個或更多個鄰國的正規地圖，也就是說，由兩個鄰國，三個鄰國、四個或五個鄰國組成的一組_’構形’是不可避免的，每張地圖至少含有這四秧構形中的一個！”
“我就不在此計算了，畢竟上麵的解題過程都有證明數據，f麵數小王5……”
李岩說完一旁的任老和劉老點了點。
“這個討程是對的，這是四色猜想正規地圖的構形理論……”
“隻要證明這個構形的地圖，隻需要四色埴充，就沒什麽迴題了…… ”
兩個數學家相視一眼，但還是沒搞懂李岩需要電腦幹什麽？
“我們知道，在幾何圖形之中，如果幾何物體在一定條件下分解成一些‘較小’的幾何物體的並集，就稱它為可約的。”
李岩開始闡述前世數學家肯普提出的另一個概念一一“可約”。
“可約”這個詞的使用是來自肯普的論證。
他證明了隻要五色地圖中有一國具有四個鄰國，就會有國數減少的五色地圖，也叫作最小五色地圖。
自從引入“構形”，“可約”概念後，數學界對“四色猜想”，有了講一步的簡化方法，隻要諑步檢查構形以決定是否可約的一些標準方法，就能夠尋求可約構形的不可避免組，這是證明“四色題”的重要依據。
但要證明超大地圖的構形可約，雲要檢查大量的細節，這是相當複雜的。
靠人腦，很難搞定。
因為這可能涉及到幾百億達甚至幾千億次的嚐試。
“我現在編寫的這個程序，是自動製圖軟件，我會讓計算機的高諫運算，把這些可能的正規地圖構型和可約，全部製作出來……”
李岩說完、所有人就看到他猛地敲擊鍵盤，電腦品示屏之上，頓時出現了一個程序。
唰！
程序自動運行，而後產生了無數種的圖形變幻。
“我這個程序，能一秒鍾製作幾百萬張正規的地圖構形，從最小的5國開始，5國就一種可能，而6國就有3種可能……一直推演下去，到幾百國家，幾千國家，幾萬……”
李岩在那說著，台下所有人都驚為天人，這尼瑪，太牛逼了啊！
分分鍾製作了一個這樣牛逼的軟件。
說完，李岩又開始坐到了另外一台電腦上，開始繼績編程。
“另一台電腦要搞什麽？”
“不知道啊…
“看樣子，是顏色區分的某種程序…… ”
幾個懂編程的太學生在那看著，李岩卻是一分鍾就編程好了這個自動染色軟件。
相比幹剛才的自動製圖，這染色品然簡單很多。
但是這台電腦的運算卻也不低，因為李岩要證明四色猜想，必須兩台電腦聯動……在第一台電腦上快速生成各種正規圖形，從最少的五個國家開始，一直增加！
而第二台電腦，就是要給這生成的地圖，快速染上四種顏色，確保四色猜想的證明無誤。
所以兩台電腦的運算，都是要全速開啟才行。
“當國家數到達幾十萬的時候，基本就能證明無窮，這所說的可約，也是數學上的遞講規律，而幾十萬個國家的地圖，對於世界上村鎮製圖，都是可以完全證明的…也就是說，隻要十幾萬國構型四色成功，那就能證明，四色猜想證明成立！”
李岩說完，計算機已經推講到了一百多個國家……這速度，估讓人腦計算，得好多年……
一分鍾沒到，一百多個國家所有可能的正規地圖，已經全部被計算機梳理了一遍，但卻都可以用四色才渲染製作。
因為所有的圖形，都被完整的保存在了電腦裏麵。
一旁的任老和劉老已經看傻了！
還能這樣？
這種證明方法，也太暴力了吧？
直接平推，沒有一點技術含量！
但是，你要說他沒證明吧，顯然不對這樣的證明方法，是符合邏輯的，這在數學上叫做暴力解法，也叫作排除法。
把所有可能性推除，但到了最後，不就證明出理論了麽？！
“我估計最多1小時，就能推算到10萬個國家……再推算下夫也行，但沒什麽實際意義……”
李岩朝著一旁的任老和劉老說著，兩個人都是點了點頭：“行，那就讓電腦先計算吧……我們等待一小時，一小時後，我得把證明成果都帶走，這是證明的珍貴資料！”
“好，我在家已經做討了一遍實驗，沒有任何問顆…至於這道程序，是可以用數學公式推導的，相信數學院可以把自動製圖的程序用數學公式推導出來……到時候憑借證明過程，再加上電腦計算，四色猜想的證明，就此成立！”
李岩說這話的時候，臉色沒有任何情緒。
但一旁的任老和劉老，卻是有些老淚縱橫。