这是千禧七大难题的第一个。
数学界之所以对n完全问题感兴趣,最主要是因为它是纯粹的逻辑问题。
n完全问题的正确表述是:n=?,(确定性多项式算法)对n(非确定性多项式算法)问题,问题的表述似乎很复杂,简单解释一下就能明白过来。
n,就是非确定多项式算法。
有的问题可以直接利用公式找出答案,而有些问题则不能。
比如,下一个质数是多少?
这个问题的解答方法,就只能靠猜测并且一个个去验证,验证出后续某一个数字是质数,就等于是解决了问题。
这个问题就是‘n’,可以简单理解为‘不知道具体要算多少次’,而解决这个问题的验证过程就是,也就是‘运算一次就解决了问题’。
举例来说,数字5后面的质数是几?假如不知道后续的质数是多少,这个问题可以认为是‘n问题’,做法就是一个个去验证。
6,不是。
7,是。
问题解决了。
在验证7的运算中,就解决了数字5后面的质数是几的问题,就可以认为这个运算过程,也就是问题解决方案。
听起来似乎是很简单,但如果是寻找超大质数,牵扯到的运算量就非常大了,一个个去验算到最后就发现无法继续。
n完全问题,就是要证明是否存在统一的防范,快速解决类似‘只能靠猜测去验算,而不能直接运算得到结果的问题’。
如果存在,找到这个方法。
如果不存在,证明不存在的原因。
n完全问题听起来很简单,但实际上却非常复杂的数学逻辑问题,仔细深入的一想,就不得不觉会让人沉浸其中。
这也是为什么很多的数学家,都对n完全问题的研究感兴趣的原因,但一直到现在还没有数学家能证明出来。
赵奕想到了n完全问题,觉得空闲时间也没事情,顺带着试试《衍生率》效果,干脆就决定深入的研究一下。
与此同时。
航空集团的总部迎来了科学院软件所派过来的团队,带队的正是新晋信息学院士刘贺敏。
刘贺敏的团队受到了热情的接待,但仔细注意就能发现,有些人对刘贺敏团队的到来不怎么感冒,尤其是航空集团旗下,飞行自动控制研究所、航空计算机技术研究所的人。
两个研究所分别派来了小团队,总计加在一起有十个人左右,带队的是经验丰富的研究员郭金华和邓敏容。
郭金华、邓敏容都看了‘智能控制系统’,他们马上就得出了,其中牵扯到非常复杂的算法,必须要顶级的数学计算机专家来。
事实上。
两人的想法是,必须让赵奕本来过来讲解,才能把原理完完全全的摸透,只不过因为赵奕是设计组的领头人,不太可能参与验收工作,自己设计自己验收,听起来就很不靠谱。
虽然刘贺敏是信息学的院士,在进化算法、神经网络的研究方面,有着世界级的成果,数学理论研究上也有一定成果,但要说能看懂‘智能控制系统’的内容,还是让他们不太相信。
他们对自己的专业能力很自信,刘贺敏的研究成果比较高,但牵扯到具体的程序、算法,理解能力上不一定他们强。
刘贺敏也知道航空集团人才济济,自己来自科学院软件所,还是科学院新晋的信息学院士,但要说到航空集团内部,头衔真的很难有什么说服力,旁边做招待的最低也是个研究所,还有动力学、机械学的院士,一个个都是学术、研发的顶尖人士,他和团队必须要在理解‘智能控制系统’上,真正弄懂一些东西才有说服力。
所以被招待了一番后,刘贺敏就提出快速进入到工作中。
他们很快拿到了报告。
因为牵扯到保密性质,团队里普通的研究员,就只能拿到一部分报告和代码,他们会分别负责一部分的研究,刘贺敏则是拿到了全部的报告和代码,也马上投入到研究理解中。
然后。
刘贺敏左看看、右看看,确定没有人注意后,才从公文包里拿出个密密麻麻、写满了内容的笔记本,对照着报告和代码认真看了起来。
第469章 赵奕的灵感来源被曝光了!
‘智能控制系统’验收组,里间的一个小办公室。
刘贺敏正对着笔记愁眉苦脸。
他本来以为有了赵奕提前的讲解,就会很快把‘智能控制系统’摸透,真正做研究的时候才发现,想得实在有些太简单了。
笔记上大部分内容,都是没有任何意义的,不是赵奕讲的内容不对,而是讲的大部分都是介绍了只能控制系统大体设计思路、流程,并说了一些他认为理解有困难的地方。
在听赵奕讲解的时候,刘贺敏觉得是很正常的,因为正常的讲解都是如此,先是大体的做个介绍,随后就细节化的说重点、难点的。
现在对着报告、代码做研究的时候,他就发现问题还是很大,最主要是讲解的不够细致,以至于他对于各个算法包,详细的计算、设计思路都是一片茫然,对于核心算法也只是知道作用,根本不明白具体的原理。
刘贺敏倒是没有责怪赵奕的意思,只是觉得自己小看了‘智能控制系统’,怪不得航空集团都要找科学院软件所援助,以报告和代码的复杂性,短时间是根本理解不了的,有些晦涩的算法程序,只一个大致的思路就要理解好半天。
刘贺敏心里直呼准备不足,也知道是没有办法的。
在来到航空集团以前,赵奕不可能给他看源代码,最多对着屏幕简单说一下研发思路,讲解一些重点的算法,就算是这样都已经涉及到‘违规’,也就是因为‘智能控制系统’是赵奕设计的,再加上他是科学院信息学院士,参与过好多国家项目,并且即将到航空集团辅助‘智能控制系统’的验收工作,才勉强算是说的过去。
赵奕能做的都做了。
但这些远远不足以让刘贺敏快速理解报告和代码,最有难度的是‘智能控制系统’核心算法,他能做到的就只是‘找到核心算法结构’,却无法在短时间内理解核心算法的详细内容。
其实刘贺敏不知道的是,赵奕比他想象中的要尽力的多。
数学界之所以对n完全问题感兴趣,最主要是因为它是纯粹的逻辑问题。
n完全问题的正确表述是:n=?,(确定性多项式算法)对n(非确定性多项式算法)问题,问题的表述似乎很复杂,简单解释一下就能明白过来。
n,就是非确定多项式算法。
有的问题可以直接利用公式找出答案,而有些问题则不能。
比如,下一个质数是多少?
这个问题的解答方法,就只能靠猜测并且一个个去验证,验证出后续某一个数字是质数,就等于是解决了问题。
这个问题就是‘n’,可以简单理解为‘不知道具体要算多少次’,而解决这个问题的验证过程就是,也就是‘运算一次就解决了问题’。
举例来说,数字5后面的质数是几?假如不知道后续的质数是多少,这个问题可以认为是‘n问题’,做法就是一个个去验证。
6,不是。
7,是。
问题解决了。
在验证7的运算中,就解决了数字5后面的质数是几的问题,就可以认为这个运算过程,也就是问题解决方案。
听起来似乎是很简单,但如果是寻找超大质数,牵扯到的运算量就非常大了,一个个去验算到最后就发现无法继续。
n完全问题,就是要证明是否存在统一的防范,快速解决类似‘只能靠猜测去验算,而不能直接运算得到结果的问题’。
如果存在,找到这个方法。
如果不存在,证明不存在的原因。
n完全问题听起来很简单,但实际上却非常复杂的数学逻辑问题,仔细深入的一想,就不得不觉会让人沉浸其中。
这也是为什么很多的数学家,都对n完全问题的研究感兴趣的原因,但一直到现在还没有数学家能证明出来。
赵奕想到了n完全问题,觉得空闲时间也没事情,顺带着试试《衍生率》效果,干脆就决定深入的研究一下。
与此同时。
航空集团的总部迎来了科学院软件所派过来的团队,带队的正是新晋信息学院士刘贺敏。
刘贺敏的团队受到了热情的接待,但仔细注意就能发现,有些人对刘贺敏团队的到来不怎么感冒,尤其是航空集团旗下,飞行自动控制研究所、航空计算机技术研究所的人。
两个研究所分别派来了小团队,总计加在一起有十个人左右,带队的是经验丰富的研究员郭金华和邓敏容。
郭金华、邓敏容都看了‘智能控制系统’,他们马上就得出了,其中牵扯到非常复杂的算法,必须要顶级的数学计算机专家来。
事实上。
两人的想法是,必须让赵奕本来过来讲解,才能把原理完完全全的摸透,只不过因为赵奕是设计组的领头人,不太可能参与验收工作,自己设计自己验收,听起来就很不靠谱。
虽然刘贺敏是信息学的院士,在进化算法、神经网络的研究方面,有着世界级的成果,数学理论研究上也有一定成果,但要说能看懂‘智能控制系统’的内容,还是让他们不太相信。
他们对自己的专业能力很自信,刘贺敏的研究成果比较高,但牵扯到具体的程序、算法,理解能力上不一定他们强。
刘贺敏也知道航空集团人才济济,自己来自科学院软件所,还是科学院新晋的信息学院士,但要说到航空集团内部,头衔真的很难有什么说服力,旁边做招待的最低也是个研究所,还有动力学、机械学的院士,一个个都是学术、研发的顶尖人士,他和团队必须要在理解‘智能控制系统’上,真正弄懂一些东西才有说服力。
所以被招待了一番后,刘贺敏就提出快速进入到工作中。
他们很快拿到了报告。
因为牵扯到保密性质,团队里普通的研究员,就只能拿到一部分报告和代码,他们会分别负责一部分的研究,刘贺敏则是拿到了全部的报告和代码,也马上投入到研究理解中。
然后。
刘贺敏左看看、右看看,确定没有人注意后,才从公文包里拿出个密密麻麻、写满了内容的笔记本,对照着报告和代码认真看了起来。
第469章 赵奕的灵感来源被曝光了!
‘智能控制系统’验收组,里间的一个小办公室。
刘贺敏正对着笔记愁眉苦脸。
他本来以为有了赵奕提前的讲解,就会很快把‘智能控制系统’摸透,真正做研究的时候才发现,想得实在有些太简单了。
笔记上大部分内容,都是没有任何意义的,不是赵奕讲的内容不对,而是讲的大部分都是介绍了只能控制系统大体设计思路、流程,并说了一些他认为理解有困难的地方。
在听赵奕讲解的时候,刘贺敏觉得是很正常的,因为正常的讲解都是如此,先是大体的做个介绍,随后就细节化的说重点、难点的。
现在对着报告、代码做研究的时候,他就发现问题还是很大,最主要是讲解的不够细致,以至于他对于各个算法包,详细的计算、设计思路都是一片茫然,对于核心算法也只是知道作用,根本不明白具体的原理。
刘贺敏倒是没有责怪赵奕的意思,只是觉得自己小看了‘智能控制系统’,怪不得航空集团都要找科学院软件所援助,以报告和代码的复杂性,短时间是根本理解不了的,有些晦涩的算法程序,只一个大致的思路就要理解好半天。
刘贺敏心里直呼准备不足,也知道是没有办法的。
在来到航空集团以前,赵奕不可能给他看源代码,最多对着屏幕简单说一下研发思路,讲解一些重点的算法,就算是这样都已经涉及到‘违规’,也就是因为‘智能控制系统’是赵奕设计的,再加上他是科学院信息学院士,参与过好多国家项目,并且即将到航空集团辅助‘智能控制系统’的验收工作,才勉强算是说的过去。
赵奕能做的都做了。
但这些远远不足以让刘贺敏快速理解报告和代码,最有难度的是‘智能控制系统’核心算法,他能做到的就只是‘找到核心算法结构’,却无法在短时间内理解核心算法的详细内容。
其实刘贺敏不知道的是,赵奕比他想象中的要尽力的多。
