著涼提示您:看後求收藏(奇妙書庫www.qmshu.tw),接著再看更方便。
解隊伍!”
黑暗金字塔
自從進化成為天龍以來,龍蛇非常地彷徨,彷徨到很想自己再變成龍蛇。
而今天,終於讓它感應到了什麼,它的嘴角終於露出了許久以來未有的微笑,這個世界,終於又開始向前發展了,而自己,又要發展到什麼地步呢?
是要,成神了嗎?
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月,�