楊聰、李建明以及孫夢飛不知道的是,他們都被雷勇提供的消息誤導(dǎo)了。
雷勇和鮑恩紅覺得趙奕的靈感來自于模型飛機(jī),實(shí)際上并不是這樣的,趙奕做飛機(jī)設(shè)計根本不需要靈感,需要的只是找一個突破口。
當(dāng)然了突破口不同,最終做出的設(shè)計也不同,但真要去說靈感,還是來自于雷勇和鮑恩紅,來自于他們對玩具模型飛機(jī)的論證報告。
雷勇和鮑恩紅覺得對玩具模型飛機(jī)進(jìn)行論證,就像是完成一個考核作業(yè)一樣,實(shí)際上,趙奕就是根據(jù)他們的論證,來對各部分進(jìn)行的修正。
所以雷勇和鮑恩紅在設(shè)計中,起到了非常重要的作用,只是他們自己不知道,還覺得趙奕真是很照顧他們,否則怎么解釋什么都沒做的情況下,趙奕還會對他們的工作非常滿意,設(shè)計報告中就有他們的名字,并且還委以重任,讓他們來航空集團(tuán)這邊輔助設(shè)計驗收工作?
總之,他們是誤會了。
趙奕也不在乎誤會不誤會,他沒有必要獨(dú)攬全功,把所有的功勞都?xì)w在自己身上,分給其他人一些也是很正常的。
現(xiàn)在他甚至沒有考慮飛機(jī)設(shè)計驗收工作,只專注于NP問題的研究。
趙奕并沒有開始做論證,真正去著手解決NP問題,因為他還沒有想好怎么去解決,從哪里入手去解決,而是在正常的學(xué)習(xí)工作生活中,不斷對問題進(jìn)行深入的思考。
這種思考能帶來很多的思路,有稍微好一些的思路,他就會記錄下來。
在連續(xù)近一個月的思考后,趙奕都感覺自己有些神經(jīng)了,他走在路上的時候,都不斷念叨著語言邏輯問題。
“下一個大質(zhì)數(shù)是什么數(shù)字?一個個驗證,驗證到X是質(zhì)數(shù),問題解決。”
“驗證X是解決問題的最快途徑,也就是過程P。如果X是已知的質(zhì)數(shù),也就是在驗證過程中,可以去推導(dǎo)在X和原點(diǎn)數(shù)字之間,是否存在其他大質(zhì)數(shù),但驗證次數(shù)就會是有限集合,而不是無限的多項式……”
“把問題加上‘平方號’會是什么?”
“大質(zhì)數(shù)的平方肯定不是質(zhì)數(shù),但它有且只有一個正常因數(shù),問題的平方不一定能用語言來確切做描述,但是可以這么理解……”
“烏拉烏拉~~~”
趙奕思考著語言邏輯問題,感覺頭都有點(diǎn)大了,他做的當(dāng)然不是語言問題,而是純粹的數(shù)學(xué)邏輯問題,等他必須要把語言表達(dá)的邏輯弄通透,才能夠把問數(shù)學(xué)化,從而以純數(shù)學(xué)的方法來解決,否則解決的過程就可能會遇到邏輯不清晰的問題。
兩個多星期后。
趙奕差不多理清了邏輯關(guān)系,隨身的本子上密密麻麻記錄了很多內(nèi)容,他知道可以開始正式做研究了。
當(dāng)找到了問題的突破口,把問題完全轉(zhuǎn)化為數(shù)學(xué)后,相對來說就簡單了許多,當(dāng)然了論證過程并不簡單。
NP=P?。
前面的NP是無法直接運(yùn)算的多項式,而對應(yīng)的P則是多項式中的某一個特例,也就是解決NP問題的最快最有效的方法。
那么可以假設(shè)存在尋找P的方法Y,使得能從NP推導(dǎo)出Y,再以Y推導(dǎo)出P,就能夠直接解決NP問題。
Y就是NP問題的答案。
如果Y被證明存在,并且能夠表達(dá)出來,就說明存在可行的特定方法,可以解決復(fù)雜無規(guī)律、并且只能靠一個個去驗證的NP問題。
Y不存在,證明出來,就說明NP問題無法解決。
兩者都完成了NP問題的證明。
NP問題確實(shí)是非常復(fù)雜的,是千禧年七大數(shù)學(xué)猜想的第一個,實(shí)際上,因為問題非常的簡單,只牽扯到邏輯問題,趙奕能用《因果律》直接得到答案,而答案就是‘Y不存在’,也就是不存在特定的方法,能夠直接解決NP問題,答案并不出乎意料,因為九成以上的數(shù)學(xué)家都認(rèn)為NP問題沒有結(jié)果,關(guān)鍵就是怎么去證明‘Y不存在’。
趙奕想到的辦法是圖形法。
在三維坐標(biāo)系中設(shè)定一點(diǎn)A,點(diǎn)A向四周發(fā)散出無數(shù)不規(guī)則、無規(guī)律的線段,密密麻麻的充斥整個坐標(biāo)系,而存在一個終點(diǎn)S,有且只有一條線段的終點(diǎn)是S。
如果從原點(diǎn)A出發(fā)去尋找S,就必須要一條條的驗證,因為A散發(fā)出了無數(shù)條線段,一一去做驗證計算量就太龐大了。
那么是否能找到一個表達(dá)式Y(jié),使得從原點(diǎn)A的周邊范圍做判斷,就能夠按照表達(dá)式Y(jié),找出那條通往S的線段P?
假設(shè)表達(dá)式Y(jié)是存在的,可以終點(diǎn)S以及線段P,反論證表達(dá)式Y(jié),再以Y去反推原地A,反推的過程中,只需要證明Y和A、P沒有任何相關(guān)性,就可以確定Y是不存在的。
趙奕想好了證明的方法,就開始閉關(guān)在教職工宿舍里做研究了。
這一閉關(guān)就是一個星期。
錢虹才清閑了一段時間,就發(fā)現(xiàn)自己又要做‘外賣’工作,每一次送飯過去的時候,看向趙奕的眼神都充滿了幽怨,同時也期待趙奕是否能完成NP問題的研究。
這次只有她一個人知道,趙奕具體是在研究什么。
其他人還覺得趙奕還沉浸于各種技術(shù)類的研發(fā)中,根本不知道趙奕又重新回歸了數(shù)學(xué),研究的還是千禧年七大猜想的第一個。
“讓其他人知道的話,肯定會是個重磅炸彈吧!”
“估計數(shù)學(xué)界會沸騰起來!”
“周教授會大聲說:趙奕啊,終于回歸征途,重新開始研究數(shù)學(xué)了……”
于此同時。
航空集團(tuán)對戰(zhàn)鷹-1設(shè)計的常規(guī)驗收工作已經(jīng)完成,驗收結(jié)果讓所有參與工作的人感到驚訝,因為他們所做的計算論證結(jié)果,和設(shè)計報告中給出的結(jié)果完全一致。
中途產(chǎn)生了不一致的情況,第二次計算就發(fā)現(xiàn)是他們計算錯誤。
這種準(zhǔn)確率……
有人感嘆,“趙院士去考理科,不管是什么級別,肯定能拿滿分。”他的意思是會的題都做對,連一點(diǎn)小錯誤都沒有。
其他人鄙視的道,“趙院士本來就是滿分。”
“那倒不是。你們不知道嗎?趙院士高考好像是752分?”
“別開玩笑了,滿分只有750。”
“20分奧數(shù)啊,趙院士是省一等獎,但他之所以只是省一等獎,只是因為后續(xù)沒有參加,他是那一屆奧數(shù)最高分。”
“那就是732?也不高啊!”
“請問,什么叫高?語文你能考滿分?當(dāng)時我注意過趙院士的成績,好像說數(shù)學(xué)、英語、理綜都是差一分滿分,幾乎就和滿分一樣了,估計只是過程寫的差一步扣一分……”
“真遺憾!”
“你們說這個到底有什么意義?趙院士數(shù)學(xué)世界第一,計算不出錯有什么大不了?”
“……也對!”
“也對!”
一群人響應(yīng)著。
雖然他們紛紛點(diǎn)頭似乎是覺得很正常,實(shí)際上每個人心里都很驚訝,因為設(shè)計報告牽扯的計算內(nèi)容太多,不出一點(diǎn)錯難度太高了。
這可比數(shù)學(xué)考滿分難多了。
他們都驗收的時候,好幾處計算都出錯,結(jié)果再重新設(shè)計計算方法,結(jié)果就是報告上的一致,而他們可是一個個的小組,趙院士……
“不對啊!”
有人忽然驚訝道,“一點(diǎn)錯誤沒有,也就是說,這些計算都是趙院士一個人做的?”
“……”
“……”
好多人也意識到這一點(diǎn),頓時都覺得非常的震撼,他們一大群幾十號人,論證計算了半個多月。
這是多么龐大的計算量?
趙院士一個人……
“不敢想象啊!”劉建昆看著常規(guī)驗收組提交的報告都感覺非常驚訝,但不管怎么驚訝,結(jié)果才是最重要的。
常規(guī)驗收,通過!
接下來就是‘智能控制系統(tǒng)’的驗收工作了。
劉建昆也馬上去了‘智能控制系統(tǒng)’驗收組,了解一下驗收組的工作進(jìn)度。
然后他失望了。
“什么?還要兩個星期?”劉建昆感到非常驚訝,因為早在一個多月以前,科學(xué)院軟件所的人來了后,‘智能控制系統(tǒng)’驗收組就說有重大進(jìn)展,并表示一個月內(nèi)就能完成。
現(xiàn)在時間早就過去了。
雖然有科學(xué)院軟件所的人來,劉賀敏院士也親自到場,但‘智能控制系統(tǒng)’驗收組的主要負(fù)責(zé)人,還是郭金華和鄧敏容,他們才是航空集團(tuán)旗下研究所的人。
面對劉建昆滿臉的驚訝和不滿,郭金華和鄧敏容對視一眼也只能苦笑了,劉賀敏院士剛來的時候,很快就弄清楚核心算法的情況,驗收進(jìn)展確實(shí)是非常重大,因為他們的主要工作就是弄懂核心算法,其他的驗證相對簡單很多,甚至都不需要去仔細(xì)看源代碼,只要調(diào)試運(yùn)行看結(jié)果就可以了。
但是一個月時間過去,他們的進(jìn)展可以說用龜速來形容。
那幾個核心算法包中的代碼,牽扯的內(nèi)容非常的多,計算量也相對龐大,最主要是,他們搞不懂計算的原理。
為了能盡快弄懂核心算法包中的內(nèi)容,郭金華、鄧敏容干脆和劉賀敏一起工作,一邊對代碼進(jìn)行研究一邊做交流,但有幾個位置還是搞不明白,聯(lián)系其他關(guān)聯(lián)的算法包,也沒有任何用處。
郭金華、鄧敏容都不知道需要多長時間,他們只能把時間往后繼續(xù)推,也許再繼續(xù)研究討論,就能找出關(guān)鍵點(diǎn)了。
劉建昆對算法的事情不懂,也只能再給兩個星期時間。
很快。
兩個星期過去了。
劉建昆再一次來到‘智能控制系統(tǒng)’驗收組,得到的卻不是驗收工作完成的消息,而是……
“讓趙院士來吧!”
“讓趙院士來具體說說,我們一直研究討論也沒有結(jié)果。”
“對。”
這次劉賀敏也在,他拉著臉皮有些無奈的道,“算法包里有幾個點(diǎn)太復(fù)雜,想理解還是要趙院士本人來。”
劉賀敏真是放開了。
其實(shí)他并不想讓趙奕來,因為他就是軟件所拍來輔助做驗收工作的,結(jié)果卻看不懂核心算法的關(guān)鍵內(nèi)容,實(shí)在是有些太丟臉了。
但是,劉賀敏沒有辦法。
他和郭金華、鄧敏容三人,連續(xù)對核心算法進(jìn)行研究,幾個關(guān)鍵點(diǎn)是怎么都想不明白,他不由得想起了‘有效與無關(guān)進(jìn)位篩選法’。
那種非常燒腦的算法,靠看代碼自己去理解,需要花費(fèi)的時間是海量的,別說是一兩個星期了,給一、兩個月都不一定夠。
現(xiàn)在能怎么辦?
面對趙奕設(shè)計的復(fù)雜算法,略微低一下頭也不算什么,最少郭金華、鄧敏容能理解的,其他人怎么看……咳咳。
這種驗收工作是完全保密的,其他人,比如科學(xué)院軟件所,也不可能知道過程。
所以……
無所謂了!
劉賀敏仔細(xì)一想,頓時就感覺輕松很多,他繼續(xù)說道,“劉經(jīng)理,我們短時間是沒辦法了,其中牽扯的算法太復(fù)雜,你也知道趙奕的天才……”
他說著無奈搖頭。
劉建昆確實(shí)是能夠理解,可想到讓趙奕本人做講解,就覺得非常的郁悶。
如果讓趙奕本人來做講解,他還去找科學(xué)院軟件所干什么?直接讓趙奕來講就行了,最主要是,讓設(shè)計者本人來參與驗收工作,不符合航空集團(tuán)內(nèi)部的規(guī)則、制度。
劉建昆知道了‘智能控制系統(tǒng)’驗收組遇到的問題,也只能很無奈的回去思考一下,具體該怎么解決這件事。
最后他決定開會。
他要召開集團(tuán)研發(fā)的會議,專門去說戰(zhàn)鷹-1設(shè)計、驗收工作,讓大家一起做出決定。
很快。
劉建昆發(fā)布了消息,以‘研發(fā)取得重大突破進(jìn)展’為由,讓工作人員打電話通知重要人員,其中不止報告集團(tuán)內(nèi)部人員,甚至還有附近空-軍方面相關(guān)的代表。
一周后。
航空集團(tuán)的科研大型會議開始,前來參與會議的都是重量級人物,其中甚至有兩個‘將’銜的軍官領(lǐng)導(dǎo)。
雖然說是航空集團(tuán)的科研會議,實(shí)際上就是領(lǐng)導(dǎo)-級會議,參加的人只有十五個,航空集團(tuán)總部就只有兩個人,還有一個是組織會議的劉建昆。
會議最開始的時候,劉建昆就為與會的人,展示了趙奕設(shè)計的戰(zhàn)鷹-1,并介紹了常規(guī)驗收工作介紹,提供了戰(zhàn)鷹-1理論的性能參數(shù)。
“翼展,約12米,折疊后10.5米,機(jī)長約16米,高5.2米……”
“空重約13000千克,最大武器載荷大于6500千克,最大起飛重量……”
“最大平飛速度 1800到2000千米/時,作戰(zhàn)半徑1200公里到1400公里。”
“動力裝置……”
“支持超音速巡航、可以按照最先進(jìn)的Y-5CB電子干擾裝置和9C雷達(dá)……”
劉建昆講解的非常詳細(xì),把每一個參數(shù)都做了重點(diǎn)介紹。
前來的好多人都是第一次知道戰(zhàn)鷹-1,頓時被設(shè)計的參數(shù)驚住了,有人忍不住打斷問道,“你確定不是在開玩笑嗎?”
“這個參數(shù)指標(biāo)超過F-35吧?”
劉建昆說了趙奕的名字,頓時引起了一陣的討論聲。
在做了參數(shù)介紹以及確定常規(guī)設(shè)計沒有問題后,劉建昆就說起了‘智能控制系統(tǒng)’驗收所遇到的問題。
參會的一個‘將’級領(lǐng)導(dǎo),直接一拍桌子大聲道,“這還叫事嗎?”
“什么規(guī)章、什么制度!我不管你們航空集團(tuán)有什么規(guī)章,今天你可是說了,這個設(shè)計是沒有問題的,我就希望看到,這架飛機(jī)能在未來服役!”
“未來是多遠(yuǎn)呢?最好三年,試飛,五年,服役!我這個年紀(jì)了,你今天說的這個設(shè)計,真是讓我心動了!”
“如果我看不見它服役,告訴你,我死不瞑目啊!”
“……”
..