探索自由天空博客(二十一):2、美国克雷数学研究所的“21世纪七大数学难题”(A)
(2015-04-06 11:05:10)
标签:
黎曼函数相对论应用教育交流互动 |
分类: 黎曼函数 |
探索自由天空博客(二十一):解读与破解黎曼猜想—数学中最大的未解之谜(科普版)
2、美国克雷数学研究所的“21世纪七大数学难题”(A)
2000年初美国克雷数学研究所的科学顾问委员会选定了七个“21世纪七个数学难题”。称“千年大奖问题”,决定建立七百万美元的大奖基金,每个“千年大奖问题”的解决都可获得一百万美元的奖励。其要点是希望世界上能有那个国家、那个人从破解中“发现或拓展新的数学分析方法”。 “千年大奖问题”的选定,也不是一定是为了形成新世纪数学发展的新方向,而是集中在对数学发展具有中心意义、数学家们梦寐以求而期待解决的重大难题。
“千年大奖问题”公布以来, 在世界数学界产生了强烈反响。这些问题都是关于数学基本理论的,但这些问题的解决将对数学理论的发展和应用的深化产生巨大推动。认识和研究“千年大奖问题”已成为世界数学界的热点。不少国家的数学家正在组织联合攻关。“千年大奖问题” 将会改变新世纪数学发展的历史进程。
在一个周六的晚上,你参加了一个盛大的晚会。由于感到局促不安,你想知道这一大厅中是否有你已经认识的人。宴会的主人向你提议说,你一定认识那位正在甜点盘附近角落的女士罗丝。不费一秒钟,你就能向那里扫视,并且发现宴会的主人是正确的。然而,如果没有这样的暗示,你就必须环顾整个大厅,一个个地审视每一个人,看是否有你认识的人。
生成问题的一个解通常比验证一个给定的解时间花费要多得多。人们发现,所有的完全多项式非确定性问题,都可以转换为一类叫做满足性问题的逻辑运算问题。既然这类问题的所有可能答案,都可以在多项式时间内计算,人们于是就猜想,是否这类问题,存在一个确定性算法,可以在多项式时间内,直接算出或是搜寻出正确的答案呢?这就是著名的“NP = P?”的猜想。 不管我们编写程序是否灵巧,判定一个答案是可以很快利用内部知识来验证,还是没有这样的提示而需要花费大量时间来求解,被看作逻辑和计算机科学中最突出的问题之一。它是斯蒂文·考克于1971年陈述的。
(2)、黎曼猜想(黎曼假设)