第304章 302,因此,npp成立

  第304章 302,因此,np=p成立

  在廢土世界放鬆打獵了暢快的玩了一天後,蘇瑜穿越回了現實世界。

  經過這麼久的工作,他對NP完全問題的證明就剩下最後一步了,蘇瑜打算在現實世界完成這最後一步的證明工作。

  當然,這最後一步也不是那麼好解決的,為此,蘇瑜已經在家裡的書房連續閉關一個月了。

  而他書桌上,上百頁的草稿,就是他這一個月來的成果。

  今天一大早,天剛亮,蘇瑜的學生高斌和陳宏道就跑到了蘇瑜家。

  一直清澈的高斌,臉上難得露出了高興的表情,開口道:「今天老師要完成最後的證明了。」

  陳宏道也急忙高興笑著開口道:「雖然我看不懂,但是能見證這個歷史時刻,我覺得好激動啊!」

  「來了?」看到兩個學生來了,蘇瑜朝著他們點點頭,然後坐進了自己的書桌前。

  雖然家裡的家政很多,但是蘇瑜的書房、尤其是蘇瑜的書桌,這可是絕對的禁區。

  沒有人碰蘇瑜的東西,所以蘇瑜很快就找到了昨天停下的地方,拿起筆了筆,想了想,開始了繼續的證明:

  「.

  由Q_1≤_P Q_2知,存在一個從Q_1到Q_2的多項式時間規約f_1。

  因此,對Q_1的任意實例x,|f_1(x)|關於|x|是多項式的。

  同理,由Q_2≤_P Q_3知,存在一個從Q_2到Q_3的多項式時間規約f_2,因此,|f_2(f_1(x))|關於|x|是多項式的。

  故f_2f_1

  」

  證明的主體框架,蘇瑜早已經在腦海中完成了架構,而且之前他也陸陸續續發過了幾篇相關的論文了。

  因為有之前論文的鋪墊,蘇瑜可以省略很多,直接引用之前發表過的論文結果就行。

  這一點無疑是讓蘇瑜的進度快了很多,當然,也給論文的讀者增添了閱讀難度。

  高斌和陳宏道從一開始,就一直在跟著蘇瑜做np完全問題證明的,妖孽般的高斌還好,每晚熬夜學習,總是能讀懂老師蘇瑜的證明;

  而陳宏道就慘了,他即使每天熬夜,到現在,也只是弄懂了整個證明過程的80%。

  這也是一個重大難題證明的難點——它本來就是一個難以弄懂的難題,它的證明過程也是很難的,很少有人讀懂。

  蘇瑜對NS方程的證明已經完成很多年了,到現在能弄懂證明過程的人也很少。

  但雖然弄不懂蘇瑜對NS方程的完全證明過程,但是該過程的結果,以及證明中蘇瑜創造的工具,已經在深刻的改變世界數學領域的發展了。

  蘇瑜這次對np完全問題的證明也一樣,雖然陳宏道讀不懂,但是通過對老師np完全問題的閱讀,他都發了3篇SCI了。

  雖然蘇瑜現在在沒有正式完成「np完全問題」的證明,但是他發了3篇相關論文、高斌發了2篇相關論文,陳宏道也發了3篇相關論文。

  蘇瑜師徒三人的這8篇np完全問題領域的論文,已經給np完全問題的證明做好了基礎的學術鋪墊了,也把這個問題的熱度推了起來。

  現在「np完全問題」已經成為了國際數學界最火的話題了,不僅僅是蘇瑜師徒三人在該領域發文章,其他學者也陸陸續續的不停發著相關的文章。

  氣氛,已經完全烘托出來了。

  【因此,np=p成立。】

  「完成了!」

  當寫完最後一筆,蘇瑜舒舒服服的舒了一口氣。

  又一個「世界七大數學難題」被自己證明,蘇瑜很驕傲的。

  上一次自己對「ns方程」的證明,是在世界數學家大會上,面對全世界公開報告的。

  這一次,可沒有大會開了。

  考慮到這種難題的審稿周期太長了,蘇瑜讓學生把他的論文完成整理後,轉換成pdf格式,上傳到了arxiv網站上。

  這arxiv網站,簡單來說,就是「一個占坑的網站」。

  在論文還沒有確定,或者是在投稿審核期間,公開上傳,證明這個論文是你的。

  數學領域審稿周期太長,尤其蘇瑜這是證明了一個「世界七大數學難題」,而且蘇瑜證明過程的正確性還沒有確定下來。

  所以,蘇瑜把這論文上傳了arxiv,一方面是「占坑」,另一方面,也提前把自己的論文給同行分享、論道一下。

  「我的天啊,他,他竟然真的完成了np完全問題的證明,還這麼快?」

  「我的上帝啊,你把你的智慧都給他了嗎?」

  「好吧,我一句都看不懂!」

  「看不懂就對了,這是一種根植在蘇瑜學邏輯下的證明,想要看懂,很難的!」

  「都看不懂,怎麼判定是否正確啊?」

  「我個人預感,蘇瑜院士根本就不屑於去解釋正確性,他會直接被這種證明應用在計算機領域落地的。他在華夏主持的特重大基礎科學項目,就等著這次證明了。」

  「我的上帝啊,如果他的證明過程是正確的,那可就意味著一種新的以np=p為邏輯的計算機語言啊!」

  「這意味著我的銀行卡密碼瞬間會被它破解,要不要把我卡里200塊錢取出來啊?」

  果然,當蘇瑜的《一種新型語言邏輯下的np=p》的論文上傳,瞬間就引起了全世界的轟動。

  但是蘇瑜沒有在意,他用了一天,正式的完成了論文終稿的編寫,沒有投數學領域聞名遐邇的「四大神刊」,而是投在了剛剛成立的《青膠糖大學學報》上。

  想了想這個問題如果要同行審稿,可能審好幾年都審不完,而且蘇瑜這完全是一種新知識,沒有幾個同行能弄明白。

  蘇瑜可沒時間去等那麼長時間。

  所以,這篇論文的審稿人和論文的作者是一個名字,都是「蘇瑜」。

  沒有任何的審稿和同行評審,《青膠糖大學學報》的第一期期刊,只刊登了蘇瑜這厚厚的有117頁的論文。

  自己寫論文、自己審稿、自己創辦期刊發表,這像是一場可笑的自娛自樂一般,但是這裡的「自己」可是蘇瑜啊!

  而且在此之前,他跟他學生發的8篇相關的論文,已經完全奠定了一種可行性的學術基礎。

  所以,全世界沒人敢輕視這初出茅廬的《青膠糖大學學報》,憑藉著第一期的發行,它的銷量和影響力就達到了前列,它跟《西工大學報》、《水木大學學報》、《燕京大學學報》以及《滇省大學學報》,5大學學報一起,被譽為「世界五大大學學報」。

  而這一期的《青膠糖大學學報》的最後刊登了一份學會公告。

  公告裡說,蘇瑜將在新建成的青膠糖大學舉辦「np完全問題證明」的報告會,歡迎大家的參加。

  一下子,全世界的目光聚焦在了華夏的膠青新區,聚焦在了即將建成的青膠糖大學上。

  (本章完)