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