作者：不吃小南瓜
鄧敏容也想着，“劉院士果真有水平，怪不得劉總親自到軟件所去請人。”
“按照這個速度來說，整體驗收也不了多長時間了。”
郭金華、鄧敏容對劉賀敏的能力水平，都可以說是心服口服，他們索性也完全放開了，開始問起劉賀敏一些算法包的設計、功能問題。
這些都是他們理解的時候碰到的問題。
正常拉說劉賀敏能理解到這個程度，肯定已經完全弄懂了其他算法包的問題，但事實和想象的不太一樣。
當他們問起的時候，劉賀敏總是推說，“我還沒有研究這個……”
“那個也沒研究……”
“不清楚。”
“能理解、能理解！”郭金華、鄧敏容沒問出個結果，心裏也感到很奇怪，“劉院士都知道核心算法的功能，爲什麼會對一些普通的算法包不瞭解呢？甚至有些好像沒看過……”
“有點不太對吧？”
郭金華和鄧敏容對視一眼，出了辦公室談了幾句還是琢磨不透。
樓下，三層。
戰鷹-1的常規設計驗收組，工作進展非常的順利。
常規設計驗收組的名義負責人是劉建昆，實際負責人則是楊聰、李建明以及孫夢飛，三個人都是國內最頂尖的飛機設計專家，他們加在一起可以說，就是國產戰機的半邊天，足以見得劉建昆以及航空集團，對戰鷹-1設計報告的重視。
在一段時間對報告、詳細設計書的研究後，他們都對戰鷹-1有了細緻化的瞭解，剩下的就只是各部分計算、論證工作。
比如，襟翼。
襟翼的設計需要計算的是，襟翼在平展時能給戰鬥機提供的向上動力參數，以及各狀態本身設計會造成的阻力。
其他部分也差不多，都是計算設計本身的具體參數，相對‘智能控制系統’的高難度算法，常規論證相對簡單的多，大部分都是計算內容，就算很難計算的部分，也可以詳細進行論證。
所以常規部分驗收工作，進展還是非常順利的。
這天是分配工作階段。
驗收組完成了對設計整體的論證，剩下的就是各部分設計詳細的論證和計算，就可以下放到各個小組進行了，每個小組都會負責一部分設計的論證、計算工作。
這是保密性的考慮。
只有驗收組的核心人員、領導層，才能見到全部的設計報告，普通參與驗收的人員，就只能見到負責的一小部分設計內容。
事實上，就算是核心人員、領導層，也不一定能拿到全部的報告。
常規部分驗收組就只能見到戰鷹-1設計的部分，不能拿到‘智能控制系統’的報告，兩者是被直接分開的，全部都能見到的就只有領導層，詳細來說就只有劉建昆一個人，其他即便是副總經理、總設計師，只要和驗收無關的人，也不可能看到任何報告。
劉建昆全權負責驗收工作，會聽取飛機設計和智能控制系統兩個驗收組報告的結果，最終召開會議公佈驗收結果。
但是驗收工作的過程，劉建昆就不參與了，主持詳細論證工作分配會議的，也是幾個頂級的飛機設計師。
楊聰是實際上的第一負責人，李建明和孫夢飛則是副手。
工作會議很快結束。
各個小組都拿到了負責部分的設計，就回到各自工作的地方分配任務了。
楊聰、李建明和孫夢飛還留在會議室裏。
李建明的旁邊坐着雷勇，他們都是沈城飛機研究所的；孫夢飛的旁邊坐着鮑恩紅，他們則來自武城飛機設計研究所。
雷勇和鮑恩紅就是過來‘出差’，輔助回答一下驗收組的提問，和驗收組進行一些設計上的交接，他們也會全程旁觀驗收工作，以便遇到什麼問題能夠第一時間溝通。
兩人是戰鷹-1設計的實際參與者，楊聰、李建明和孫夢飛都沒有在意，就直接談起了戰鷹-1 的設計問題。
李建明連聲感嘆，“在來之前，我總是想着戰鷹-1設計問題肯定很大。趙院士很天才，誰都承認，但也太快了……”
“是啊，太快了！”孫夢飛也跟着感嘆，他看向了鮑恩紅，“我感覺你纔剛過去。”
鮑恩紅諔┑膿u頭道，“趙院士確實……很難理解，大部分都是他獨自完成，我和雷勇都沒幫上什麼。”
雷勇也認可的點頭。
李建明繼續道，“我看了全部，這是先進到連想象都沒有的設計。在看之前，想象不出來，我大腦裏都沒有這些東西。”他說着嘆氣道，“真是，心服口服啊！我現在都想直接申請，停止j-31設計研發項目。沒必要了。”
李建明的話說進了楊聰、孫夢飛的心裏，驗收工作到現在進行了一半，別說是設計的對錯了，單單是他們看到的整體構架、各部分設計細節，就有種‘不敢想象’的感覺。
好多部分的設計內容，他們只感覺是‘想不出來’。
接下來幾人談起了設計靈感。
“在尾翼的部分，根本是第一次見到那樣的設計，找不到參考的東西。”李建明說道，“還有進風口，三進風口倒是能想象，可閉合的上進風口，我想到也不敢設計。”
“是啊。”
孫夢飛認可道，“摺疊機翼，別開玩笑了？我剛看到這個設計，真是……腦子一片空白，機翼……摺疊？科幻電影裏有這樣的嗎？”
楊聰笑着搖搖頭。
他比兩人看到設計的時間都早，感嘆的時候已經過去了，但還是無法想象，能做出這樣的設計，他有些想不明白。
主要是，靈感來源。
正常來說做飛機設計，都需要很多的參考資料，倒不是說‘模仿、抄襲’之類，而是沒有資料可參考，就很難直接去做設計，深入去思考的話，其實和人類的思維方式有關係。
人類的思考都是有基礎的，比如，知道雪地的樣子就可以想象南極。
但是，如果不知道呢？
古代生活在赤道線的人類，怎麼能想象出南極是什麼樣子呢？他們連雪的沒有見過！
知識、見識才是想象的基礎，有基礎才能進行擴展，而靈感也可以說，就是基礎的擴展、也肯定會是已有知識的重新排列、組合，就像是文字一樣，有‘靈’有‘感’兩個字，才能組合在一起叫做‘靈感’，缺少了其中一個字，就不會有詞語‘靈感’了。
所以他們不能理解，爲什麼趙奕能想到這些設計。
趙奕確實是拿到了一些設計資料，但他拿到的資料肯定沒有他們見過的多，可他的設計卻遠遠超出的資料範疇，有的部分甚至和已知資料完全無關，就比如摺疊機翼，怎麼想到的？
怎麼論證的？
爲什麼會做出設計摺疊機翼的決定？
等等。
這些是楊聰幾人完全不理解的，他們感嘆着討論好幾句，纔想到還有其他人。
李建明開口問向雷勇，“雷勇，你知道趙院士的靈感來自哪裏嗎？”他擔心雷勇不理解，還詳細的解釋道，“比如，摺疊機翼的設計，是怎麼想到的？看了哪些資料，或者……”
“我知道？”
“啊？”
“我知道。”雷勇肯定的點頭，還補充了一句，“鮑恩紅也知道。”
“是嗎？來自哪裏？”
雷勇忽然走到一邊，拿起了自己的公文包，從裏面抽出了一份文件，文件最上面的一頁是個玩具飛機模型照片，他把那一頁放在桌上，給李建明、楊聰等人看，隨後道，“就是這個啊！”
“對！”
鮑恩紅也點頭道，“趙院士最初的靈感，就是這個玩具飛機模型。”
“——？？”
“……？？”
“！！！？”
楊聰、李建明以及孫夢飛互相看看，再仔細對照現在的設計，發現確實有一些地方具有相似性，也就是說趙奕的靈感，真的是來自一架玩具飛機模型？
這……
“或許應該買一些科幻電影的飛機模型、宇宙飛船模型之類的，擴展一下思維想象空間，就能做出更好、更高端的設計？”
三人忍不住琢磨起來。
第四百七十章 看不見它服役，我死不瞑目啊！
楊聰、李建明以及孫夢飛不知道的是，他們都被雷勇提供的消息誤導了。
雷勇和鮑恩紅覺得趙奕的靈感來自於模型飛機，實際上並不是這樣的，趙奕做飛機設計根本不需要靈感，需要的只是找一個突破口。
當然了突破口不同，最終做出的設計也不同，但真要去說靈感，還是來自於雷勇和鮑恩紅，來自於他們對玩具模型飛機的論證報告。
雷勇和鮑恩紅覺得對玩具模型飛機進行論證，就像是完成一個考覈作業一樣，實際上，趙奕就是根據他們的論證，來對各部分進行的修正。
所以雷勇和鮑恩紅在設計中，起到了非常重要的作用，只是他們自己不知道，還覺得趙奕真是很照顧他們，否則怎麼解釋什麼都沒做的情況下，趙奕還會對他們的工作非常滿意，設計報告中就有他們的名字，並且還委以重任，讓他們來航空集團這邊輔助設計驗收工作？
總之，他們是誤會了。
趙奕也不在乎誤會不誤會，他沒有必要獨攬全功，把所有的功勞都歸在自己身上，分給其他人一些也是很正常的。
現在他甚至沒有考慮飛機設計驗收工作，只專注於np問題的研究。
趙奕並沒有開始做論證，真正去着手解決np問題，因爲他還沒有想好怎麼去解決，從哪裏入手去解決，而是在正常的學習工作生活中，不斷對問題進行深入的思考。
這種思考能帶來很多的思路，有稍微好一些的思路，他就會記錄下來。
在連續近一個月的思考後，趙奕都感覺自己有些神經了，他走在路上的時候，都不斷念叨着語言邏輯問題。
“下一個大質數是什麼數字？一個個驗證，驗證到x是質數，問題解決。”
“驗證x是解決問題的最快途徑，也就是過程p。如果x是已知的質數，也就是在驗證過程中，可以去推導在x和原點數字之間，是否存在其他大質數，但驗證次數就會是有限集合，而不是無限的多項式……”
“把問題加上‘平方號’會是什麼？”
“大質數的平方肯定不是質數，但它有且只有一個正常因數，問題的平方不一定能用語言來確切做描述，但是可以這麼理解……”
“烏拉烏拉~~~”
趙奕思考着語言邏輯問題，感覺頭都有點大了，他做的當然不是語言問題，而是純粹的數學邏輯問題，等他必須要把語言表達的邏輯弄通透，才能夠把問數學化，從而以純數學的方法來解決，否則解決的過程就可能會遇到邏輯不清晰的問題。
兩個多星期後。
趙奕差不多理清了邏輯關係，隨身的本子上密密麻麻記錄了很多內容，他知道可以開始正式做研究了。
當找到了問題的突破口，把問題完全轉化爲數學後，相對來說就簡單了許多，當然了論證過程並不簡單。
np=p？。
前面的np是無法直接咚愕亩囗検剑鴮膒則是多項式中的某一個特例，也就是解決np問題的最快最有效的方法。
那麼可以假設存在尋找p的方法y，使得能從np推導出y，再以y推導出p，就能夠直接解決np問題。
y就是np問題的答案。
如果y被證明存在，並且能夠表達出來，就說明存在可行的特定方法，可以解決複雜無規律、並且只能靠一個個去驗證的np問題。
y不存在，證明出來，就說明np問題無法解決。
兩者都完成了np問題的證明。
np問題確實是非常複雜的，是千禧年七大數學猜想的第一個，實際上，因爲問題非常的簡單，只牽扯到邏輯問題，趙奕能用《因果律》直接得到答案，而答案就是‘y不存在’，也就是不存在特定的方法，能夠直接解決np問題，答案並不出乎意料，因爲九成以上的數學家都認爲np問題沒有結果，關鍵就是怎麼去證明‘y不存在’。
趙奕想到的辦法是圖形法。
在三維座標系中設定一點a，點a向四周發散出無數不規則、無規律的線段，密密麻麻的充斥整個座標系，而存在一個終點s，有且只有一條線段的終點是s。
如果從原點a出發去尋找s，就必須要一條條的驗證，因爲a散發出了無數條線段，一一去做驗證計算量就太龐大了。
那麼是否能找到一個表達式y，使得從原點a的周邊範圍做判斷，就能夠按照表達式y，找出那條通往s的線段p？
假設表達式y是存在的，可以終點s以及線段p，反論證表達式y，再以y去反推原地a，反推的過程中，只需要證明y和a、p沒有任何相關性，就可以確定y是不存在的。
趙奕想好了證明的方法，就開始閉關在教職工宿舍裏做研究了。
這一閉關就是一個星期。
錢虹才清閒了一段時間，就發現自己又要做‘外賣’工作，每一次送飯過去的時候，看向趙奕的眼神都充滿了幽怨，同時也期待趙奕是否能完成np問題的研究。
這次只有她一個人知道，趙奕具體是在研究什麼。
其他人還覺得趙奕還沉浸於各種技術類的研發中，根本不知道趙奕又重新迴歸了數學，研究的還是千禧年七大猜想的第一個。
“讓其他人知道的話，肯定會是個重磅炸彈吧！”
“估計數學界會沸騰起來！”
“周教授會大聲說：趙奕啊，終於迴歸征途，重新開始研究數學了……”
於此同時。
航空集團對戰鷹-1設計的常規驗收工作已經完成，驗收結果讓所有參與工作的人感到驚訝，因爲他們所做的計算論證結果，和設計報告中給出的結果完全一致。
中途產生了不一致的情況，第二次計算就發現是他們計算錯誤。
這種準確率……
上一篇：亿亿神豪从被劈腿开始
下一篇：打造究极生物