如果不存在，证明不存在的原因。

n完全问题听起来很简单，但实际上却非常复杂的数学逻辑问题，仔细深入的一想，就不得不觉会让人沉浸其中。

这也是为什么很多的数学家，都对n完全问题的研究感兴趣的原因，但一直到现在还没有数学家能证明出来。

赵奕想到了n完全问题，觉得空闲时间也没事情，顺带着试试《衍生率》效果，干脆就决定深入的研究一下。

与此同时。

航空集团的总部迎来了科学院软件所派过来的团队，带队的正是新晋信息学院士刘贺敏。

刘贺敏的团队受到了热情的接待，但仔细注意就能发现，有些人对刘贺敏团队的到来不怎么感冒，尤其是航空集团旗下，飞行自动控制研究所、航空计算机技术研究所的人。

两个研究所分别派来了小团队，总计加在一起有十个人左右，带队的是经验丰富的研究员郭金华和邓敏容。

郭金华、邓敏容都看了‘智能控制系统’，他们马上就得出了，其中牵扯到非常复杂的算法，必须要顶级的数学计算机专家来。

事实上。

两人的想法是，必须让赵奕本来过来讲解，才能把原理完完全全的摸透，只不过因为赵奕是设计组的领头人，不太可能参与验收工作，自己设计自己验收，听起来就很不靠谱。

虽然刘贺敏是信息学的院士，在进化算法、神经网络的研究方面，有着世界级的成果，数学理论研究上也有一定成果，但要说能看懂‘智能控制系统’的内容，还是让他们不太相信。

他们对自己的专业能力很自信，刘贺敏的研究成果比较高，但牵扯到具体的程序、算法，理解能力上不一定他们强。

刘贺敏也知道航空集团人才济济，自己来自科学院软件所，还是科学院新晋的信息学院士，但要说到航空集团内部，头衔真的很难有什么说服力，旁边做招待的最低也是个研究所，还有动力学、机械学的院士，一个个都是学术、研发的顶尖人士，他和团队必须要在理解‘智能控制系统’上，真正弄懂一些东西才有说服力。

所以被招待了一番后，刘贺敏就提出快速进入到工作中。

他们很快拿到了报告。