千禧年大奖难题(Millennium Prize Problems), 又称世界七大数学难题， 是七个由美国克雷数学研究所(Clay Mathematics Institute,CMI) 于2000年5月24日公布的数学猜想。

拟定这7个问题的数学家之一是怀尔斯，费马大定理这个有300多年历史的难题没被选入的唯一理由就是已经被他解决了。还有19年去世的迈克尔·阿蒂亚

这些难题是呼应1900年德国数学家大卫·希尔伯特在巴黎提出的23个数学问题


NP完全问题


大多数倾向于P != NP，但都证明不了

NP完全问题： 逻辑电路问题，汉密尔顿回路问题，旅行商问题


谈谈计算机中的NP，NP-Hard，NP完全以及”NP=P？”问题

代码验证斯特林公式的准确性

P类问题是可以在多项式时间内解决并验证的一类问题，NP类问题是可以多项式时间验证但是不确定能否在多项式时间内解决的一类问题。

什么是 P = NP 问题？

逻辑大结局——直觉、复杂度和终极悖论，统治一切的程序


在编译器优化领域，理论上已经表明有一些代码优化存在NP难题，这意味着随着代码增加，优化的难度将越来越大，需要花费的时间呈指数增长。 因为这些原因，编译器无法进行最佳的优化，故而通常需要采用一种折中方案



霍奇猜想



庞加莱猜想



黎曼假设



杨-米尔斯存在性和质量缺口



纳维-斯托克斯方程



BSD猜想




参考：

世界七大数学难题

千禧年大奖难题之始与未终