目录
01.NP完全问题
2.霍奇猜想
3.庞加莱猜想
4.黎曼假设
5.杨磨坊的存在与质量差距
6.纳维尔-斯托克方程
07.BSD猜想
第一
NP完全问题
有些计算问题是确定性的,比如加减乘除等。只要按照公式一步一步推导,就能得到结果。但是有些问题是不能直接一步一步算出来的。比如求大素数问题,这个问题的答案是无法直接计算出来的,只能通过间接的“猜测”得出结果。已经发现,所有完全多项式不确定性问题都可以转化为一类称为可满足性问题的逻辑运算问题。既然这类问题所有可能的答案都可以在多项式时间内计算出来,那么人们就在想,这类问题有没有确定性的算法,可以在多项式时间内直接计算或者搜索出正确答案?这就是著名的NP=P吗?猜猜看。
屈居第二
霍奇猜想
霍奇猜想是代数几何中一个尚未解决的重大问题。它是关于非奇异复代数簇的代数拓扑与其由定义子群的多项式方程表示的几何之间关系的猜想。通俗点说,就是“再好再复杂的宫殿,也可以是一堆积木堆成的”。用学者的话来说,任何形状的几何图形,无论多复杂,都可以用一堆简单的几何图形拼起来。在实际工作中,我们无法在二维平面纸上画出复杂的多维图形。霍奇猜想是把复杂的拓扑图拆分成组件,只要按照规则安装,我们就能理解设计者的想法。
第三名
庞加莱猜想
庞加莱猜想是法国数学家庞加莱提出的一个猜想,即“任何单连通闭三维流形必同胚于一个三维球面。”简单来说,闭三维流形是有界的三维空空间;简单连通是指这个空中的每条闭曲线都可以连续收缩到一个点,或者在一个闭的三维空空间中,如果每条闭曲线都可以收缩到一个点,那么这个空空间一定是一个三维球面。庞加莱猜想是拓扑学中的一个基本命题,它将帮助人类更好地研究三维空空间,其结果将加深人们对流形性质的理解。
第四名
黎曼假设
黎曼猜想是关于黎曼ζ函数ζ(s)的零点分布的猜想,由数学家黎曼于1859年提出。有些数字具有特殊的性质,不能用两个较小整数的乘积来表示,例如2、3、5、7等等。这样的数叫做质数;它们在纯数学及其应用中起着重要的作用。在所有自然数中,素数的分布并不遵循任何规律。著名的黎曼假设断言,方程ζ(s)=0的所有有意义的解都位于一条直线z=1/2+ib上,其中b是一个实数,这条直线通常称为临界线。这已经在第一批1500000000个解决方案中得到验证。证明它适用于每一个有意义的解,将会揭开围绕素数分布的许多谜团。
第五名
杨-米尔斯存在性和质量缺口
大约半个世纪前,杨振宁和米尔斯发现量子物理学揭示了基本粒子物理学和几何对象数学之间的非凡关系。这个问题的形式表达就是证明对于任何一个紧致简单的规范群,在四维Euclid 空中存在预言质量差存在的Young Mills方程的解。这个问题的解决将阐明物理学家尚未完全理解的自然的基本方面。在这个问题上的进展需要在物理学和数学中引入基本的新概念。
第六名
纳卫尔-斯托可方程
起伏的波浪随着我们的小船蜿蜒穿过湖面,汹涌的气流随着我们现代喷气式飞机的飞行。数学家和物理学家确信,微风和湍流都可以通过理解纳维尔-斯托克斯方程的解来解释和预测。虽然这些方程写于19世纪,但我们对它们仍然知之甚少。挑战是在数学理论上取得实质性的进展,这样我们才能解开隐藏在纳维尔-斯托克斯方程中的谜团。
第七名
BSD猜想
BSD猜想,全称是Behr和Swinatong-Dale猜想,描述了阿贝尔簇的算术性质和解析性质之间的关系。给定全局域上的一个阿贝尔簇,假设其模群的秩等于其L函数在1处的零阶,且其L函数在1处的泰勒展开的第一系数与模群的有限部分大小、自由部分体积、所有素位置的周期和砂群有精确的方程关系。