“這玩意,就算是解決了楊米爾斯規范場存在性與質量間隔問題,還是有挺大的難度呀…”
看著面前的研究資料,還有那些叮叮叮下載下來的,新的文獻資料。
陳舟不由得有些頭大。
規范場理論的這場攻堅戰,其中的難度,遠比他想象的要大。
即使是在已取得的那些成果之上,陳舟也還是不確定自己,什么時候才能完全解決這個課題。
又掃了書桌上的資料一眼,陳舟緩緩起身,準備去干飯了。
摸過手機,陳舟也終于看到了,李振邦發來的消息。
看到這個消息的陳舟,嘴角不自覺的露出了一絲笑意。
看來,這位李局長,還是蠻靠譜的嗎?
將手機收起來,陳舟并沒有去回這條消息,反而是給陳海寧發了條消息。
陳舟告訴陳海寧,可以放開手腳,大膽的干!
對此,陳海寧幾乎是秒回的消息。
消息甚至沒有打字,只有一個表情,齜牙的笑臉。
看到這個表情的陳舟,覺得陳海寧的心里,應該挺激動的。
收起手機,陳舟走出房間,喊上陳曉和齊茵,一起去吃晚飯了。
雖然現在已經晚上九點多了,但是陳曉和齊茵,也還是在等著陳舟。
陳舟對此倒不是很意外,他意外的是,熊浩這頭醬牛居然還沒回來。
要是這樣的話,那齊茵晚上是不是?
想到這的陳舟,下意識的多看了齊茵一眼。
齊茵心有所感,回頭看了陳舟一眼。
陳舟只得訕訕的沖齊茵笑著。
齊茵頓時更加奇怪了,她不知道陳舟在笑些什么。
倒是一旁的陳曉,略有深意的看了自己老哥一眼。
心想自己老哥該不會背著嫂子,有啥奇怪的想法吧?
“咳咳…”陳舟輕咳了一聲,用以掩飾尷尬的同時,也出聲問道,“你們有沒有什么想吃的?”
陳曉立即說道:“什么好吃吃什么!”
聽到這話的陳舟,頓時扭頭看了陳曉一眼:“那什么好吃?”
陳曉一時語塞,他就是皮一下很開心。
沒有管陳曉,陳舟又看向齊茵。
齊茵無所謂的說道:“我都可以。”
既然兩個人都沒什么意見,那陳舟就帶他們去吃他經常吃的蓋澆飯了。
對于蓋澆飯的選擇,自然引來了陳曉一大波的吐槽。
只可惜,陳舟直接左耳進右耳出的過濾了。
解決了晚飯,陳舟開始正式考慮起了,齊茵晚上的留宿問題。
畢竟,這可是第一次,有女生在他們宿舍留宿。
楊依依自然是不算的,那都是獲得家長認可的老陳家媳婦了。
所以,陳舟得好好想一下,該怎么安排,是不是還得單獨準備些什么東西?
還有,是不是有哪些不方便的地方,得提前跟陳曉和克羅斯告知一下?
這萬一要是再出現陳曉早晨的那件事情,就未免也尷尬到腳趾里了…
只不過,還沒等陳舟開口,齊茵已經先說道:“陳教授,熊浩他估計還有十分鐘,就能回來了,等他回來,我也就離開了。我跟熊浩的分工,也和先前一樣,維持不變。”
齊茵話一說完,陳曉就扭頭看了一眼齊茵。
然后,看了一眼,又看了齊茵一眼。
這位漂亮姐姐,難道就要走了嗎?
那還有沒有機會,再見到啊?
只可惜,齊茵壓根就沒有將注意力放在陳曉的身上。
自然也就忽略了陳曉這小子,有些不對勁的眼神。
陳舟則是在愣了一下后,很快反應過來,點頭說道:“好,辛苦你了,齊上尉。”
“陳教授,您太客氣了,保護您是我的職責所在。”齊茵笑著說道,“再說了,您這不是還請我吃了頓飯,又帶我蹭了頓飯嗎,這辛苦費也是夠了的。”
陳舟沒想到這位外部頗有些冷艷的女人,居然也會開玩笑了。
只不過,跟著笑了笑的陳舟,卻并沒有再多說什么。
回到宿舍后沒多久,熊浩便如齊茵所說的,趕了回來。
齊茵也順利的跟熊浩完成了“交接班”。
在齊茵離開后,陳舟也就回了自己房間。
再次坐在了書桌前。
現在,研究之外的事,基本上都被敲定了。
那他又可以回歸到研究狀態了。
看了一眼攤開在書桌上的研究資料,陳舟動手整理了起來。
晚上的這點時間,他并不打算再耗在規范場理論上面了。
他準備正式開始NP完全問題的研究。
拿出一沓新的草稿紙后,陳舟順開了電腦。
將草稿紙放在一邊,陳舟登陸了各大檢索網站,開始搜索NP完全問題相關的文獻資料。
通過大量文獻資料的溯源與靈感尋找,是陳舟長久以來習慣使用的研究方法。
也是在一個新的研究課題開始時,陳舟必定會經歷的一個過程。
隨著第一篇文獻資料的下載完成,陳舟移動鼠標,點開了這篇文獻資料。
然后再次拿來草稿紙,擰開筆蓋,準備刷文獻。
NP完全問題,也叫NPC問題。
是多項式復雜程度的非確定性問題。
簡單的寫法就是“NPP?”。
問題也就在這個問號上面。
到底是NP等于P,還是NP不等于P。
當然,幾乎絕大多數的人,都希望NP等于P。
因為這背后的實際意義,太過重大。
只可惜,就算再多人的希望,也不能將這道千禧年大獎難題,給變成事實。
它仍舊在等待著,能夠解決它的人出現。
“P類問題和NP類問題的關系…”
第一篇文獻結束,陳舟看了看草稿紙上,自己所寫的內容,小聲的呢喃了一句。
事實上,要知道“NPP”是個什么問題,先要知道什么是P類問題,什么是NP類問題。
P類問題和NP類問題這兩個概念,是和計算理論中的時間復雜度有關的。
至于計算理論中的時間復雜度,簡單來說,就是解決一個問題的某種算法,所需要的計算量,隨著這個問題的規模增長而增長的速度。
這個概念,更多的被應用在信息學的計算機算法上。
在算法中,時間復雜度本質上,是指計算量增長的速度,而不是這個算法運行的時間。
自然的,對于同樣的一個問題。
如果采用不同的算法,其時間復雜度也是不一定相同的。
而如果某個問題,能夠找到的最優算法的時間復雜度,是n的多項式函數。
那么,這個問題就被稱之為P類問題。
P也就是多項式的英文首字母。
此外,還有一些問題,無論其是否能夠在多項式時間復雜度內求解,如果知道一個隨便給出的可能解,能夠在多項式時間復雜度內驗證其是否為所求的解。
那么,這類問題就被稱之為NP類問題。
至于為什么要研究一個問題,是否有多項式時間復雜度的算法。
則是因為,多項式時間復雜度的計算量增長速度,有些過于“快”了。
隨著n的增大,其計算量遠遠小于O(2n)、O(n!)、O(nn)這些時間復雜度問題。
就好比那個很有名的大整數質因數分解問題。
給出一個2048位的二進制整數,要找出它的某個質因數。
一般來說,可能舉全世界的計算能力,也需要上百年的時間,才能完成這個求解計算過程。
但是,如果知道某一個質數的話。
卻可以用最普通的計算機,在幾秒鐘時間內,確定這個質數,是不是這個2048位二進制整數的一個因數。
而這,便是不同時間復雜度,在實際計算過程中的差別!
雖說有時候快了不好,可是在時間復雜度上,還是快一點比較有應用價值。
自然的,全部的P類問題,都屬于NP類問題。
看著草稿紙上的內容,陳舟已經給出了這一顯而易見的解釋。
一個問題可以在多項式時間復雜度內求解,當然可以在多項式時間復雜度內驗證。
只不過,寫完這行文字的陳舟,又在下面加了一個“?”。
問號的旁邊,陳舟寫到:“反過來呢?”
沒錯,反過來呢?
一個可以在多項式時間復雜度內驗證的問題,又是否能夠通過多項式時間復雜度的算法求解呢?
陳舟暫時不知道。
所以,他在這個反問的話下面,劃上了兩道橫線。
實際上,這個反問的話,其實也就是,是否全部的NP類問題,都屬于P類問題呢?
而這,便是著名的NP完全問題,也就是“NPP?”。
陳舟雖然還不知道這個問題的答案。
但是,已經不是信息學小白的陳舟,自然知道這個問題的答案,所具有的現實意義。
如果“NPP?”沒有了問號。
也就意味著,任何一個原來找不到P類算法的NP類問題,都可以找到相應的P類算法了。
也就代表大整數的質因數分解問題,變成了P類問題。
如2048位二進制大整數,也就可以用一臺普通的電腦,在幾秒鐘,甚至更短的時間內,完成質因數的分解。
如果是這樣的話,那現在被廣泛應用的RSA加密算法,將徹底失效。
大量的銀行數字證書,網站SSL加密,也將不再安全。
那些如今大熱的數字貨幣,也將變成隨時可能被取走的移動財富。
整個數字金融,都將大洗牌。
同時,如果NPP的話,也代表那些通過計算很難解決的大量問題,都將通過算法的優化,輕松得到解決。
像是天氣的預測,交通的調度,通過氨基酸序列來預測蛋白質結構,計算機芯片上最有效的晶體管布局等等等等的問題,都將得以解決。
毫不夸張的說,這絕對是一個改變世界的難題。
想到這些的陳舟,倒沒有因為這些現實意義,變得有多激動。
他只是從草稿紙上收回了目光,轉而回到電腦屏幕上。
然后挪動鼠標,點開了第二篇下載好的文獻資料。
陳舟之所以這樣,倒不是他對解決這一問題后,改變世界的想法,沒有憧憬。
實在是,這個問題的難度,著實有點大。
想想也知道,能夠被列為七大千禧年大獎難題之一,它的難度會是一般的嗎?
而且,從目前學術界的觀點來看,絕大多數相關領域的學者,包括數學家、計算理論學家、信息學資深算法研究員等。
都認為NP≠P。
這個問題的難度,由此也可見一斑。
此外,NP完全問題和陳舟先前快速解決的楊米爾斯規范場存在性與質量間隔假設問題,也并不同。
從某種程度上而言,這個難題是陳舟在一塊未開墾過的處女地上,進行著第一次的研究。
也因此,陳舟在NP完全問題上,并沒有急于求成。
他給自己的時間,也沒有做太大的限制。
就目前而言,陳舟的研究重心,還是在規范場理論上。
NP完全問題的話,得排在第三位。
第二位是張一凡那邊,關于DMD2號材料的相關研究。
隨著文獻資料逐漸下載完成,陳舟也不再多想,轉而沉浸于文獻資料的梳理之中。
直到晚上十二點,陳舟才從沉浸的研究狀態中,回過神來。
看了眼,還有不少在下載的文獻資料,陳舟索性又篩選一圈了,再次增加了下載量。
然后整理好書桌上的資料,起身去洗漱睡覺。
雖然沒有閉關研究的打算,但是回到研究狀態的陳舟,也慢慢回歸了以往的研究和生活節奏。
第二天一早,先于鬧鐘之前,陳舟起床與熊浩一起去晨跑了。
晨跑結束,帶了早餐回宿舍。
快速的解決了早餐,陳舟也便再次回到了房間,回到了書桌前。
有時候,陳舟也就覺得,這一方書桌,就是他的天地。
這一沓一沓的草稿紙,和一支支的筆芯,就是他征伐的利器。
再次進入研究狀態的陳舟,絲毫察覺不到時間的流逝。
而隨后的幾天,也就在他紙筆交錯之間,快速的度過了。
直到9月10日,燕大開學的日子。
陳舟才在吃完早餐后,沒有選擇回到書桌前。
他打算去一趟自己的辦公室,跟自己的學生們,交流一下。
因為這幾天,陸陸續續的,他收到了這些學生發來的不少郵件。
雖說這些學生,都是被他放養的。
可是,在放養的差不多的時候,總的看看這些孩子,成長的如何吧?
此外,陳曉今天也要去燕大數學系報到了。
順帶著,這小子要搬出宿舍,搬進學校的學生公寓里了。
這倒不是陳舟的要求,而是陳曉自己的決定。
陳曉不希望被人發現自己和陳舟之間的關系。
對此,陳舟自然沒有異議。
他也想看看自己這個弟弟,能夠成長到什么地步。
就這樣,陳舟和陳曉,一起出了門。