吾道長不孤提示您：看後求收藏（尼卡繁體小説網-用繁體字打造的小説網www.nircrad.com），接着再看更方便。
尤基鼓掌。掌聲之中有三分應付，也有三分真誠：「可是向山，這和我們說的『內功』……有什麼關係……」
「尤基，」向山沒有正面回答，而是反問了一個問題：「你覺得，計算機這個東西，強大嗎？」
尤基點了點頭。控制義體。其實大半都是計算機在出力。只要有計算機在，再複雜的工程機械也可以運轉。
尤基還知道，計算機可以以不可思議的速度計算東西，有錢人還能用它做更多的事情，比如……比如……
反正就是很厲害了。
「確實。人類生物腦的性能，如果符號運算爲基準的話，計算資源可以和超級計算機相比——好吧，在這個時代，我記憶裏的那點參數多半也算不上『超算』了。但是，與這個硬體相匹配的軟體，優化實在是太差了。如果單純比拼計算，追求性能，生物腦是比不過計算機的。」
這是很正常的事情。生物演化，從來就遵循「夠用就行」的原則。演化這種事，是不會追求「性能上的極致」的。一個不利性狀，只要不影響「活到生育年齡生孩子」，它就不會被自然選擇所淘汰。
自然人身上，有一大堆會引發各種傷病的智障設計。
但惟獨有一樣事情，計算機是無法與人腦相比的。
「至少在我所知道的時代裏，計算機仍舊無法跳出『計算性問題』的限制。」
尤基有些懵：「『計算性問題』……」
「計算性問題，就是在探索，是否所有數學題，都可以依靠同一個計算方法破解。在這個基礎上，一個叫做阿蘭·圖靈的天才，設計出了『圖靈機』，然後……他否定了人類關於『可計算性』的理想。不是所有數學問題，都能被機器所破解。」
圖靈機一開始就無法理解許多問題。不是「計算資源不足，無法計算」而是「連開始計算的可能性都不存在」。
最簡單的，就比如說部分幾何——注意，「部分幾何」，不是「所有」。數學中，「數字」、「幾何」、「方程」之類的概念，在一定程度上是可以相互轉化的。
但在一開始，就有很多問題，計算機無法計算，甚至無法識別。
在計算機誕生的初期，有一位教授，派遣他手下的一個研究生，去解決「計算機圖像識別」的問題——他當時樂觀的認爲，只需要兩個月，他手下的研究生就能徹底攻克這個問題。
但事實是，這是不可能的。
一直到二十一世紀，「肉眼識別驗證碼」，也是某些網絡程序判斷「登陸者是否是人類」的標準。
「計算機圖形識別」是一個恐怖的學科。全世界有無數學者在爲之奮鬥，但程式設計師們仍舊將「肉眼識別驗證碼」作爲阻攔機器惡意登陸的手段。
計算機圖形識別如此困難，究其原因，很大程度上是因爲……
「計算機能夠理解的問題，被稱作『多項式時間問題』，Polynomial time——也就是縮寫的P問題。計算機可以快速解決P問題。而比P問題更爲困難的，則是非確定性多項式時間。Nondeterministic Polynomial time——即NP問題。」
一大部分幾何問題，都位於NP之內。圖靈機可以快速的驗證答案是否正確，卻不能快速地給出答案。而有的是幾何問題甚至還要比NP還要難。
「曾經有數學家想要證明『P=NP』，來證明所有NP問題都可以被轉化成P問題，踏出讓計算機邁向神境的第一步。我仍舊不記得成功了沒有……」
圖靈機誕生的時候，就被劃定了極限——因爲它證否了「數學具有絕對的圖靈可計算性」。
大衛·希爾伯特先生的偉大理想，失敗了。
——如果不是因爲戰爭的話，或許阿納託利有可能做到……什麼……
——阿納託利又是誰？我怎麼認識這麼多莫名其妙的厲害角色？
片刻之後，男人才落寞的補充了一句：「大概是沒有吧。計算機有『註定不能做到』的事情。NP問題，就註定是電子計算機無力解算的東西了。而NP問題，甚至還不是複雜的極致。」
「NP問題之外，還有多項式層級結構問題【PH】，多項式層級結構問題之外，還有多項式空間問題【PSPACE問題】，多項式空間之外，還存在指數時間問題【EXPTIME問題】。」
「在這方面，量子計算機比電子計算機強上一個維度。但是量子計算機理論上的能力界限，被稱作有限錯誤量子多項式時間問題【BQP】。而BQP範疇，也只包括了部分的PSPACE問題——即使是量子計算機，也無法觸及EXPTIME。這是近乎道的領域……」
尤基一臉敬畏的點了點頭：「雖然聽不懂，不過好像很厲害的樣子。那麼向山……什麼是EXPTIME啊？可以舉個例子嗎？」
「最簡單的例子好了。」向山點了點頭：「你在使用一個電子程序，覺得這個程序運行有點卡。這個時候，你要做出一個抉擇，是判斷『讓它就這樣卡卡卡的運行，一會就好了』，還是『我再忍耐多久，我就重啓一下』？這個『判斷』，就是EXPTIME判斷。」
尤基沉默了一下：「哈？」
「這個『判斷』，就是EXPTIME判斷。」
「什麼？」
「這個『判斷』，真的就是EXPTIME判斷。」
「不對吧……」尤基很懷疑自己的生物腦是不是壞掉了：「這個不是……小孩子就能夠理解的事情嗎？」
「從數學的層面來看，這個問題的難度層級就是EXPTIME。生物腦可以簡單的做出這種判斷，但計算機就連『理解』都做不到。在已知的計算模型之中，就只有一種，能夠觸及這個領域……」向山指了指自己的頭顱：「人類的生物腦。」
