第470章 看不见它服役，我死不瞑目啊！（1 / 2）
杨聪、李建明以及孙梦飞不知道的是，他们都被雷勇提供的消息误导了。
雷勇和鲍恩红觉得赵奕的灵感来自于模型飞机，实际上并不是这样的，赵奕做飞机设计根本不需要灵感，需要的只是找一个突破口。
当然了突破口不同，最终做出的设计也不同，但真要去说灵感，还是来自于雷勇和鲍恩红，来自于他们对玩具模型飞机的论证报告。
雷勇和鲍恩红觉得对玩具模型飞机进行论证，就像是完成一个考核作业一样，实际上，赵奕就是根据他们的论证，来对各部分进行的修正。
所以雷勇和鲍恩红在设计中，起到了非常重要的作用，只是他们自己不知道，还觉得赵奕真是很照顾他们，否则怎么解释什么都没做的情况下，赵奕还会对他们的工作非常满意，设计报告中就有他们的名字，并且还委以重任，让他们来航空集团这边辅助设计验收工作？
总之，他们是误会了。
赵奕也不在乎误会不误会，他没有必要独揽全功，把所有的功劳都归在自己身上，分给其他人一些也是很正常的。
现在他甚至没有考虑飞机设计验收工作，只专注于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？也不高啊！”
“请问，什么叫高？语文你能考满分？当时我注意过赵院士的成绩，好像说数学、英语、理综都是差一分满分，几乎就和满分一样了，估计只是过程写的差一步扣一分……”
“真遗憾！”
“你们说这个到底有什么意义？赵院士数学世界第一，计算不出错有什么大不了？”
“……也对！”
“也对！”
一群人响应着。
虽然他们纷纷点头似乎是觉得很正常，实际上每个人心里都很惊讶，因为设计报告牵扯的计算内容太多，不出一点错难度太高了。
这可比数学考满分难多了。
他们都验收的时候，好几处计算都出错，结果再重新设计计算方法，结果就是报告上的一致，而他们可是一个个的小组，赵院士……
“不对啊！”
有人忽然惊讶道，“一点错误没有，也就是说，这些计算都是赵院士一个人做的？”
“……”
“……”