第155章 p=np

林墨为何会突然开始研究起了算法？

这就要从系统任务说起。

随着n-s方程研究的突破和论文发表，林墨的挑战任务1也得到了系统的确认，完成的任务提升。

“叮，挑战任务1（1/7）：宿主完成纳卫尔-斯托可方程的存在性与光滑性证明，并发表论文获得认可。任务奖励：数学学科积分10000点。”

在任务完成的同时，一条新的消息弹了出来。

“叮，挑战任务1（2/7）：p/np问题，请宿主完成两个复杂度类p和np是恒等（p=np?）问题研究，并发表论文或进行报告，证明成果获得认可。任务奖励：数学学科积分20000点。”

果然……

林墨摇了摇头，和他猜测的一样，这系统这个挑战任务1果然是让他完成千禧年七大难题的。

之前接到n-s方程任务时，林墨就有过猜测，这个挑战任务1很可能就是关于千禧年其他难题的，所以，当时他特意找来资料，对千禧年其他难题的每个问题都进行了了解。

所以当看到新的挑战任务，p/np问题，林墨的脑海中，迅速浮现出相关的信息。

什么是p/np问题？

对于高速处理数据的计算机来说，处理某一个特定数据的效率不能衡量一个程序的好坏，而应该看当这个数据的规模变大到数百倍后，程序运行时间是否还是一样，或者也跟着慢了数百倍，或者变慢了数万倍。

而在同等的计算资源下，人们自然希望程序或算法，随着问题复杂度的增加，所用时间增加在可接受的范围内，计算用的时间越短越好。

而符合这种要求的，叫做多项式级复杂度。

反之，随着负责度增加，计算时间呈几何级数增加，叫非多项式级的复杂度。

于是，人们想到一个问题，那就是会不会所有的问题都可以找到复杂度为多项式级的算法呢？

于是如果一个问题可以找到一个能在多项式的时间里解决它的算法，我们叫它p问题。

np问题是指可以在多项式的时间里验证一个解的问题，或者是可以在多项式的时间里猜出一个解的问题。

所有的p类问题都是np问题。也就是说，能多项式地解决一个问题，必然能多项式地验证一个问题的解。

那么是不是np问题都是p问题呢？

而p=np问题，就是要验证或推翻这个结论。

如果能够证明p=np，也就意味着，所有的np问题都能找到在多项式时间里解决它的算法，这将给对计算机算法带来巨大的变革，拥有划时代的意义。

这个问题是计算数学的巅峰，吸引了无数人的注目和研究，却始终难以解决。是一个耗费了很多时间和精力也没有解决的终极问题，能与其相提并论的大概只有物理学中的大统一。

而不断的研究，让不少科学家认为，p=np是不成立的，也就是说，存在至少一个不可能有多项式级复杂度的算法的np问题。

不少人以此为方向进行研究，想要证明p≠np，可是这么多年过去，依旧没有进展。

证明证不出来，想要证伪也做不到。

这个问题，还真是不好解决呢。