第四百七十章 看不見它服役,我死不瞑目啊!

楊聰、李建明以及孫夢飛不知道的是,他們都被雷勇提供的消息誤導了。

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

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

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

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

總之,他們是誤會了。

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

現在他甚至沒有考慮飛機設計驗收工作,只專注於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?也不高啊!”

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

“真遺憾!”

“你們說這個到底有什麼意義?趙院士數學世界第一,計算不出錯有什麼大不了?”

“……也對!”

“也對!”

一羣人響應着。

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

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

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

“不對啊!”

有人忽然驚訝道,“一點錯誤沒有,也就是說,這些計算都是趙院士一個人做的?”

“……”

“……”

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

這是多麼龐大的計算量?

趙院士一個人……

“不敢想象啊!”劉建昆看着常規驗收組提交的報告都感覺非常驚訝,但不管怎麼驚訝,結果纔是最重要的。

常規驗收,通過!

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

劉建昆也馬上去了‘智能控制系統’驗收組,瞭解一下驗收組的工作進度。

然後他失望了。

“什麼?還要兩個星期?”劉建昆感到非常驚訝,因爲早在一個多月以前,科學院軟件所的人來了後,‘智能控制系統’驗收組就說有重大進展,並表示一個月內就能完成。

現在時間早就過去了。

Wωω ☢Tтkд n ☢C〇

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

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

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

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

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

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

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

很快。

兩個星期過去了。

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

“讓趙院士來吧!”

“讓趙院士來具體說說,我們一直研究討論也沒有結果。”

“對。”

這次劉賀敏也在,他拉着臉皮有些無奈的道,“算法包裡有幾個點太複雜,想理解還是要趙院士本人來。”

劉賀敏真是放開了。

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

但是,劉賀敏沒有辦法。

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

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

現在能怎麼辦?

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

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

所以……

無所謂了!

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

他說着無奈搖頭。

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

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

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

最後他決定開會。

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

很快。

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

一週後。

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

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

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

“翼展,約12米,摺疊後10.5米,機長約16米,高5.2米……”

“空重約13000千克,最大武器載荷大於6500千克,最大起飛重量……”

“最大平飛速度 1800到2000千米/時,作戰半徑1200公里到1400公里。”

“動力裝置……”

“支持超音速巡航、可以按照最先進的Y-5CB電子干擾裝置和9C雷達……”

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

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

“這個參數指標超過F-35吧?”

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

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

參會的一個‘將’級領導,直接一拍桌子大聲道,“這還叫事嗎?”

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

“未來是多遠呢?最好三年,試飛,五年,服役,一切都要給它讓道!我實話說了吧,我相信趙院士,不相信你們!”

“我這個年紀了。你今天說的這個設計,真是讓我心動了!”

“如果看不見它服役,告訴你,我死不瞑目啊!”

“……”

第二百二十一章 高冷,只是個修飾詞匯第六百三十六章 所以我們才叫‘無限動力’!第三百七十三章 必須要推廣獨屬於自己的理論第四百七十七章 到底發生了什麼?第四百二十六章 聽我的,試試不吃虧!第一百五十章 數論是很有意思的第七十四章 有效與無關進位篩選法第三百四十一章 最最頂尖的數學家第五百三十三章 我忽然更期待了!第四百四十二章 還是我去吧!第四百三十七章 沒有人比您更嚴謹了第四百九十八章 兄弟學校!兄弟實驗室!第三百九十二章 國際大震動!第四百九十六章 微觀理論到實踐的重要一步!第五百九十八章 製造出200K以上的超導材料!第三百七十九章 理論物理的第一學科第三百零三章 斯穆特:這是開宗立派的理論第五百七十六章 快讓趙奕當所長吧!第二十一章 重在參與?第五百七十一章 詭異的超級大發現!第二百四十五章 證明猜想的思路第四百七十三章 邱成文要挖角範雷第五百九十六章 公開研究成果:《粒子性態墮化》第六百九十章 爆炸,還是發生了!第一百一十四章 製造‘新幣’的想法第二百二十二章 我的夢想是成爲生物學家第五百三十四章 空間阻隔和強力第五百五十一章 證明黎曼猜想!第四百六十六章 這工作效率也太慢了 !第二百七十九章 人不要臉、天下無敵!第三百五十二章 理論物理的數學魅力第二百三十二章 我們要努力做貢獻!第六百三十九章 是時候開啓太空航路了!第四百五十二章 這個邏輯好像沒有問題?第四百六十八章 你……真是個天才!第四百二十七章 熔點提升了近100攝氏度!第五百三十一章 申請進行核-試驗第四百四十七章 一組還有存在的必要嗎?第四百九十三章 怎麼能擺脫引力呢?第四十八章 他們太笨了,一定是這樣!第一百三十八章 誰也別想打擾老子!第四百六十四章 戰鷹-1設計定型第一百五十八章 央視的專訪第一百六十九章 開飛機還是坐火箭?第六百四十九章 壓縮倍率要檢測出來很不容易第四百六十四章 戰鷹-1設計定型第一百二十章 我是那種會被金錢打敗的人嗎?第六百三十二章 製造戴森球?第六百一十五章 航天器設計師:保證完全任務!第一百零三章 我的心真的受傷了第七百零九章 肯定是發生了什麼!第四百八十六章 還是要讓張剛川好好幹啊!第三百一十六章 圖靈獎的意義第三百一十八章 當然不!絕對不要!我願意!第二百三十六章 老實人好欺負!第五百三十三章 我忽然更期待了!第四十九章 大型認媽現場第五百四十九章 新的思路,新的理解!第三百九十八章 愛因斯坦重力場方程第一百三十章 我就說一句:恭喜他!第二百五十章 還有什麼他做不到的!第二十九章 高人該有的風範!第一百六十五章 趙奕想的還真是遠!第二百五十三章 這特麼是作弊了吧!第七百零六章 飛行汽車被曝光了!第三百七十章 上新聞打廣告!第四章 唯女子與小人難養也第六百七十五章 搶佔先機很重要!第四百六十二章 人老了,記憶力減退了?第五百二十三章 自旋帶來的靈感第二百五十四章 突如其來的靈感第六百六十章 最緊張的時刻第四百零五章 堅決不當工具人!第六百五十二章 趙奕:《空間和宇宙論》第六百七十七章 宣佈大計劃!第三百六十七章 你管這叫一小部分?第五百四十八章 每天五百萬,不算什麼!第三百三十六章 老錢,你真是個天才啊!第五百九十五章 吞噬地球的實驗?第四百六十二章 人老了,記憶力減退了?第五百二十章 動了!動了!第一百六十章 《監察律》反饋的信息第五百二十一章 真闊綽、真慷慨啊!第五十五章 學校成了電子城第十五章 不會說話就閉嘴!第三十二章 窮屌絲同情白富美第三百四十章 D國人會很尷尬(盟主浪子罪人)第二百二十七章 爲什麼他們一個月就完成了?第一百六十八章 你這個腦袋到底是怎麼長的!第六百六十章 最緊張的時刻第五百九十一章 非常危險的實驗第一百六十五章 趙奕想的還真是遠!第三百五十五章 ‘偷來的’質量邏輯第五百四十九章 新的思路,新的理解!第六百四十一章 這個機會太難得了!第三百三十四章 我不懂物理!第三百九十六章 沃爾夫物理學獎第四十九章 大型認媽現場第二百四十七章 檢驗?老子就是專業的啊!第六十三章 第二能力:《聯絡律》
第二百二十一章 高冷,只是個修飾詞匯第六百三十六章 所以我們才叫‘無限動力’!第三百七十三章 必須要推廣獨屬於自己的理論第四百七十七章 到底發生了什麼?第四百二十六章 聽我的,試試不吃虧!第一百五十章 數論是很有意思的第七十四章 有效與無關進位篩選法第三百四十一章 最最頂尖的數學家第五百三十三章 我忽然更期待了!第四百四十二章 還是我去吧!第四百三十七章 沒有人比您更嚴謹了第四百九十八章 兄弟學校!兄弟實驗室!第三百九十二章 國際大震動!第四百九十六章 微觀理論到實踐的重要一步!第五百九十八章 製造出200K以上的超導材料!第三百七十九章 理論物理的第一學科第三百零三章 斯穆特:這是開宗立派的理論第五百七十六章 快讓趙奕當所長吧!第二十一章 重在參與?第五百七十一章 詭異的超級大發現!第二百四十五章 證明猜想的思路第四百七十三章 邱成文要挖角範雷第五百九十六章 公開研究成果:《粒子性態墮化》第六百九十章 爆炸,還是發生了!第一百一十四章 製造‘新幣’的想法第二百二十二章 我的夢想是成爲生物學家第五百三十四章 空間阻隔和強力第五百五十一章 證明黎曼猜想!第四百六十六章 這工作效率也太慢了 !第二百七十九章 人不要臉、天下無敵!第三百五十二章 理論物理的數學魅力第二百三十二章 我們要努力做貢獻!第六百三十九章 是時候開啓太空航路了!第四百五十二章 這個邏輯好像沒有問題?第四百六十八章 你……真是個天才!第四百二十七章 熔點提升了近100攝氏度!第五百三十一章 申請進行核-試驗第四百四十七章 一組還有存在的必要嗎?第四百九十三章 怎麼能擺脫引力呢?第四十八章 他們太笨了,一定是這樣!第一百三十八章 誰也別想打擾老子!第四百六十四章 戰鷹-1設計定型第一百五十八章 央視的專訪第一百六十九章 開飛機還是坐火箭?第六百四十九章 壓縮倍率要檢測出來很不容易第四百六十四章 戰鷹-1設計定型第一百二十章 我是那種會被金錢打敗的人嗎?第六百三十二章 製造戴森球?第六百一十五章 航天器設計師:保證完全任務!第一百零三章 我的心真的受傷了第七百零九章 肯定是發生了什麼!第四百八十六章 還是要讓張剛川好好幹啊!第三百一十六章 圖靈獎的意義第三百一十八章 當然不!絕對不要!我願意!第二百三十六章 老實人好欺負!第五百三十三章 我忽然更期待了!第四十九章 大型認媽現場第五百四十九章 新的思路,新的理解!第三百九十八章 愛因斯坦重力場方程第一百三十章 我就說一句:恭喜他!第二百五十章 還有什麼他做不到的!第二十九章 高人該有的風範!第一百六十五章 趙奕想的還真是遠!第二百五十三章 這特麼是作弊了吧!第七百零六章 飛行汽車被曝光了!第三百七十章 上新聞打廣告!第四章 唯女子與小人難養也第六百七十五章 搶佔先機很重要!第四百六十二章 人老了,記憶力減退了?第五百二十三章 自旋帶來的靈感第二百五十四章 突如其來的靈感第六百六十章 最緊張的時刻第四百零五章 堅決不當工具人!第六百五十二章 趙奕:《空間和宇宙論》第六百七十七章 宣佈大計劃!第三百六十七章 你管這叫一小部分?第五百四十八章 每天五百萬,不算什麼!第三百三十六章 老錢,你真是個天才啊!第五百九十五章 吞噬地球的實驗?第四百六十二章 人老了,記憶力減退了?第五百二十章 動了!動了!第一百六十章 《監察律》反饋的信息第五百二十一章 真闊綽、真慷慨啊!第五十五章 學校成了電子城第十五章 不會說話就閉嘴!第三十二章 窮屌絲同情白富美第三百四十章 D國人會很尷尬(盟主浪子罪人)第二百二十七章 爲什麼他們一個月就完成了?第一百六十八章 你這個腦袋到底是怎麼長的!第六百六十章 最緊張的時刻第五百九十一章 非常危險的實驗第一百六十五章 趙奕想的還真是遠!第三百五十五章 ‘偷來的’質量邏輯第五百四十九章 新的思路,新的理解!第六百四十一章 這個機會太難得了!第三百三十四章 我不懂物理!第三百九十六章 沃爾夫物理學獎第四十九章 大型認媽現場第二百四十七章 檢驗?老子就是專業的啊!第六十三章 第二能力:《聯絡律》