当今世界有极大数学难题？

当今世界的数学难题~

世界近代三大数学难题之一 费马最后定理
世界近代三大数学难题之一 哥德巴赫猜想
世界近代三大数学难题之一四色猜想

三大数学难题谁最难？？不好判断反正谁都不会！


世界近代三大数学难题之一四色猜想
四色猜想的提出来自英国。1852年，毕业于伦敦大学的弗南西斯.格思里来到一家科研单位搞地图着色工作时，发现了一种有趣的现象：“看来，每幅地图都可以用四种颜色着色，使得有共同边界的国家着上不同的颜色。”这个结论能不能从数学上加以严格证明呢？他和在大学读书的弟弟格里斯决心试一试。兄弟二人为证明这一问题而使用的稿纸已经堆了一大叠，可是研究工作没有进展。

1852年10月23日，他的弟弟就这个问题的证明请教他的老师、著名数学家德.摩尔根，摩尔根也没有能找到解决这个问题的途径，于是写信向自己的好友、著名数学家哈密尔顿爵士请教。哈密尔顿接到摩尔根的信后，对四色问题进行论证。但直到1865年哈密尔顿逝世为止，问题也没有能够解决。

1872年，英国当时最著名的数学家凯利正式向伦敦数学学会提出了这个问题，于是四色 猜想成了世界数学界关注的问题。世界上许多一流的数学家都纷纷参加了四色猜想的大会战 。1878～1880年两年间，著名的律师兼数学家肯普和泰勒两人分别提交了证明四色猜想的论文，宣布证明了四色定理，大家都认为四色猜想从此也就解决了。

11年后，即1890年，数学家赫伍德以自己的精确计算指出肯普的证明是错误的。不久，泰勒的证明也被人们否定了。后来，越来越多的数学家虽然对此绞尽脑汁，但一无所获。于是，人们开始认识到，这个貌似容易的题目, 实是一个可与费马猜想相媲美的难题：先辈数学大师们的努力，为后世的数学家揭示四色猜想之谜铺平了道路。

进入20世纪以来，科学家们对四色猜想的证明基本上是按照肯普的想法在进行。1913年，伯克霍夫在肯普的基础上引进了一些新技巧，美国数学家富兰克林于1939年证明了22国以下的地图都可以用四色着色。1950年，有人从22国推进到35国。1960年，有人又证明了39国以下的地图可以只用四种颜色着色；随后又推进到了50国。看来这种推进仍然十分缓慢。电子计算机问世以后，由于演算速度迅速提高，加之人机对话的出现，大大加快了对四色猜想证明的进程。1976年，美国数学家阿佩尔与哈肯在美国伊利诺斯大学的两台不同的电子计算机上，用了1200个小时，作了100亿判断，终于完成了四色定理的证明。四色猜想的计算机证明，轰动了世界。它不仅解决了一个历时100多年的难题，而且有可能成为数学史上一系列新思维的起点。不过也有不少数学家并不满足于计算机取得的成就，他们还在寻找一种简捷明快的书面证明方法。
--------
世界近代三大数学难题之一 费马最后定理

被公认执世界报纸牛耳地位地位的纽约时报於1993年6月24日在其一版头题刊登了一则有
关数学难题得以解决的消息，那则消息的标题是「在陈年数学困局中，终於有人呼叫『
我找到了』」。时报一版的开始文章中还附了一张留着长发、穿着中古世纪欧洲学袍的
男人照片。这个古意盎然的男人，就是法国的数学家费马（Pierre de Fermat）（费马
小传请参考附录）。费马是十七世纪最卓越的数学家之一，他在数学许多领域中都有极
大的贡献，因为他的本行是专业的律师，为了表彰他的数学造诣，世人冠以「业余王子
」之美称，在三百六十多年前的某一天，费马正在阅读一本古希腊数学家戴奥芬多斯的
数学书时，突然心血来潮在书页的空白处，写下一个看起来很简单的定理这个定理的内
容是有关一个方程式 x2 + y2 =z2的正整数解的问题，当n=2时就是我们所熟知的毕氏定
理（中国古代又称勾股弦定理）：x2 + y2 =z2，此处z表一直角形之斜边而x、y为其之
两股，也就是一个直角三角形之斜边的平方等於它的两股的平方和，这个方程式当然有
整数解（其实有很多），例如：x=3、y=4、z=5；x=6、y=8、z=10；x=5、y=12、z=13…
等等。

费马声称当n>2时，就找不到满足xn +yn = zn的整数解，例如：方程式x3 +y3=z3就无法
找到整数解。

当时费马并没有说明原因，他只是留下这个叙述并且也说他已经发现这个定理的证明妙
法，只是书页的空白处不够无法写下。始作俑者的费马也因此留下了千古的难题，三百
多年来无数的数学家尝试要去解决这个难题却都徒劳无功。这个号称世纪难题的费马最
后定理也就成了数学界的心头大患，极欲解之而后快。

十九世纪时法国的法兰西斯数学院曾经在一八一五年和一八六0年两度悬赏金质奖章和
三百法郎给任何解决此一难题的人，可惜都没有人能够领到奖赏。德国的数学家佛尔夫
斯克尔（P?Wolfskehl）在1908年提供十万马克，给能够证明费马最后定理是正确的人，
有效期间为100年。其间由於经济大萧条的原因，此笔奖额已贬值至七千五百马克，虽然
如此仍然吸引不少的「数学痴」。

二十世纪电脑发展以后，许多数学家用电脑计算可以证明这个定理当n为很大时是成立的
，1983年电脑专家斯洛文斯基借助电脑运行5782秒证明当n为286243-1时费马定理是正确
的（注286243-1为一天文数字，大约为25960位数）。

虽然如此，数学家还没有找到一个普遍性的证明。不过这个三百多年的数学悬案终於解
决了，这个数学难题是由英国的数学家威利斯（Andrew Wiles）所解决。其实威利斯是
利用二十世纪过去三十年来抽象数学发展的结果加以证明。

五0年代日本数学家谷山丰首先提出一个有关椭圆曲现的猜想，后来由另一位数学家志
村五郎加以发扬光大，当时没有人认为这个猜想与费马定理有任何关联。在八0年代德
国数学家佛列将谷山丰的猜想与费马定理扯在一起，而威利斯所做的正是根据这个关联
论证出一种形式的谷山丰猜想是正确的，进而推出费马最后定理也是正确的。这个结论
由威利斯在1993年的6月21日於美国剑桥大学牛顿数学研究所的研讨会正式发表，这个报
告马上震惊整个数学界，就是数学门墙外的社会大众也寄以无限的关注。不过威利斯的
证明马上被检验出有少许的瑕疵，於是威利斯与他的学生又花了十四个月的时间再加以
修正。1994年9月19日他们终於交出完整无瑕的解答，数学界的梦魇终於结束。1997年6
月，威利斯在德国哥庭根大学领取了佛尔夫斯克尔奖。当年的十万法克约为两百万美金
，不过威利斯领到时，只值五万美金左右，但威利斯已经名列青史，永垂不朽了。
要证明费马最后定理是正确的
（即xn + yn = zn 对n33 均无正整数解）
只需证 x4+ y4 = z4 和xp+ yp = zp (P为奇质数)，都没有整数解。
----------------
世界近代三大数学难题之一 哥德巴赫猜想

哥德巴赫是德国一位中学教师，也是一位著名的数学家，生于1690年，1725年当选为俄国彼得堡科学院院士。1742年，哥德巴赫在教学中发现，每个不小于6的偶数都是两个素数(只能被和它本身整除的数)之和。如6＝3＋3，12＝5＋7等等。 1742年6月7日，哥德巴赫写信将这个问题告诉给意大利大数学家欧拉，并请他帮助作出证明。欧拉在6月30日给他的回信中说，他相信这个猜想是正确的，但他不能证明。叙述如此简单的问题，连欧拉这样首屈一指的数学家都不能证明，这个猜想便引起了许多数学家的注意。他们对一个个偶数开始进行验算，一直算到3．3亿，都表明猜想是正确的。但是对于更大的数目，猜想也应是对的，然而不能作出证明。欧拉一直到死也没有对此作出证明。从此，这道著名的数学难题引起了世界上成千上万数学家的注意。200年过去了，没有人证明它。哥德巴赫猜想由此成为数学皇冠上一颗可望不可及的“明珠”。到了20世纪20年代，才有人开始向它靠近。1920年、挪威数学家布爵用一种古老的筛选法证明，得出了一个结论：每一个比大的偶数都可以表示为(99)。这种缩小包围圈的办法很管用，科学家们于是从(9十9)开始，逐步减少每个数里所含质数因子的个数，直到最后使每个数里都是一个质数为止，这样就证明了“哥德巴赫”。 1924年，数学家拉德马哈尔证明了(7＋7)；1932年，数学家爱斯尔曼证明了(6＋6)；1938年，数学家布赫斯塔勃证明了(5十5)，1940年，他又证明了(4＋4)；1956年，数学家维诺格拉多夫证明了(3＋3)；1958年，我国数学家王元证明了(2十3)。随后，我国年轻的数学家陈景润也投入到对哥德巴赫猜想的研究之中，经过10年的刻苦钻研，终于在前人研究的基础上取得重大的突破，率先证明了(l十2)。至此，哥德巴赫猜想只剩下最后一步(1＋1)了。陈景润的论文于1973年发表在中国科学院的《科学通报》第17期上，这一成果受到国际数学界的重视，从而使中国的数论研究跃居世界领先地位，陈景润的有关理论被称为“陈氏定理”。1996年3月下旬，当陈景润即将摘下数学王冠上的这颗明珠，“在距离哥德巴赫猜想(1＋1)的光辉顶峰只有飓尺之遥时，他却体力不支倒下去了……”在他身后，将会有更多的人去攀登这座高峰

21世纪数学七大难题


最近美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣
布了一件被媒体炒得火热的大事：对七个“千僖年数学难题”的每一个悬赏一百万美元。以
下是这七个难题的简单介绍。



“千僖难题”之一：P（多项式算法）问题对NP（非多项式算法）问题

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



“千僖难题”之二： 霍奇(Hodge)猜想

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


“千僖难题”之三： 庞加莱(Poincare)猜想

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



“千僖难题”之四： 黎曼(Riemann)假设

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


“千僖难题”之五： 杨－米尔斯(Yang-Mills)存在性和质量缺口

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


“千僖难题”之六： 纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性

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


“千僖难题”之七：贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想

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

21世纪数学七大难题

最近美国麻州的克雷（Clay）数学研究所于2000年5月24日在巴黎法兰西学院宣
布了一件被媒体炒得火热的大事：对七个“千僖年数学难题”的每一个悬赏一百万美元。以
下是这七个难题的简单介绍。

“千僖难题”之一：P（多项式算法）问题对NP（非多项式算法）问题

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

“千僖难题”之二： 霍奇(Hodge)猜想

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

“千僖难题”之三： 庞加莱(Poincare)猜想

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

“千僖难题”之四： 黎曼(Riemann)假设

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

“千僖难题”之五： 杨－米尔斯(Yang-Mills)存在性和质量缺口

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

“千僖难题”之六： 纳维叶－斯托克斯(Navier-Stokes)方程的存在性与光滑性

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

“千僖难题”之七：贝赫(Birch)和斯维讷通－戴尔(Swinnerton-Dyer)猜想

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

---

辽宁省15358845427： 当今世界八大数学难题都是什么? - ？
东庭注射：[答案] 1.哥德巴赫猜想 2.费马猜想 3.四色猜想 4.植树问题:种20棵树,4棵为1行,问最多能种几行 5.欧氏第五公设问题:…等价表达…过直线外1点只有1条平行线 6.黎曼猜想 7.角谷猜想 8.单色3角形问题

辽宁省15358845427： 世界八大数学难题是什么? - ？
东庭注射：[答案] 世界上八大数学难题(看似简单) 1.哥德巴赫猜想:1个偶数可分为2个质数相加《本题未解》(本题被誉为数学王冠上的明珠,陈景润证明了1个偶数可分为1个质数加上2个质数相乘,俗称1+2) 2.费马猜想:任意自然数abc,当n大于2时,a的n次方...

辽宁省15358845427： 当今世界的数学难题 - ？
东庭注射：[答案] 世界近代三大数学难题之一 费马最后定理 世界近代三大数学难题之一 哥德巴赫猜想 世界近代三大数学难题之一四色猜想 三大数学难题谁最难?不好判断反正谁都不会! 世界近代三大数学难题之一四色猜想 四色猜想的提出来自英国.1852年,毕业于...

辽宁省15358845427： 世界十大数学难题有哪些 - ？
东庭注射：[答案] 难题”之一:P(多项式算法)问题对NP(非多项式算法)问题 难题”之二:霍奇(Hodge)猜想 难题”之三:庞加莱(Poincare)猜想 难题”之四:黎曼(Riemann)假设 难题”之五:杨-米尔斯(Yang-Mills)存在性和质量缺口 难题”之六:纳...

辽宁省15358845427： 当今世界三大数学难题是?？
东庭注射： 代数学史上有世界三大难题(倍立方体、方圆、三分角).

辽宁省15358845427： 当今世界十大数学难题？
东庭注射： 难题”之一:P(多项式算法)问题对NP(非多项式算法)问题 难题”之二: 霍奇(Hodge)猜想 难题”之三: 庞加莱(Poincare)猜想 难题”之四: 黎曼(Riemann)假设 难题”之五: 杨-米尔斯(Yang-Mills)存在性和质量缺口 难题”之六: 纳维叶-斯托克斯(Navier-Stokes)方程的存在性与光滑性 难题”之七: 贝赫(Birch)和斯维讷通-戴尔(Swinnerton-Dyer)猜想 难题”之八:几何尺规作图问题 难题”之九:哥德巴赫猜想 难题”之十:四色猜想

辽宁省15358845427： 目前为止还未解决的世界著名数学难题有哪些? - ？
东庭注射： 1. 连续统假设 1874年,康托猜测在可列集基数和实数基数之间没有别的基数,这就是著名的连续统假设.1938年,哥德尔证明了连续统假设和世界公认的策梅洛--弗伦克尔集合论公理系统的无矛盾性.1963年,美国数学家科亨证明连续假设和...

辽宁省15358845427： 目前世界上还未解决的数学难题又哪些 - ？
东庭注射： 郭敦顒回答: 有(1)哥德巴赫猜想,(2)黎曼猜想,(3)连续统问题,等.

辽宁省15358845427： 十大数学难题 - ？
东庭注射： 世界近代三大数学难题 1、费尔马大定理 2、四色问题 3、哥德巴赫猜想 世界七大数学难题 一、P(多项式时间)问题对NP(nondeterministic polynomial time,非确定多项式时间)问题 二、霍奇(Hodge)猜想 三、庞加莱(Poincare)猜想 四...