第679章 回到研究狀態(2/2)
如果採用不同的算法,其時間複雜度也是不一定相同的。
而如果某個問題,能夠找到的最優算法的時間複雜度,是n的多項式函數。
那麼,這個問題就被稱之為P類問題。
P也就是多項式的英文首字母。
此外,還有一些問題,無論其是否能夠在多項式時間複雜度內求解,如果知道一個隨便給出的可能解,能夠在多項式時間複雜度內驗證其是否為所求的解。
那麼,這類問題就被稱之為NP類問題。
至於為什麼要研究一個問題,是否有多項式時間複雜度的算法。
則是因為,多項式時間複雜度的計算量增長速度,有些過於「快」了。
隨著n的增大,其計算量遠遠小於O(2^n)、O(n!)、O(n^n)這些時間複雜度問題。
就好比那個很有名的大整數質因數分解問題。
給出一個2048位的二進位整數,要找出它的某個質因數。
一般來說,可能舉全世界的計算能力,也需要上百年的時間,才能完成這個求解計算過程。
但是,如果知道某一個質數的話。
卻可以用最普通的計算機,在幾秒鐘時間內,確定這個質數,是不是這個2048位二進位整數的一個因數。
而這,便是不同時間複雜度,在實際計算過程中的差別!
雖說有時候快了不好,可是在時間複雜度上,還是快一點比較有應用價值。
自然的,全部的P類問題,都屬於NP類問題。
看著草稿紙上的內容,陳舟已經給出了這一顯而易見的解釋。
【一個問題可以在多項式時間複雜度內求解,當然可以在多項式時間複雜度內驗證。】
只不過,寫完這行文字的陳舟,又在下面加了一個「?」。
問號的旁邊,陳舟寫到:「反過來呢?」
沒錯,反過來呢?
一個可以在多項式時間複雜度內驗證的問題,又是否能夠通過多項式時間複雜度的算法求解呢?
陳舟暫時不知道。
所以,他在這個反問的話下面,劃上了兩道橫線。
實際上,這個反問的話,其實也就是,是否全部的NP類問題,都屬於P類問題呢?
而這,便是著名的NP完全問題,也就是「NP=P?」。
陳舟雖然還不知道這個問題的答案。
但是,已經不是信息學小白的陳舟,自然知道這個問題的答案,所具有的現實意義。
如果「NP=P?」沒有了問號。
也就意味著,任何一個原來找不到P類算法的NP類問題,都可以找到相應的P類算法了。
也就代表大整數的質因數分解問題,變成了P類問題。
如2048位二進位大整數,也就可以用一台普通的電腦,在幾秒鐘,甚至更短的時間內,完成質因數的分解。
如果是這樣的話,那現在被廣泛應用的RSA加密算法,將徹底失效。
大量的銀行數字證書,網站SSL加密,也將不再安全。
那些如今大熱的數字貨幣,也將變成隨時可能被取走的移動財富。
整個數字金融,都將大洗牌。
同時,如果NP=P的話,也代表那些通過計算很難解決的大量問題,都將通過算法的優化,輕鬆得到解決。
像是天氣的預測,交通的調度,通過胺基酸序列來預測蛋白質結構,計算機晶片上最有效的電晶體布局等等等等的問題,都將得以解決。
毫不誇張的說,這絕對是一個改變世界的難題。
想到這些的陳舟,倒沒有因為這些現實意義,變得有多激動。
他只是從草稿紙上收回了目光,轉而回到電腦屏幕上。
然後挪動滑鼠,點開了第二篇下載好的文獻資料。
陳舟之所以這樣,倒不是他對解決這一問題後,改變世界的想法,沒有憧憬。
實在是,這個問題的難度,著實有點大。
想想也知道,能夠被列為七大千禧年大獎難題之一,它的難度會是一般的嗎?
而且,從目前學術界的觀點來看,絕大多數相關領域的學者,包括數學家、計算理論學家、信息學資深算法研究員等。
都認為NP≠P。
這個問題的難度,由此也可見一斑。
此外,NP完全問題和陳舟先前快速解決的楊-米爾斯規範場存在性與質量間隔假設問題,也並不同。
從某種程度上而言,這個難題是陳舟在一塊未開墾過的處女地上,進行著第一次的研究。
也因此,陳舟在NP完全問題上,並沒有急於求成。
他給自己的時間,也沒有做太大的限制。
就目前而言,陳舟的研究重心,還是在規範場理論上。
NP完全問題的話,得排在第三位。
第二位是張一凡那邊,關於DMD-2號材料的相關研究。
隨著文獻資料逐漸下載完成,陳舟也不再多想,轉而沉浸於文獻資料的梳理之中。
直到晚上十二點,陳舟才從沉浸的研究狀態中,回過神來。
看了眼,還有不少在下載的文獻資料,陳舟索性又篩選一圈了,再次增加了下載量。
然後整理好書桌上的資料,起身去洗漱睡覺。
雖然沒有閉關研究的打算,但是回到研究狀態的陳舟,也慢慢回歸了以往的研究和生活節奏。
第二天一早,先於鬧鐘之前,陳舟起床與熊浩一起去晨跑了。
晨跑結束,帶了早餐回宿舍。
快速的解決了早餐,陳舟也便再次回到了房間,回到了書桌前。
有時候,陳舟也就覺得,這一方書桌,就是他的天地。
這一沓一沓的草稿紙,和一支支的筆芯,就是他征伐的利器。
再次進入研究狀態的陳舟,絲毫察覺不到時間的流逝。
而隨後的幾天,也就在他紙筆交錯之間,快速的度過了。
直到9月10日,燕大開學的日子。
陳舟才在吃完早餐後,沒有選擇回到書桌前。
他打算去一趟自己的辦公室,跟自己的學生們,交流一下。
因為這幾天,陸陸續續的,他收到了這些學生發來的不少郵件。
雖說這些學生,都是被他放養的。
可是,在放養的差不多的時候,總的看看這些孩子,成長的如何吧?
此外,陳曉今天也要去燕大數學系報到了。
順帶著,這小子要搬出宿舍,搬進學校的學生公寓裡了。
這倒不是陳舟的要求,而是陳曉自己的決定。
陳曉不希望被人發現自己和陳舟之間的關係。
對此,陳舟自然沒有異議。
他也想看看自己這個弟弟,能夠成長到什麼地步。
就這樣,陳舟和陳曉,一起出了門。