第四百六十六章 P≠NP?國際數學家大會閉幕式上的電話(第2/3頁)
章節報錯
就這樣,一個周後,他十分驚訝地看著自己得到的一個函式。
當然,這個函式和他想要搞出來的東西沒有關係,充其量也只能算作一箇中間產物罷了,只不過,這個中間產物的意義,卻不同尋常。
“這難道是一個單向函式?”
他緊皺著眉頭,看著這個函式,心中忍不住思考起來。
如果真的是這樣的話,那他可能,就又一個不小心地解決了一個七大千禧年難題了。
當然,這個“解決”,指的不是證明,而是證偽。
他將證偽p不等於np,也就是說,對於p問題,不能完全等價於np問題。
p即複雜度類p,即為所有可以由一個確定型圖靈機在多項式表達的時間內解決的問題;而類np由所有可以在多項式時間內驗證它的解是否正確的決定問題組成。
一旦能夠證明p=np,世間的一切問題都將能夠變得簡單起來,就像是如果能夠將非線性和線性實現統一一樣。
不過在過去,大多數的科學家都不相信p能夠等於np,特別是對於一些密碼學的專家來說,畢竟一旦p=np了,那麼密碼學的大廈就會轟然倒塌,因為p=np能夠讓任何密碼都變得沒有破解的難度,只需要交給計算機來進行計算就好了。
只不過,想要解決這個問題仍然存在著較大的困難,不管是證明還是證偽,然後再由於這個問題的意義比較重大,於是也就被選為了七大千禧難題之一。
而在證偽的方法中,有一個方法就是:找到一個單向函式。
單向函式指的是對於每一個輸入,函式值都容易計算;但是對於一個隨機的函式值,算出其對應的輸入卻比較困難。
也就是說在f(x)=y中,給出一個x的值,我們很容易就能夠得到y的值,但是如果給出一個y,我們卻很難反向算出x的值。
而這就完全不符合p=np時的情況了,自然而地也就將這個問題給證偽了。
也就是說,單向函式就像是一個特殊解,只要找到一個,就能夠直接將這個千禧年難題給解決掉。
只不過,此時此刻的林曉,卻完全沒有想到自己只是為了找出能夠控制量子計算機的一個模型,卻就在不經意間將這個東西給找了出來。
他一時之間甚至感覺有點不真實。
然而接下來,系統的聲音突然響起,告訴他這很真實。
“恭喜宿主,成功找到了一個單向函式,證明了p不等於np……”
系統的聲音讓林曉心中就是一愣。
系統,居然認可了?
然而他心中剛這麼想,系統接下來的話,就讓他心中一跳。
“不過,如果當宿主認為這個問題就此結束了的話,那麼請思考一下,真的是你這樣認為的嗎?”
“獎勵:5000點數學經驗,3000點資訊學經驗,50點真理點。”
聽到系統的話語,林曉感到了十分的困惑和不解。
現在既然都已經說明了他偶然間找到的這個函式是單向函式,但為什麼又要這麼說?
“真的是我這麼認為的嗎?”
“難道系統的意思是說,還能夠將這個p=np給證明了?”
他感到了由衷的不解。
證明一個證偽的問題?
這又要從何解起?
而就在他的心中產生這種困惑的時候,他的手機鈴聲卻忽然響了起來。
暫且回過了神,他拿起手機看了一眼。
“嗯?這是陶哲軒的電話?”
陶哲軒怎麼突然想著要給他打電話了?