NP完全问题(NP-C问题),是世界七大数学难题之一。
1.NP完全问题
P (确定性多项式算法)对NP (非确定性多项式算法)
人们发现,所有的完全多项式非确定性问题,都可以转换为一类叫做满足性问题的逻辑运算问题。
既然这类问题的所有可能答案,都可以在多项式时间内计算,人们于是就猜想,是否这类问题,存在一个确定性算法,可以在多项式时间
内,直接算出或是搜寻出正确的答案呢?这就是著名的NP=P?的猜想。
不管我们编写程序是否灵巧,判定一个答案是可以很快利用内部知识来验证,还是没有这样的提示而需要花费大量时间来求解,被看作逻辑
和计算机科学中最突出的问题之一。
它是斯蒂文·考克于1971年陈述的。
如果任何一个NP问题都能通过一个多项式时间算法转换为某个NP问题,那么这个NP问题就称为NP完全问题(Non-deterministic
Polynomial complete problem)。
无法直接计算得到的问题,只能通过间接的“猜算”来得到结果。这就是非确定性问题。
而这些问题的通常有个算法,它不能直接告诉你答案
是什么,但可以告诉你,某个可能的结果是正确的答案还是错误的。
这个可以告诉你“猜算”的答案正确与否的算法,假如可以在多项式时间
内算出来,就叫做多项式非确定性问题。而如果这个问题的所有可能答案,都是可以在多项式时间内进行正确与否的验算的话,就叫完全多
项式非确定问题。
完全多项式非确定性问题可以用穷举法得到答案,一个个检验下去,最终便能得到结果。
但是这样算法的复杂程度,是指数关系,因此计算的时间随问题的复杂程度成指数的增长,很快便变得不可计算了。
人们发现,所有的完全多项式非确定性问题,都可以转换为一类叫做满足性问题的逻辑运算问题。
既然这类问题的所有可能答案,都可以在多项式时间内计算,
人们于是就猜想,是否这类问题存在一个确定性算法,可以在多项式时间内直接算出或是搜寻出正确的答案呢?
这就是著名的NP=P?的猜想。
一种是找到一个这样的算法,只要针对某个特定NP完全问题找到一个算法,所有这类问题都可以迎刃而解了,因为他们可以转化为同一个
问题。
另外的一种可能,就是这样的算法是不存在的。
那么就要从数学理论上证明它为什么不存在
如:
#遗传算法
遗传算法是仿真生物遗传学和自然选择机理,通过人工方式所构造的一类搜索算法,从某种程度上说遗传算法是对生物进化过程进行的数学
方式仿真。
生物种群的生存过程普遍遵循达尔文进化准则,群体中的个体根据对环境的适应能力而被大自然所选择或淘汰。
进化过程的结果反映在个体的结构上,其染色体包含若干基因,相应的表现型和基因型的联系体现了个体的外部特性与内部机理间逻辑关
系。
通过个体之间的交叉、变异来适应大自然环境。生物染色体用数学方式或计算机方式来体现就是一串数码,仍叫染色体,有时也叫个体;适
应能力是对应着一个染色体的一个数值来衡量;染色体的选择或淘汰则按所面对的问题是求最大还是最小来进行。
#神经网络算法
根据一个简化的统计,人脑由百亿条神经组成 — 每条神经平均连结到其它几千条神经。
通过这种连结方式,神经可以收发不同数量的能量。
神经的一个非常重要的功能是它们对能量的接受并不是立即作出响应,而是将它们累加起来,当这个累加的总和达到某个临界阈值时,它们
将它们自己的那部分能量发送给其它的神经。
大脑通过调节这些连结的数目和强度进行学习。
尽管这是个生物行为的简化描述。
但同样可以充分有力地被看作是神经网络的模型。
2.霍奇猜想
二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上,我们可以把给定对象的形状通过把维数不
断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用,使得它可以用许多不同的方式来推广;
最终导致一些强有力的工具,使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。
不幸的是,在这一推广中,程序的几何出发点变得模糊起来。在某种意义下,必须加上某些没有任何几何解释的部件。
霍奇猜想断言,对于所谓射影代数簇这种特别完美的空间类型来说,称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组
合。
An isomorphism preserving Hamming weight between two algebraic geometry (AG) codes is presented to obtain the main parameters of
Justesen’s algebraic geometry (JAG) codes. To deduce a simple approach to the decoding algorithm, a code word in a “small” JAG code is
used to correspond to error-locator polynomial. By this means, a simple decoding procedure and the ability of error correcting are explored
obviously. The low and up bounds of the dimension of AG codes are also obtained.
给出了两个代数几何码之间保持汉明权值的同构性,得到了查士丁森代数几何码的主要参数。为了推导出解码算法的简单方法,使
用“小”JAG代码中的一个码字对应于错误定位多项式。通过这种方法,可以明显地探索一种简单的译码过程和纠错能力。得到了AG码维数的
上下界。
3.庞加莱猜想
如果我们伸缩围绕一个苹果表面的橡皮带,那么我们可以既不扯断它,也不让它离开表面,使它慢慢移动收缩为一个点。另一方面,如果我
们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上,那么不扯断橡皮带或者轮胎面,是没有办法把它收缩到一点的。我们说,苹果表
面是“单连通的”,而轮胎面不是。大约在一百年以前,庞加莱已经知道,二维球面本质上可由单连通性来刻画,他提出三维球面(四维空间中
与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难,从那时起,数学家们就在为此奋斗。
在2002年11月和2003年7月之间,俄罗斯的数学家格里戈里·佩雷尔曼在发表了三篇论文预印本,并声称证明了几何化猜想。
在佩雷尔曼之后,先后有2组研究者发表论文补全佩雷尔曼给出的证明中缺少的细节。这包括密西根大学的布鲁斯·克莱纳和约翰·洛特;哥伦
比亚大学的约翰·摩根和麻省理工学院的田刚。
2006年8月,第25届国际数学家大会授予佩雷尔曼菲尔兹奖。数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。
4.黎曼假设
有些数具有不能表示为两个更小的数的乘积的特殊性质,例如,2、3、5、7……等等。这样的数称为素数;
它们在纯数学及其应用中都起着重要作用。
在所有自然数中,这种素数的分布并不遵循任何有规则的模式;
然而,德国数学家黎曼(1826~1866)观察到,素数的频率紧密相关于一个精心构造的所谓黎曼zeta函数ζ(s)的性态。
著名的黎曼假设断言,方程ζ(s)=0的所有有意义的解都在一条直线上。
这点已经对于开始的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。
黎曼假设之否认:
其实虽然因素数分布而起,但是却是一个歧途,因为伪素数及素数的普遍公式告诉我们,素数与伪素数由它们的变量集决定的。
5.杨-米尔斯存在性和质量缺口
量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前,杨振宁和米尔斯发现,量子物理揭
示了在基本粒子物理与几何对象的数学之间的令人注目的关系。基于杨-米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的
高能实验中得到证实:布罗克哈文、斯坦福、欧洲粒子物理研究所和驻波。尽管如此,他们的既描述重粒子、又在数学上严格的方程没有已
知的解。特别是,被大多数物理学家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设,从来没有得到一个数学上
令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。
6.纳卫尔-斯托可方程的存在性与光滑性
起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船,湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信,无论是微风
还是湍流,都可以通过理解纳维叶-斯托克斯方程的解,来对它们进行解释和预言。虽然这些方程是19世纪写下的,我们对它们的理解仍然
极少。挑战在于对数学理论作出实质性的进展,使我们能解开隐藏在纳维叶-斯托克斯方程中的奥秘。
7.BSD猜想
数学家总是被诸如 那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答,但是对于更为复杂的方程,
这就变得极为困难。事实上,正如马蒂雅谢维奇指出,希尔伯特第十问题是不可解的,即,不存在一般的方法来确定这样的方程是否有一个
整数解。当解是一个阿贝尔簇的点时,贝赫和斯维讷通-戴尔猜想认为,有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。
特别是,这个有趣的猜想认为,如果z(1)等于0,那么存在无限多个有理点(解)。相反,如果z(1)不等于0。那么只存在着有限多个这样的点。
微信公众号“计算机基础学”关注我哟