数学建模社区-数学中国

标题: 世界著名数学难题大汇总，欢迎补充 [打印本页]

作者: sea_star666 时间: 2009-4-17 23:31
标题: 世界著名数学难题大汇总，欢迎补充
为了激发大家的兴趣，为了我国数学的振兴，我们一起来努力！
大家把数学界的未解决的问题提出来，这样我们才有目标有方向，知道我可以做什么，应该做什么。

现在大学生都很无聊，因为不知要干什么，想搞研究又没有问题，不知什么有前景，现在我们把这些问题写出来，提出在科研、学习中遇到的问题，号召大家一起研究探讨。在这里结识志同道合的合作伙伴，结识有共同兴趣的朋友，在你的科研道路上你将不再孤独！

世界七大数学难题
20世纪是数学大发展的一个世纪。数学的许多重大难题得到完满解决，如费马大定理的证明，有限单群分类工作的完成等，从而使数学的基本理论得到空前发展。

　　计算机的出现是20世纪数学发展的重大成就，同时极大推动了数学理论的深化和数学在社会和生产力第一线的直接应用。回首20世纪数学的发展，数学家们深切感谢20世纪最伟大的数学大师大卫·希尔伯特。希尔伯特在1900年8月8日于巴黎召开的第二届世界数学家大会上的著名演讲中提出了23个数学难题。希尔伯特问题在过去百年中激发数学家的智慧，指引数学前进的方向，其对数学发展的影响和推动是巨大的，无法估量的。

　　效法希尔伯特，许多当代世界著名的数学家在过去几年中整理和提出新的数学难题，希冀为新世纪数学的发展指明方向。这些数学家知名度是高的，但他们的这项行动并没有引起世界数学界的共同关注。

　　2000年初美国克雷数学研究所的科学顾问委员会选定了七个“千年大奖问题”，克雷数学研究所的董事会决定建立七百万美元的大奖基金，每个“千年大奖问题”的解决都可获得百万美元的奖励。克雷数学研究所“千年大奖问题”的选定，其目的不是为了形成新世纪数学发展的新方向，而是集中在对数学发展具有中心意义、数学家们梦寐以求而期待解决的重大难题。

　　2000年5月24日，千年数学会议在著名的法兰西学院举行。会上，98年费尔兹奖获得者伽沃斯以“数学的重要性”为题作了演讲，其后，塔特和阿啼亚公布和介绍了这七个“千年大奖问题”。克雷数学研究所还邀请有关研究领域的专家对每一个问题进行了较详细的阐述。克雷数学研究所对“千年大奖问题”的解决与获奖作了严格规定。每一个“千年大奖问题”获得解决并不能立即得奖。任何解决答案必须在具有世界声誉的数学杂志上发表两年后且得到数学界的认可，才有可能由克雷数学研究所的科学顾问委员会审查决定是否值得获得百万美元大奖.
　这七个“千年大奖问题”是： NP完全问题、霍奇猜想、庞加莱猜想、黎曼假设、杨－米尔斯理论、纳卫尔－斯托可方程、BSD猜想。

　　美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣

　　布了一件被媒体炒得火热的大事：对七个“千年数学难题”的每一个悬赏一百万美元。

　　其中有一个已被解决(庞加莱猜想),还剩六个.（庞加莱猜想，已由俄罗斯数学家格里戈里·佩雷尔曼破解。我国中山大学朱熹平教授和旅美数学家、清华大学兼职教授曹怀东做了证明的封顶工作。）

　　整个计算机科学的大厦就建立在图灵机可计算理论和计算复杂性理论的基础上,

　　一旦证明P=NP,将是计算机科学的一场决定性的突破,在软件工程实践中,将革命性的提高效率.从工业,农业,军事,医疗到生活,软件在它的各个应用域,都将是一个飞跃.

　　P=NP吗? 这个问题是著名计算机科学家(1982年图灵奖得主)斯蒂文·考克（StephenCook ）于1971年发现并提出的.

　　“千年大奖问题”公布以来，在世界数学界产生了强烈反响。这些问题都是关于数学基本理论的，但这些问题的解决将对数学理论的发展和应用的深化产生巨大推动。认识和研究“千年大奖问题”已成为世界数学界的热点。不少国家的数学家正在组织联合攻关。可以预期， “千年大奖问题” 将会改变新世纪数学发展的历史进程。

作者: sea_star666 时间: 2009-4-17 23:33
“千年难题”之一：Ｐ（多项式算法）问题对ＮＰ（非多项式算法）

问题　　在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数１３，７１７，４２１可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因式分解为３６０７乘上３８０３，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克于１９７１年陈述的。

作者: sea_star666 时间: 2009-4-17 23:34
“千年难题”之一：Ｐ（多项式算法）问题对ＮＰ（非多项式算法）问题
　　在一个周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅中是否有你已经认识的人。你的主人向你提议说，你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主人是正确的。然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个人，看是否有你认识的人。生成问题的一个解通常比验证一个给定的解时间花费要多得多。这是这种一般现象的一个例子。与此类似的是，如果某人告诉你，数１３，７１７，４２１可以写成两个较小的数的乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因式分解为３６０７乘上３８０３，那么你就可以用一个袖珍计算器容易验证这是对的。不管我们编写程序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克于１９７１年陈述的。

作者: sea_star666 时间: 2009-4-17 23:35
“千年难题”之二：霍奇(Hodge)猜想

　　二十世纪的数学家们发现了研究复杂对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是变得如此有用，使得它可以用许多不同的方式来推广；最终导致一些强有力的工具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进展。不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，必须加上某些没有任何几何解释的部件。霍奇猜想断言，对于所谓射影代数簇这种特别完美的空间类型来说，称作霍奇闭链的部件实际上是称作代数闭链的几何部件的(有理线性)组合。

作者: sea_star666 时间: 2009-4-17 23:36
“千年难题”之三：庞加莱(Poincare)猜想

　　如果我们伸缩围绕一个苹果表面的橡皮带，那么我们可以既不扯断它，也不让它离开表面，使它慢慢移动收缩为一个点。另一方面，如果我们想象同样的橡皮带以适当的方向被伸缩在一个轮胎面上，那么不扯断橡皮带或者轮胎面，是没有办法把它收缩到一点的。我们说，苹果表面是“单连通的”，而轮胎面不是。大约在一百年以前，庞加莱已经知道，二维球面本质上可由单连通性来刻画，他提出三维球面(四维空间中与原点有单位距离的点的全体)的对应问题。这个问题立即变得无比困难，从那时起，数学家们就在为此奋斗。

　　在2002年11月和2003年7月之间，俄罗斯的数学家格里戈里·佩雷尔曼在arXiv.org发表了三篇论文预印本，并声称证明了几何化猜想。

　　在佩雷尔曼之后，先后有3组研究者发表论文补全佩雷尔曼给出的证明中缺少的细节。这包括密西根大学的布鲁斯·克莱纳和约翰·洛特；哥伦比亚大学的约翰·摩根和麻省理工学院的田刚；以及理海大学的曹怀东和中山大学的朱熹平。

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

作者: sea_star666 时间: 2009-4-17 23:37
“千年难题”之四：黎曼(Riemann)假设

　　有些数具有不能表示为两个更小的数的乘积的特殊性质，例如，2、3、5、7……等等。这样的数称为素数；它们在纯数学及其应用中都起着重要作用。在所有自然数中，这种素数的分布并不遵循任何有规则的模式；然而，德国数学家黎曼(1826~1866)观察到，素数的频率紧密相关于一个精心构造的所谓黎曼蔡塔函数z(s$的性态。著名的黎曼假设断言，方程z(s)=0的所有有意义的解都在一条直线上。这点已经对于开始的1,500,000,000个解验证过。证明它对于每一个有意义的解都成立将为围绕素数分布的许多奥秘带来光明。

作者: sea_star666 时间: 2009-4-17 23:39
“千年难题”之五：杨－米尔斯(Yang-Mills)存在性和质量缺口
　　量子物理的定律是以经典力学的牛顿定律对宏观世界的方式对基本粒子世界成立的。大约半个世纪以前，杨振宁和米尔斯发现，量子物理揭示了在基本粒子物理与几何对象的数学之间的令人注目的关系。基于杨－米尔斯方程的预言已经在如下的全世界范围内的实验室中所履行的高能实验中得到证实：布罗克哈文、斯坦福、欧洲粒子物理研究所和筑波。尽管如此，他们的既描述重粒子、又在数学上严格的方程没有已知的解。特别是，被大多数物理学家所确认、并且在他们的对于“夸克”的不可见性的解释中应用的“质量缺口”假设，从来没有得到一个数学上令人满意的证实。在这一问题上的进展需要在物理上和数学上两方面引进根本上的新观念。

作者: sea_star666 时间: 2009-4-17 23:40
“千年难题”之六：纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性

　　起伏的波浪跟随着我们的正在湖中蜿蜒穿梭的小船，湍急的气流跟随着我们的现代喷气式飞机的飞行。数学家和物理学家深信，无论是微风还是湍流，都可以通过理解纳维叶－斯托克斯方程的解，来对它们进行解释和预言。虽然这些方程是19世纪写下的，我们对它们的理解仍然极少。挑战在于对数学理论作出实质性的进展，使我们能解开隐藏在纳维叶－斯托克斯方程中的奥秘。

作者: sea_star666 时间: 2009-4-17 23:40
“千年难题”之七：贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想

　　数学家总是被诸如x2+y2=z2那样的代数方程的所有整数解的刻画问题着迷。欧几里德曾经对这一方程给出完全的解答，但是对于更为复杂的方程，这就变得极为困难。事实上，正如马蒂雅谢维奇指出，希尔伯特第十问题是不可解的，即，不存在一般的方法来确定这样的方法是否有一个整数解。当解是一个阿贝尔簇的点时，贝赫和斯维讷通－戴尔猜想认为，有理点的群的大小与一个有关的蔡塔函数z(s)在点s=1附近的性态。特别是，这个有趣的猜想认为，如果z(1)等于0,那么存在无限多个有理点(解)，相反，如果z(1)不等于0,那么只存在有限多个这样的点。

作者: +++ 时间: 2009-4-19 17:16
绝顶！~好！！！

作者: 蓝色忧郁 时间: 2009-4-23 18:23
不错，希望斑竹能多介绍一些

作者: ly195348 时间: 2009-4-28 08:36
这些难题中除了黎曼猜想有指导性的意义外,其余的意义不大.

作者: 永恒国度 时间: 2009-4-29 01:11
这么难的问题我们能解决吗？

作者: cqsjs 时间: 2009-4-29 16:10
了解一下，一般人是解不出的。

作者: wyhh1984 时间: 2009-6-14 12:03
学习一下！

作者: xuxiaolong 时间: 2009-6-19 19:13
我连这些问题都没搞明白什么意思啊？？

作者: sea_star666 时间: 2009-6-20 17:15
16# xuxiaolong
那只是你自己的问题，很多人都能看懂

作者: 暗夜花 时间: 2009-6-24 14:10
长知识了，加油，努力

作者: asiayjg 时间: 2009-7-8 06:29
学习了，还有其他的上传一下，谢了

作者: zjhywhh 时间: 2009-7-13 16:07
支持一下，希望有人能破解

作者: Richard121 时间: 2009-8-6 12:48
据说黎曼猜想是最难的

作者: 竹雨阑珊 时间: 2009-8-9 11:48
貌似是的，和寻找素数规律有关

作者: 我想发飙 时间: 2009-8-13 09:17
呵呵，是不错啊！

作者: dream719 时间: 2009-8-16 23:30
顶一个！！！！

作者: wodehongqi 时间: 2009-8-20 20:51
学习了，顶一下！

作者: lianxiang9 时间: 2009-8-20 21:53
黎曼，伟人！！！！！！！！！！！！！！！！

作者: gaoxian121 时间: 2009-9-4 00:24
dddddddddd

作者: 张海 时间: 2009-9-6 09:37
应该很难啊

作者: jakyam 时间: 2009-12-11 17:40
..............强大强大强大强大强大强大强大强大强大

作者: 我想发飙 时间: 2009-12-12 19:48
呵呵，好是好啊，不过好像说了也白说啊！！

作者: 小飞燕 时间: 2009-12-14 17:27
很好的帖子，顶一下！
楼主还有吗？呵呵
很有意思哈！

作者: 小旋风假 时间: 2010-1-28 10:09
精华……………………………………收藏………………………………………………

作者: SwaNsoN 时间: 2010-1-29 22:10
太复杂了～～
长见识啊。。。。

作者: love2008bin 时间: 2010-4-8 16:40
好。。。数学才是最有吸引力的。。。

作者: clanswer 时间: 2010-4-8 18:59
回复 34# love2008bin

恩那，说的好啊，哈哈

作者: 为你奋斗 时间: 2010-4-10 07:37
有生之年希望能解出黎曼假设或者NP难问题的判定⋯

作者: clanswer 时间: 2010-4-12 22:38
四色问题又称四色猜想，是世界近代三大数学难题之一。

   四色问题的内容是：“任何一张地图只用四种颜色就能使具有共同边界的国家着上不同的颜色。”用数学语言表示，即“将平面任意地细分为不相重迭的区域，每一个区域总可以用1，2，3，4这四个数字之一来标记，而不会使相邻的两个区域得到相同的数字。”这里所指的相邻区域，是指有一整段边界是公共的。如果两个区域只相遇于一点或有限多点，就不叫相邻的。因为用相同的颜色给它们着色不会引起混淆。

   四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯·格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家都被着上不同的颜色。”这个现象能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。
   1852年10月23日，他的弟弟就这个问题的证明请教了他的老师、著名数学家德·摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家汉密尔顿爵士请教。汉密尔顿接到摩尔根的信后，对四色问题进行论证。但直到1865年汉密尔顿逝世为止，问题也没有能够解决。
   1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战。1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。
   肯普的证明是这样的：首先指出如果没有一个国家包围其他国家，或没有三个以上的国家相遇于一点，这种地图就说是“正规的”（左图）。如为正规地图，否则为非正规地图（右图）。一张地图往往是由正规地图和非正规地图联系在一起，但非正规地图所需颜色种数一般不超过正规地图所需的颜色，如果有一张需要五种颜色的地图，那就是指它的正规地图是五色的，要证明四色猜想成立，只要证明不存在一张正规五色地图就足够了。
   肯普是用归谬法来证明的，大意是如果有一张正规的五色地图，就会存在一张国数最少的“极小正规五色地图”，如果极小正规五色地图中有一个国家的邻国数少于六个，就会存在一张国数较少的正规地图仍为五色的，这样一来就不会有极小五色地图的国数，也就不存在正规五色地图了。这样肯普就认为他已经证明了“四色问题”，但是后来人们发现他错了。
   不过肯普的证明阐明了两个重要的概念，对以后问题的解决提供了途径。第一个概念是“构形”。他证明了在每一张正规地图中至少有一国具有两个、三个、四个或五个邻国，不存在每个国家都有六个或更多个邻国的正规地图，也就是说，由两个邻国，三个邻国、四个或五个邻国组成的一组“构形”是不可避免的，每张地图至少含有这四种构形中的一个。
   肯普提出的另一个概念是“可约”性。“可约”这个词的使用是来自肯普的论证。他证明了只要五色地图中有一国具有四个邻国，就会有国数减少的五色地图。自从引入“构形”，“可约”概念后，逐步发展了检查构形以决定是否可约的一些标准方法，能够寻求可约构形的不可避免组，是证明“四色问题”的重要依据。但要证明大的构形可约，需要检查大量的细节，这是相当复杂的。
   11年后，即1890年，在牛津大学就读的年仅29岁的赫伍德以自己的精确计算指出了肯普在证明上的漏洞。他指出肯普说没有极小五色地图能有一国具有五个邻国的理由有破绽。不久，泰勒的证明也被人们否定了。人们发现他们实际上证明了一个较弱的命题——五色定理。就是说对地图着色，用五种颜色就够了。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目，其实是一个可与费马猜想相媲美的难题。

   进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，美国著名数学家、哈佛大学的伯克霍夫利用肯普的想法，结合自己新的设想；证明了某些大的构形可约。后来美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。看来这种推进仍然十分缓慢。
   高速数字计算机的发明，促使更多数学家对“四色问题”的研究。从1936年就开始研究四色猜想的海克，公开宣称四色猜想可用寻找可约图形的不可避免组来证明。他的学生丢雷写了一个计算程序，海克不仅能用这程序产生的数据来证明构形可约，而且描绘可约构形的方法是从改造地图成为数学上称为“对偶”形着手。
   他把每个国家的首都标出来，然后把相邻国家的首都用一条越过边界的铁路连接起来，除首都(称为顶点)及铁路(称为弧或边)外，擦掉其他所有的线，剩下的称为原图的对偶图。到了六十年代后期，海克引进一个类似于在电网络中移动电荷的方法来求构形的不可避免组。在海克的研究中第一次以颇不成熟的形式出现的“放电法”，这对以后关于不可避免组的研究是个关键，也是证明四色定理的中心要素。
   电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。美国伊利诺大学哈肯在1970年着手改进“放电过程”，后与阿佩尔合作编制一个很好的程序。就在1976年6月，他们在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明，轰动了世界。
   这是一百多年来吸引许多数学家与数学爱好者的大事，当两位数学家将他们的研究成果发表的时候，当地的邮局在当天发出的所有邮件上都加盖了“四色足够”的特制邮戳，以庆祝这一难题获得解决。

   “四色问题”的被证明仅解决了一个历时100多年的难题，而且成为数学史上一系列新思维的起点。在“四色问题”的研究过程中，不少新的数学理论随之产生，也发展了很多数学计算技巧。如将地图的着色问题化为图论问题，丰富了图论的内容。不仅如此，“四色问题”在有效地设计航空班机日程表，设计计算机的编码程序上都起到了推动作用。
   不过不少数学家并不满足于计算机取得的成就，他们认为应该有一种简捷明快的书面证明方法。直到现在，仍由不少数学家和数学爱好者在寻找更简洁的证明方法。

作者: hwh30101 时间: 2010-5-9 20:21
一个都看不懂哈！~。。。。。。。。。。。。。。。。。。。。。。。。。。。。。

作者: 角凳 时间: 2010-9-3 22:37
一个问题我都看不懂...

作者: yuyuanzhlong 时间: 2010-9-12 21:14
顶顶更健康，越顶吃的越香。

作者: whzecomjm 时间: 2011-1-1 10:50
顶！~好！！！

作者: 夕阳海 时间: 2012-6-14 13:53
此等好帖，大家赶紧顶起来！

作者: younger0210 时间: 2012-6-14 15:26
数学真是门伟大的科学，似乎不受时空局限，每个问题的解决都很可能推动人类文明发展

作者: 欧尼 时间: 2012-6-23 19:47
谢谢分享！！！！！

欢迎光临数学建模社区-数学中国 (http://www.madio.net/)