第284章 到底什麼實力？

  計算機系的大神，都沒這份水準吧？

  李岩端坐在電腦前，看樣子，對電腦非常熟練…


  不，特碼的不止是熟練那麼簡單，這小子編程居然連一絲停頓都沒有，完全是一氣呵成鍵盤的敲擊聲音，美妙的不像話，充滿著種節奏般的韻律！

  卧槽……


  全場所有大學生，全部目瞪口呆……這是什麼樣的編程速度？


  一旁的劉老和任老也是獃滯住了，這小子，電腦技術也太強悍了吧？

  整個大禮堂陷入了鬼一般的寂靜，只有李岩鍵盤的敲擊聲。


  而一幫大學生和教授，且光無神的看著大屏幕上一連串的字元，有個懂得編程的大學生開始吃起驚來。


  「他在編寫一個製圖軟體…」


  「但是不知道有什麼用？」


  「這程序還挺複雜的……」


  確實，李岩編寫的這個製圖軟體，還不是一般的普通操作製圖，而是自動製圖軟體。


  這種可以快速製圖的軟體，就是證明四色猜想的關鍵。


  前世，肯普的反證法雖然存在重大自相矛盾的缺陷，但闡明了兩個重要的概念，對以後四色猜想的證明提供了途徑。


  第一個概念是「構形」。


  就如剛才夏天所說的，不正規地圖很容易證明，因為不規則，所以顏色很容易確定，而且或許真正製圖之中，都不需要用顏色來確認，因為奇形怪狀，很容易分辨。


  所以四色定理的難點在干正規地圖。


  四色猜想的證明，就簡化為「正規地圖，用四色就可以製作而成」，口要證明了這，四色猜想就迎刃而解。


  李岩這時一邊編程，一邊朝著夏天道；「你把第一次證明四色猜想的解顥步驟，投射到大屏幕上…… 」


  「哦，好……」


  夏天杝被李岩的編程給刺激的傻掉了，這傢伙，還有什麼不會的？


  她翻看著自己的投影資料，而後唰的一下，一開始夏天闡述的很多關干四色猜想的論證觀點，出現在了大屏幕上。


  李岩的聲音，也是響徹整個大禮堂。


  「夏天同學，剛才用反證法證明了，在每一張正規地圖中，至少有一國具有兩個、三個四個或五個鄰國，不存在每個國家都有六個或更多個鄰國的正規地圖，也就是說，由兩個鄰國，三個鄰國、四個或五個鄰國組成的一組_』構形』是不可避免的，每張地圖至少含有這四秧構形中的一個！」


  「我就不在此計算了，畢竟上面的解題過程都有證明數據，F面數小王5……」


  李岩說完一旁的任老和劉老點了點。


  「這個討程是對的，這是四色猜想正規地圖的構形理論……」


  「只要證明這個構形的地圖，只需要四色埴充，就沒什麼回題了…… 」


  兩個數學家相視一眼，但還是沒搞懂李岩需要電腦幹什麼？

  「我們知道，在幾何圖形之中，如果幾何物體在一定條件下分解成一些『較小』的幾何物體的並集，就稱它為可約的。」


  李岩開始闡述前世數學家肯普提出的另一個概念一一「可約」。


  「可約」這個詞的使用是來自肯普的論證。


  他證明了只要五色地圖中有一國具有四個鄰國，就會有國數減少的五色地圖，也叫作最小五色地圖。


  自從引入「構形」，「可約」概念后，數學界對「四色猜想」，有了講一步的簡化方法，只要諑步檢查構形以決定是否可約的一些標準方法，就能夠尋求可約構形的不可避免組，這是證明「四色題」的重要依據。


  但要證明超大地圖的構形可約，雲要檢查大量的細節，這是相當複雜的。


  靠人腦，很難搞定。


  因為這可能涉及到幾百億達甚至幾千億次的嘗試。


  「我現在編寫的這個程序，是自動製圖軟體，我會讓計算機的高諫運算，把這些可能的正規地圖構型和可約，全部製作出來……」


  李岩說完、所有人就看到他猛地敲擊鍵盤，電腦品示屏之上，頓時出現了一個程序。


  唰！

  程序自動運行，而後產生了無數種的圖形變幻。


  「我這個程序，能一秒鐘製作幾百萬張正規的地圖構形，從最小的5國開始，5國就一種可能，而6國就有3種可能……一直推演下去，到幾百國家，幾千國家，幾萬……」


  李岩在那說著，台下所有人都驚為天人，這尼瑪，太牛逼了啊！

  分分鐘製作了一個這樣牛逼的軟體。


  說完，李岩又開始坐到了另外一台電腦上，開始繼績編程。


  「另一台電腦要搞什麼？」


  「不知道啊…


  「看樣子，是顏色區分的某種程序…… 」


  幾個懂編程的太學生在那看著，李岩卻是一分鐘就編程好了這個自動染色軟體。


  相比干剛才的自動製圖，這染色品然簡單很多。


  但是這台電腦的運算卻也不低，因為李岩要證明四色猜想，必須兩台電腦聯動……在第一台電腦上快速生成各種正規圖形，從最少的五個國家開始，一直增加！

  而第二台電腦，就是要給這生成的地圖，快速染上四種顏色，確保四色猜想的證明無誤。


  所以兩台電腦的運算，都是要全速開啟才行。


  「當國家數到達幾十萬的時候，基本就能證明無窮，這所說的可約，也是數學上的遞講規律，而幾十萬個國家的地圖，對於世界上村鎮製圖，都是可以完全證明的…也就是說，只要十幾萬國構型四色成功，那就能證明，四色猜想證明成立！」


  李岩說完，計算機已經推講到了一百多個國家……這速度，估讓人腦計算，得好多年……


  一分鐘沒到，一百多個國家所有可能的正規地圖，已經全部被計算機梳理了一遍，但卻都可以用四色才渲染製作。


  因為所有的圖形，都被完整的保存在了電腦裡面。


  一旁的任老和劉老已經看傻了！


  還能這樣？


  這種證明方法，也太暴力了吧？

  直接平推，沒有一點技術含量！

  但是，你要說他沒證明吧，顯然不對這樣的證明方法，是符合邏輯的，這在數學上叫做暴力解法，也叫作排除法。


  把所有可能性推除，但到了最後，不就證明出理論了么？！


  「我估計最多1小時，就能推算到10萬個國家……再推算下夫也行，但沒什麼實際意義……」


  李岩朝著一旁的任老和劉老說著，兩個人都是點了點頭：「行，那就讓電腦先計算吧……我們等待一小時，一小時后，我得把證明成果都帶走，這是證明的珍貴資料！」


  「好，我在家已經做討了一遍實驗，沒有任何問顆…至於這道程序，是可以用數學公式推導的，相信數學院可以把自動製圖的程序用數學公式推導出來……到時候憑藉證明過程，再加上電腦計算，四色猜想的證明，就此成立！」


  李岩說這話的時候，臉色沒有任何情緒。


  但一旁的任老和劉老，卻是有些老淚縱橫。