“曾經(jīng)有數(shù)學(xué)家想要證明‘p=np’,來證明所有np問題都可以被轉(zhuǎn)化成p問題,找到讓計(jì)算機(jī)成為神的路徑。我仍舊不記得成功了沒有……”
圖靈機(jī)誕生的時候,就被劃定了極限——因?yàn)樗C否了“數(shù)學(xué)具有絕對的圖靈可計(jì)算性”。
大衛(wèi)·希爾伯特先生的偉大理想,失敗了。
——如果不是因?yàn)閼?zhàn)爭的話,或許阿納托利有可能做到……什么……
——阿納托利又是誰?我怎么認(rèn)識這么多莫名其妙的厲害角色?
片刻之后,男人才落寞的補(bǔ)充了一句:“大概是沒有吧。計(jì)算機(jī)有‘注定不能做到’的事情。np問題,就注定是電子計(jì)算機(jī)無法理解的東西了。而np問題,甚至還不是復(fù)雜的極致。”
“np問題之外,還有多項(xiàng)式層級結(jié)構(gòu)問題【ph】,多項(xiàng)式層級結(jié)構(gòu)問題之外,還有多項(xiàng)式空間問題【問題】,多項(xiàng)式空間之外,還存在指數(shù)時間問題【問題】。”
“在這方面,量子計(jì)算機(jī)比電子計(jì)算機(jī)強(qiáng)上一個維度。但是量子計(jì)算機(jī)理論上的能力界限,被稱作有限錯誤量子多項(xiàng)式時間問題【bqp】。而bqp范疇,也只包括了部分的問題——即使是量子計(jì)算機(jī),也無法觸及。這是近乎道的領(lǐng)域……”
尤基一臉敬畏的點(diǎn)了點(diǎn)頭:“雖然聽不懂,不過好像很厲害的樣子。那么向山……什么是啊?可以舉個例子嗎?”
“最簡單的例子好了。”向山點(diǎn)了點(diǎn)頭:“你在使用一個電子程序,覺得這個程序運(yùn)行有點(diǎn)卡。這個時候,你要做出一個抉擇,是判斷‘讓它就這樣卡卡卡的運(yùn)行,一會就好了’,還是‘我再忍耐多久,我就重啟一下’?這個‘判斷’,就是判斷。”
尤基沉默了一下:“哈?”
內(nèi)容未完,下一頁繼續(xù)閱讀