吾道長不孤提示您:看后求收藏(詩鼎小說網網m.autocad360.cn),接著再看更方便。
一直到二十一世紀,“肉眼識別驗證碼”,也是某些網絡程序判斷“登陸者是否是人類”的標準。
“計算機圖形識別”是一個恐怖的學科。全世界有無數學者在為之奮斗,但程序員們仍舊將“肉眼識別驗證碼”作為阻攔機器惡意登陸的手段。
計算機圖形識別如此困難,究其原因,很大程度上是因為……
“計算機能夠理解的問題,被稱作‘多項式時間問題’,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啊?可以舉個例子嗎?”
“最簡單的例子好了。”向山點了點頭:“你在使用一個電子程序,覺得這個程序運行有點卡。這個時候,你要做出一