規則系學霸 第四百七十章 看不見它服役，我死不瞑目啊！

    測試廣告1    楊聰、李建明以及孫夢飛不知道的是，他們都被雷勇提供的消息誤導了。隨夢小說網 www.suimeng.co

    雷勇和鮑恩紅覺得趙奕的靈感來自於模型飛機，實際上並不是這樣的，趙奕做飛機設計根本不需要靈感，需要的只是找一個突破口。

    當然了突破口不同，最終做出的設計也不同，但真要去說靈感，還是來自於雷勇和鮑恩紅，來自於他們對玩具模型飛機的論證報告。

    雷勇和鮑恩紅覺得對玩具模型飛機進行論證，就像是完成一個考核作業一樣，實際上，趙奕就是根據他們的論證，來對各部分進行的修正。

    所以雷勇和鮑恩紅在設計中，起到了非常重要的作用，只是他們自己不知道，還覺得趙奕真是很照顧他們，否則怎麼解釋什麼都沒做的情況下，趙奕還會對他們的工作非常滿意，設計報告中就有他們的名字，並且還委以重任，讓他們來航空集團這邊輔助設計驗收工作？

    總之，他們是誤會了。

    趙奕也不在乎誤會不誤會，他沒有必要獨攬全功，把所有的功勞都歸在自己身上，分給其他人一些也是很正常的。

    現在他甚至沒有考慮飛機設計驗收工作，只專注於np問題的研究。

    趙奕並沒有開始做論證，真正去著手解決np問題，因為他還沒有想好怎麼去解決，從哪裡入手去解決，而是在正常的學習工作生活中，不斷對問題進行深入的思考。

    這種思考能帶來很多的思路，有稍微好一些的思路，他就會記錄下來。

    在連續近一個月的思考後，趙奕都感覺自己有些神經了，他走在路上的時候，都不斷念叨著語言邏輯問題。

    「下一個大質數是什麼數字？一個個驗證，驗證到x是質數，問題解決。」

    「驗證x是解決問題的最快途徑，也就是過程p。如果x是已知的質數，也就是在驗證過程中，可以去推導在x和原點數字之間，是否存在其他大質數，但驗證次數就會是有限集合，而不是無限的多項式……」

    「把問題加上『平方號』會是什麼？」

    「大質數的平方肯定不是質數，但它有且只有一個正常因數，問題的平方不一定能用語言來確切做描述，但是可以這麼理解……」

    「烏拉烏拉~~~」

    趙奕思考著語言邏輯問題，感覺頭都有點大了，他做的當然不是語言問題，而是純粹的數學邏輯問題，等他必須要把語言表達的邏輯弄通透，才能夠把問數學化，從而以純數學的方法來解決，否則解決的過程就可能會遇到邏輯不清晰的問題。

    兩個多星期後。

    趙奕差不多理清了邏輯關係，隨身的本子上密密麻麻記錄了很多內容，他知道可以開始正式做研究了。

    當找到了問題的突破口，把問題完全轉化為數學後，相對來說就簡單了許多，當然了論證過程並不簡單。

    np=p？。

    前面的np是無法直接運算的多項式，而對應的p則是多項式中的某一個特例，也就是解決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設計的常規驗收工作已經完成，驗收結果讓所有參與工作的人感到驚訝，因為他們所做的計算論證結果，和設計報告中給出的結果完全一致。

    中途產生了不一致的情況，第二次計算就發現是他們計算錯誤。

    這種準確率……

    有人感嘆，「趙院士去考理科，不管是什麼級別，肯定能拿滿分。」他的意思是會的題都做對，連一點小錯誤都沒有。

    其他人鄙視的道，「趙院士本來就是滿分。」

    「那倒不是。你們不知道嗎？趙院士高考好像是752分？」

    「別開玩笑了，滿分只有750。」

    「20分奧數啊，趙院士是省一等獎，但他之所以只是省一等獎，只是因為後續沒有參加，他是那一屆奧數最高分。」

    「那就是732？也不高啊！」

    「請問，什麼叫高？語文你能考滿分？當時我注意過趙院士的成績，好像說數學、英語、理綜都是差一分滿分，幾乎就和滿分一樣了，估計只是過程寫的差一步扣一分……」

    「真遺憾！」

    「你們說這個到底有什麼意義？趙院士數學世界第一，計算不出錯有什麼大不了？」

    「……也對！」

    「也對！」

    一群人響應著。

    雖然他們紛紛點頭似乎是覺得很正常，實際上每個人心裡都很驚訝，因為設計報告牽扯的計算內容太多，不出一點錯難度太高了。

    這可比數學考滿分難多了。

    他們都驗收的時候，好幾處計算都出錯，結果再重新設計計算方法，結果就是報告上的一致，而他們可是一個個的小組，趙院士……

    「不對啊！」

    有人忽然驚訝道，「一點錯誤沒有，也就是說，這些計算都是趙院士一個人做的？」

    「……」

    「……」

    好多人也意識到這一點，頓時都覺得非常的震撼，他們一大群幾十號人，論證計算了半個多月。

    這是多麼龐大的計算量？

    趙院士一個人……

    「不敢想像啊！」劉建昆看著常規驗收組提交的報告都感覺非常驚訝，但不管怎麼驚訝，結果才是最重要的。

    常規驗收，通過！

    接下來就是『智能控制系統』的驗收工作了。

    劉建昆也馬上去了『智能控制系統』驗收組，了解一下驗收組的工作進度。

    然後他失望了。

    「什麼？還要兩個星期？」劉建昆感到非常驚訝，因為早在一個多月以前，科學院軟體所的人來了後，『智能控制系統』驗收組就說有重大進展，並表示一個月內就能完成。

    現在時間早就過去了。

    雖然有科學院軟體所的人來，劉賀敏院士也親自到場，但『智能控制系統』驗收組的主要負責人，還是郭金華和鄧敏容，他們才是航空集團旗下研究所的人。

    面對劉建昆滿臉的驚訝和不滿，郭金華和鄧敏容對視一眼也只能苦笑了，劉賀敏院士剛來的時候，很快就弄清楚核心算法的情況，驗收進展確實是非常重大，因為他們的主要工作就是弄懂核心算法，其他的驗證相對簡單很多，甚至都不需要去仔細看源代碼，只要調試運行看結果就可以了。

    但是一個月時間過去，他們的進展可以說用龜速來形容。

    那幾個核心算法包中的代碼，牽扯的內容非常的多，計算量也相對龐大，最主要是，他們搞不懂計算的原理。

    為了能儘快弄懂核心算法包中的內容，郭金華、鄧敏容乾脆和劉賀敏一起工作，一邊對代碼進行研究一邊做交流，但有幾個位置還是搞不明白，聯繫其他關聯的算法包，也沒有任何用處。

    郭金華、鄧敏容都不知道需要多長時間，他們只能把時間往後繼續推，也許再繼續研究討論，就能找出關鍵點了。

    劉建昆對算法的事情不懂，也只能再給兩個星期時間。

    很快。

    兩個星期過去了。

    劉建昆再一次來到『智能控制系統』驗收組，得到的卻不是驗收工作完成的消息，而是……

    「讓趙院士來吧！」

    「讓趙院士來具體說說，我們一直研究討論也沒有結果。」

    「對。」

    這次劉賀敏也在，他拉著臉皮有些無奈的道，「算法包里有幾個點太複雜，想理解還是要趙院士本人來。」

    劉賀敏真是放開了。

    其實他並不想讓趙奕來，因為他就是軟體所拍來輔助做驗收工作的，結果卻看不懂核心算法的關鍵內容，實在是有些太丟臉了。

    但是，劉賀敏沒有辦法。

    他和郭金華、鄧敏容三人，連續對核心算法進行研究，幾個關鍵點是怎麼都想不明白，他不由得想起了『有效與無關進位篩選法』。

    那種非常燒腦的算法，靠看代碼自己去理解，需要花費的時間是海量的，別說是一兩個星期了，給一、兩個月都不一定夠。

    現在能怎麼辦？

    面對趙奕設計的複雜算法，略微低一下頭也不算什麼，最少郭金華、鄧敏容能理解的，其他人怎麼看……咳咳。

    這種驗收工作是完全保密的，其他人，比如科學院軟體所，也不可能知道過程。

    所以……

    無所謂了！

    劉賀敏仔細一想，頓時就感覺輕鬆很多，他繼續說道，「劉經理，我們短時間是沒辦法了，其中牽扯的算法太複雜，你也知道趙奕的天才……」

    他說著無奈搖頭。

    劉建昆確實是能夠理解，可想到讓趙奕本人做講解，就覺得非常的鬱悶。

    如果讓趙奕本人來做講解，他還去找科學院軟體所幹什麼？直接讓趙奕來講就行了，最主要是，讓設計者本人來參與驗收工作，不符合航空集團內部的規則、制度。

    劉建昆知道了『智能控制系統』驗收組遇到的問題，也只能很無奈的回去思考一下，具體該怎麼解決這件事。

    最後他決定開會。

    他要召開集團研發的會議，專門去說戰鷹-1設計、驗收工作，讓大家一起做出決定。

    很快。

    劉建昆發布了消息，以『研發取得重大突破進展』為由，讓工作人員打電話通知重要人員，其中不止報告集團內部人員，甚至還有附近空-軍方面相關的代表。

    一周後。

    航空集團的科研大型會議開始，前來參與會議的都是重量級人物，其中甚至有兩個『將』銜的軍官領導。

    雖然說是航空集團的科研會議，實際上就是領導-級會議，參加的人只有十五個，航空集團總部就只有兩個人，還有一個是組織會議的劉建昆。

    會議最開始的時候，劉建昆就為與會的人，展示了趙奕設計的戰鷹-1，並介紹了常規驗收工作介紹，提供了戰鷹-1理論的性能參數。

    「翼展，約12米，摺疊後10.5米，機長約16米，高5.2米……」

    「空重約13000千克，最大武器載荷大於6500千克，最大起飛重量……」

    「最大平飛速度 1800到2000千米/時，作戰半徑1200公里到1400公里。」

    「動力裝置……」

    「支持超音速巡航、可以按照最先進的y-5cb電子干擾裝置和9c雷達……」

    劉建昆講解的非常詳細，把每一個參數都做了重點介紹。

    前來的好多人都是第一次知道戰鷹-1，頓時被設計的參數驚住了，有人忍不住打斷問道，「你確定不是在開玩笑嗎？」

    「這個參數指標超過f-35吧？」

    劉建昆說了趙奕的名字，頓時引起了一陣的討論聲。

    在做了參數介紹以及確定常規設計沒有問題後，劉建昆就說起了『智能控制系統』驗收所遇到的問題。

    參會的一個『將』級領導，直接一拍桌子大聲道，「這還叫事嗎？」

    「什麼規章、什麼制度！我不管你們航空集團有什麼規章，今天你可是說了，這個設計是沒有問題的，我就希望看到，這架飛機能在未來服役！」

    「未來是多遠呢？最好三年，試飛，五年，服役！我這個年紀了，你今天說的這個設計，真是讓我心動了！」

    「如果我看不見它服役，告訴你，我死不瞑目啊！」

    「……」

    ..測試廣告2