怕找不到回家的路！请截图保存本站发布地址：www.dybzwz.com
在，昔
何处寻。
我自无敌，三尺剑，六钧弓，无识我 红尘中。
《路史》：前天皇、前地皇、前皇之事太过久古，杳杳冥冥，所谓事有
不可尽究，物有不可臆言。
《潜夫论·五德志》：闻古有天皇、地皇、皇，以为或及此谓，亦不敢
明。
千僖难题之一p（多项式算法）问题对np（非多项式算法）问题：在一个
周六的晚上，你参加了一个盛大的晚会。由于感到局促不安，你想知道这一大厅
中是否有你已经认识的。你的主向你提议说，你一定认识那位正在甜点盘附
近角落的
士罗丝。不费一秒钟，你就能向那里扫视，并且发现你的主是正确
的。
然而，如果没有这样的暗示，你就必须环顾整个大厅，一个个地审视每一个
，看是否有你认识的。生成问题的一个解通常比验证一个给定的解时间花费
要多得多。这是这种一般现象的一个例子。
与此类似的是，如果某告诉你，数13，717，421可以写成两个较小的数的
乘积，你可能不知道是否应该相信他，但是如果他告诉你它可以因式分解为3607
乘上3803，那么你就可以用一个袖珍计算器 容易验证这是对的。不管我们编写程
序是否灵巧，判定一个答案是可以很快利用内部知识来验证，还是没有这样的提
示而需要花费大量时间来求解，被看作逻辑和计算机科学中最突出的问题之一。
它是斯蒂文·考克（stephencook）于1971年陈述的。
千僖难题之二霍奇（hodge）猜想：二十世纪的数学家们发现了研究复杂
对象的形状的强有力的办法。基本想法是问在怎样的程度上，我们可以把给定对
象的形状通过把维数不断增加的简单几何营造块粘合在一起来形成。这种技巧是
变得如此有用，使得它可以用许多 不同的方式来推广；最终导至一些强有力的工
具，使数学家在对他们研究中所遇到的形形色色的对象进行分类时取得巨大的进
展。
不幸的是，在这一推广中，程序的几何出发点变得模糊起来。在某种意义下，
必须加上某些没有任何几何解释的
本章未完，点击下一页继续阅读。
