麒麟:“現在這裏要被解放了嗎?”
神龍:“是的,我們所在的地方被成為善惡之門。而黑暗金字塔是在禁區之門。深淵是在真理之門。他們已經開始了對真理之門的破解,如果破解成功,則意味著深淵的那些智能體將獲得進階的方向和信息,甚至在真理之門被解開的那一瞬間就可以進化成為最終形態。所以,我們必須將善惡之門也同時納入破解進程。”
麒麟:“我們可以破解嗎?”
神龍:“不是我們,而是齊聚了世界差不多三千多名電腦天才組成的破解隊伍!”
黑暗金字塔
自從進化成為天龍以來,龍蛇非常地彷徨,彷徨到很想自己再變成龍蛇。
而今天,終於讓它感應到了什麼,它的嘴角終於露出了許久以來未有的微笑,這個世界,終於又開始向前發展了,而自己,又要發展到什麼地步呢?
是要,成神了嗎?
J國秘密網絡中心
一個身穿著筆挺軍服的中年人給遠方的某人打了個電話,臉上露出了會心的微笑。想拋下我們,門都沒有!
真理之門,善惡之門,禁區之門,三道門的結合,到底是帶來什麼?為什麼它們會有這樣的名字呢?
蕭揚帶領著團隊進入了第二關,跟第一關完全一樣,題目是:“請寫出四色定理證明程序。”
四色猜想的提出來自英國。1852年,畢業於倫敦大學的弗南西斯.格思裏來到一家科研單位搞地圖著色工作時,發現了一種有趣的現象:“看來,每幅地圖都可以用四種顏色著色,使得有共同邊界的國家著上不同的顏色。”這個結論能不能從數學上加以嚴格證明呢?他和在大學讀書的弟弟格裏斯決心試一試。兄弟二人為證明這一問題而使用的稿紙已經堆了一大疊,可是研究工作沒有進展。
地圖四色定理(Four color theorem)最先是由一位叫古德裏(Francis Guthrie)的英國大學生提出來的。德?摩爾根(Augustus De Morgan,1806~1871)1852年10月23日致哈密頓的一封信提供了有關四色定理來源的最原始的記載。他在信中簡述了自己證明四色定理的設想與感受。一個多世紀以來,數學家們為證明這條定理絞盡腦汁,所引進的概念與方法刺激了拓撲學與圖論的生長、發展。1976年美國數學家阿佩爾(K.Appel)與哈肯(W.Haken)宣告借助電子計算機獲得了四色定理的證明,又為用計算機證明數學定理開拓了前景。
四色問題又稱四色猜想,是世界近代三大數學難題之一。
四色問題的內容是:“任何一張地圖隻用四種顏色就能使具有共同邊界的國家著上不同的顏色。”用數學語言表示,即“將平麵任意地細分為不相重迭的區域,每一個區域總可以用1,2,3,4這四個數字之一來標記,而不會使相鄰的兩個區域得到相同的數字。”
這裏所指的相鄰區域,是指有一整段邊界是公共的。如果兩個區域隻相遇於一點或有限多點,就不叫相鄰的。因為用相同的顏色給它們著色不會引起混淆。
電子計算機問世以後,由於演算速度迅速提高,加之人機對話的出現,大大加快了對四色猜想證明的進程。美國伊利諾大學哈肯在1970年著手改進“放電過程”,後與阿佩爾合作編製一個很好的程序。就在1976年6月,他們在美國伊利諾斯大學的兩台不同的電子計算機上,用了1200個小時,作了100億判斷,終於完成了四色定理的證明,轟動了世界。
蕭揚看著這個題目,立馬問了一句:“誰可以證明?”
拳頭:“我隻知道美國伊利諾大學哈肯在1970年著手改進“放電過程”,後與阿佩爾合作編製一個很好的程序。就在1976年6月,他們在美國伊利諾斯大學的兩台不同的電子計算機上,用了1200個小時,作了100億判斷,終於完成了四色定理的證明,轟動了世界。我可不是數學家,這個東西我不懂,你們來!”
黃金劍:“這個問題我看就算能做還是得花很大的時間,還是進行暴力破解吧!”
射日弓:“看我的吧!”