【算法】NP完全问题以及世界数学七大难题
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。那么只存在着有限多个这样的点。
微信公众号“计算机基础学”关注我哟
【算法】NP完全问题以及世界数学七大难题相关推荐
- np完全问题的例子_MIT开发光子算法,试图解决世界7大数学难题的“NP完全问题”...
2000年5月,美国克雷数学研究所(Clay Mathematics Institute,CMI)提出7个数学难题,称为"千禧年大奖难题",挑战者每解出1道题目,若通过两年验证期和 ...
- 【世界数学难题】21世纪世界七大数学难题简介
世界七大数学难题 20世纪是数学大发展的一个世纪.数学的许多重大难题得到完满解决, 如费马大定理的证明,有限单群分类工作的完成等, 从而使数学的基本理论得到空前发展.计算机的出现是20世纪数学发展的重 ...
- 【世界数学难题】素数判定与大数因子分解问题(上)
序言 数论中一个最基本.最古老而当前仍然受到人们重规的问题就是判别给定的整数是否素数(简称为素数判别或素性判别)和将大合数分解成素因子乘积(简称为大数分解).在历史上,这个问题曾经吸引了包括费马(Fe ...
- 算法中的P问题、NP问题、NP难问题和NP完全问题
P问题:该问题存在一个可以在多项式时间内解决该问题的算法.(P:polynominal,多项式) 为什么我们要研究这个?因为计算机处理的输入常常不是那么几十个几千个那么一点点,想象一下,当计算机处理的 ...
- 千禧年七大难题之 P = NP
千禧年七大难题之 P = NP 那么什么是 P 类型的问题 P 类型的问题说的是如果给你 100 张扑克牌你需要找出这一百张扑克牌中最大的那一张, 如果目前你有一百张扑克牌那么你只需要比较 100 ...
- 算法4类问题:P问题、NP问题、NP完全问题、NP难问题
在讲P类问题之前先介绍两个个概念:多项式,时间复杂度. 1.多项式:axn-bxn-1+c 称为x最高次为n的多项式 2.时间复杂度 时间复杂度表示所需的计算工作量,当输入值接近无穷时,算法所需工作量 ...
- 算法中的P问题、NP问题、NP完全问题和NP难问题梳理
结论(可以简单这么初步认识):NPH>NPC>NP>或=P 在讲P类问题之前先介绍两个个概念:多项式,时间复杂度.(知道这两概念的可以自动跳过这部分) 1.多项式: axn−bxn− ...
- [总结]算法中的P问题、NP问题、NP完全问题和NP难问题
在讨论算法的时候,常常会说到这个问题的求解是个P类问题,或者是NP难问题等等,于是我特地搜了这方面的资料,自己总结了下,估计研究算法的大家应该都知道,要是我总结的哪里不对,欢迎一起探讨~ 在讲P类问题 ...
- 算法中的P问题、NP问题、NP完全问题和NP难问题
在讨论算法的时候,常常会说到这个问题的求解是个P类问题,或者是NP难问题等等,于是我特地搜了这方面的资料,自己总结了下,估计研究算法的大家应该都知道,要是我总结的哪里不对,欢迎一起探讨~ 在讲P类问题 ...
最新文章
- Ecshop显示商品销售数量
- 【论文解读】A Survey on Visual Transformer及引文理解
- 文件上传漏洞——upload-labs(1-10)
- 图论中的基础概念总结
- mysql 5.7.13 mac_Mac 安装mysql 5.7.13版本 登录及改密码
- 5.过滤器作为模板——1D 相关、Matlab互相关实战_1
- 多表关联的update语句
- 多线程解决同步问题浅析
- Google官方 详解 Android 性能优化【史诗巨著之内存篇】
- 补全aaz288 可能有问题的过程 P_COMPL_AAZ288
- itunes store服务中断_从服务器开发底层聊一聊协程的实现原理
- C#开发Android应用程序的流程
- [MFC] 绘制图像ROI区域(OpenCv库)
- Unable to read entire header; 80 bytes read; expected 512 bytes
- Python下selenium的get()方法大量时间超时报错TimeOut
- 【Unity编辑器扩展实践】、扩展Hierarchy菜单
- EXCEL表格怎么让每一列都乘以固定的一列
- 玩转华为ENSP模拟器系列 | 配置LDP自动触发DoD请求功能示例
- Android studio推荐插件以及升级后插件丢失问题解决
- 《软件需求工程(第2版)》一1.5 需求工程定义
热门文章
- java jtextarea 滚动条_Java Swing JTextArea自动添加滚动条
- Android--经典蓝牙(文件传输--socket通信)
- 【马修笔记】大波段顶底反转的节奏交易.
- C语言/C++编程学习:栈的代码实现之数组方案
- DirectShow编程(2)- 开始DirectShow旅程
- netty之微信-群聊的发起与通知(十八)
- shiro:principal为空问题
- Java初学之人机猜拳游戏
- WinRAR 3.93 3.92 的注册码(已经测试)
- 计算机化工应用答案,计算机化工应用习题及解答.pdf