世界上最难的数学题，世界七大数学难题难倒了全世界(美国克雷数学研究所公
世界七大数学难题：
1、P/NP问题（P versus NP）
2、霍奇猜想（The Hodge Conjecture）
3、庞加莱猜想（The Poincaré Conjecture），此猜想已获得证实。
4、黎曼猜想（The Riemann Hypothesis）
5、杨-米尔斯存在性与质量间隙（Yang-Mills Existence and Mass Gap）
6、纳维-斯托克斯存在性与光滑性（Navier-Stokes existence and smoothness）
7、贝赫和斯维讷通-戴尔猜想（The Birch and Swinnerton-Dyer Conjecture）
所谓世界七大数学难题，其实是美国克雷数学研究所于2000年5月24日公布的七大数学难题。也被称为千年奖谜题。根据克莱数学研究所制定的规则，所有难题的解答都必须在数学期刊上
发表，并经过各方验证。只要他们通过两年的验证期，每解决一个问题的求解者将获得100万美元的奖金。这些问题与德国数学家大卫·希尔伯特在1900年提出的23个历史数学问题遥相呼应。一百年过去了，很多问题都解决了。千年奖谜题的解决很可能带来密码学、航空航天、通信等领域的突破。
一：P/NP问题
P/NP问题是世界上最难的数学题之一。在理论信息学中计算复杂度理论领域里至今没有解决的问题，它也是克雷数学研究所七个千禧年大奖难题之一。P/NP问题中包含了复杂度类P与NP的关系。1971年史提芬·古克和Leonid Levin相对独立的提出了下面的问题，即是否两个复杂度类P和NP是恒等的（P=NP?）。 复杂度类P即为所有可以由一个确定型图灵机在多项式表达的时间内解决的问题；类NP由所有可以在多项式时间内验证解是否正确的决定问题组成，或者等效的说，那些解可以在非确定型图灵机上在多项式时间内出的问题的集合。很可能，计算理论最大的未解决问题就是关于这两类的关系的： P和NP相等吗？ 在2002年对于100研究者的调查，61人相信答案是否定的，9个相信答案是肯定的，22个不确定，而8个相信该问题可能和现在所接受的公理独立，所以不可能证明或证否。对于正确的解答，有一
个1百万美元的奖励。 NP-完全问题（或者叫NPC）的集合在这个讨论中有重大作用，它们可以大致的被描述为那些在NP中最不像在P中的（确切定义细节请参看NP-完全理论）。计算机科学家现在相信P, NP，和NPC类之间的关系如图中所示，其中P和NPC类不交。
假设P ≠ NP的复杂度类的图解。如P = NP则三个类相同。 简单来说，P = NP问题问道：如果是／不是问题的正面答案可以很快验证，其答案是否也可以很快计算？这里有一个给你点这个问题的感觉的例子。给定一个大数Y，我们可以问Y是否是复合数。例如，我们可能问是否有非平凡的因数。答案是肯定的，虽然手工出一个因数很麻烦。从另一个方面讲，如果有人声称答案是"对，因为224737可以整除"，则我们可以很快用一个除法来验证。验证一个数是除数比出一个明显除数来简单得多。用于验证一个正面答案所需的信息也称为证明。所以我们的结论是，给定正确的证明，问题的正面答案可以很快地（也就是，在多项式时间内）验证，而这就是这个问题属于NP的原因。虽然这个特定的问题，最近被证明为也在P类中（参看下面的关于"质数在P中"的参考），这一点也不明显，而且有很多类似的问题相信不属于类P。 像上面这样，把问题限制到“是／不是”问题并没有改变原问题（即没有降低难度）；即使我们允许更复杂的答案，最后的问题（是否FP = FNP）是等价的。
关于证明的难度的结果
虽然百万美元的奖金和投入巨大却没有实质性结果的大量研究足以显示该问题是困难的，但是还有一些形式化的结果证明为什么该问题可能很难解决。 最常被引用的结果之一是设计神谕。假想你有一个魔法机器可以解决单个问题，例如判定一个给定的数是否为质数，可以瞬间解决这个问题。我们的新问题是，若我们被允许任意利用这个机器，是否存在我们可以在多项式时间内验证但无法在多项式时间内解决的问题？结果是，依赖于机器能解决的问题，P = NP和P ≠ NP二者都可以证明。这个结论带来的后果是，任何可以通过修改神谕来证明该机器的存在性的结果不能解决问题。不幸的是，几乎所有经典的方法和大部分已知的方法可以这样修改（我们称它们在相对化）。 如果这还不算太糟的话，1993年Razborov和Rudich证明的一个结果表明，给定一个特定的可信的假设，在某种意义下“自然”的证明不能解决P = NP问题。这表明一些现在似乎最有希望的方法不太可能成功。随着更多这类定理得到证明，该定理的可能证明方法有越来越多的陷阱要规避。 这实际上也是为什么NP完全问题有用的原因：若对于NP完全问题存在有一个多项式时间算法，或者没有一个这样的算法，这将能用一种相信不被上述结果排除在外的方法来解决P = NP问题。
世界上最难的数学题，世界七大数学难题难倒了全世界(2)
二、霍奇猜想
霍奇猜想是代数几何中一个重要的未解决问题。它是关于非奇异复代数簇的代数拓扑与其由定义子的多项式方程表示的几何之间的关联的猜想。它出现在霍奇著作的一个结果中。在1930-1940年期间，他通过包括在代数簇的情况下出现的附加结构(但不限于这种情况)，丰富了鼓上同调的表达式。
三、庞加莱猜想
庞加莱猜想最早由法国数学家庞加莱提出，是克雷数学研究所奖励的数学七大千年难题之一。2006年，俄罗斯数学家格里戈里·佩雷尔曼(grigory perelman)被证实完成了最终证明，因此同年获得了菲尔兹奖，但他没有露面领奖。
基本描述
在1900年，庞加莱曾声称，用他基于恩里科·贝蒂的工作而发展出的同调论，可以判定一个三维流形是否三维球面。不过，他在1904年发表的一篇论文中，举出了一个反例，现在称为庞加莱同调球面，与三维球面有相同的同调。他引进了一个新的拓扑不变量，称为基本，并且证明他的反例与三维球面的基本不同。三维球面有平凡基本，也就是说是单连
通的。他提出以下猜想： 任一单连通的、封闭的三维流形与三维球面同胚。 上述简单来说就是：每一个没有破洞的封闭三维物体，都拓扑等价于三维的球面。粗浅的比喻即为：如果我们伸缩围绕一个柳橙表面的橡皮筋，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点；另一方面，如果我们想象同样的橡皮筋以适当的方向被伸缩在一个甜甜圈表面上，那么不扯断橡皮筋或者甜甜圈，是没有办法把它不离开表面而又收缩到一点的。我们说，柳橙表面是“单连通的”，而甜甜圈表面则不是。 该猜想是一个属于代数拓扑学领域的具有基本意义的命题，对“庞加莱猜想”的证明及其带来的后果将会加深数学家对流形性质的认识，甚至会对人们用数学语言描述宇宙空间产生影响，对于一维与二维的情形，此猜想是对的，现在已经知道，它对于任何维数都是对的。
全世界还有谁比我们还绝配
版权声明：本站内容均来自互联网，仅供演示用，请勿用于商业和其他非法用途。如果侵犯了您的权益请与我们联系QQ:729038198，我们将在24小时内删除。
发表评论