世界数学问题大全.docx

世界数学问题大全

1、费尔马大定理

2、四色问题

3、哥德巴赫猜想世界七大数学难题

4、P（多项式时间）问题对NP（nondeterministicpolynomialtime，非确定多项式时间）问题

5、霍奇(Hodge)猜想

6、庞加莱(Poincare)猜想7、黎曼(Riemann)假设

8、杨－米尔斯(Yang-Mills)存在性和质量缺口

9、纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性10、贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想

NP完全问题

霍奇猜想

庞加莱猜想

黎曼假设

杨－米尔斯理论

纳卫尔－斯托可方程

BSD猜想

P问题对NP问题

在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘

附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是

否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这

是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数 13，717，421可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可

以因式分解为3607乘上3803，那么你就可以用一个袖珍计算器容易验证这是对的。人们发现，所有的完全多项式非确定性问题，都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案，都可以在多项式时间内计算，人们于是就猜想，是否这类问题，存在一个确定性算法，可以在多项式时间内，直接算出或是

搜寻出正确的答案呢？这就是著名的 NP=P？的猜想。 不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证， 还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。 它是斯蒂文·考克于1971年陈述的。

霍奇(Hodge)猜想

二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。 基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块

粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导致一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射

影代数簇这种特别完美的空间类型来说， 称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。

庞加莱(Poincare)猜想

如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收

缩到一点的。我们说，苹果表面是“单连通的” ，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面 (四维空间中与原点有单位距离的点的全体 )的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。 在2002年11月和2003年7月之间，俄罗斯的数

学家格里戈里·佩雷尔曼在发表了三篇论文预印本，并声称证明了几何化猜想。在佩雷尔曼之后，先后有3组研究者发表论文补全佩雷尔曼给出的证明中缺少的细节。这包括密西根大学的布鲁斯·克莱纳和约翰·洛特；哥伦比亚大学的约翰·摩根和麻

省理工学院的田刚；以及理海大学的曹怀东和中山大学的朱熹平。 2006年8月，

第25届国际数学家大会授予佩雷尔曼菲尔兹奖。数学界最终确认佩雷尔曼的证明解决了庞加莱猜想。

黎曼(Riemann)假设

有些数具有不能表示为两个更小的数的乘积的特殊性质，例如， 2、3、5、7??等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然数

中，这种素数的分布并不遵循任何有规则的模式；然而，德国数学家黎曼 (1826~1866)观察到，素数的频率紧密相关于一个精心构造的所谓黎曼蔡塔函数 z(s)的性态。著名的黎曼假设断言，方程 z(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000 个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分

布的许多奥秘带来光明。

杨－米尔斯(Yang-Mills)存在性和质量缺口

量子物理的定律是以经典力学的