第304章 302，因此，成立

在废土世界放松打猎了畅快的玩了一天后，苏瑜穿越回了现实世界。

经过这么久的工作，他对np完全问题的证明就剩下最后一步了，苏瑜打算在现实世界完成这最后一步的证明工作。

当然，这最后一步也不是那么好解决的，为此，苏瑜已经在家里的书房连续闭关一个月了。

而他书桌上，上百页的草稿，就是他这一个月来的成果。

今天一大早，天刚亮，苏瑜的学生高斌和陈宏道就跑到了苏瑜家。

一直清澈的高斌，脸上难得露出了高兴的表情，开口道：“今天老师要完成最后的证明了。”

陈宏道也急忙高兴笑着开口道：“虽然我看不懂，但是能见证这个历史时刻，我觉得好激动啊！”

“来了？”看到两个学生来了，苏瑜朝着他们点点头，然后坐进了自己的书桌前。

虽然家里的家政很多，但是苏瑜的书房、尤其是苏瑜的书桌，这可是绝对的禁区。

没有人碰苏瑜的东西，所以苏瑜很快就找到了昨天停下的地方，拿起笔了笔，想了想，开始了继续的证明：

“.

由q_1≤_p q_2知，存在一個从q_1到q_2的多项式时间规约f_1。

苏瑜对ns方程的证明已经完成很多年了，到现在能弄懂证明过程的人也很少。

因为有之前论文的铺垫，苏瑜可以省略很多，直接引用之前发表过的论文结果就行。

气氛，已经完全烘托出来了。

虽然苏瑜现在在没有正式完成“np完全问题”的证明，但是他发了3篇相关论文、高斌发了2篇相关论文，陈宏道也发了3篇相关论文。

苏瑜师徒三人的这8篇np完全问题领域的论文，已经给np完全问题的证明做好了基础的学术铺垫了，也把这个问题的热度推了起来。

【因此，成立。】

故f_2f_1

”

但虽然弄不懂苏瑜对ns方程的完全证明过程，但是该过程的结果，以及证明中苏瑜创造的工具，已经在深刻的改变世界数学领域的发展了。

因此，对q_1的任意实例x，|f_1(x)|关于|x|是多项式的。

这也是一个重大难题证明的难点——它本来就是一个难以弄懂的难题，它的证明过程也是很难的，很少有人读懂。

苏瑜这次对np完全问题的证明也一样，虽然陈宏道读不懂，但是通过对老师np完全问题的阅读，他都发了3篇sci了。

高斌和陈宏道从一开始，就一直在跟着苏瑜做np完全问题证明的，妖孽般的高斌还好，每晚熬夜学习，总是能读懂老师苏瑜的证明；

而陈宏道就惨了，他即使每天熬夜，到现在，也只是弄懂了整个证明过程的80%。

“完成了！”

证明的主体框架，苏瑜早已经在脑海中完成了架构，而且之前他也陆陆续续发过了几篇相关的论文了。

这一点无疑是让苏瑜的进度快了很多，当然，也给论文的读者增添了阅读难度。

现在“np完全问题”已经成为了国际数学界最火的话题了，不仅仅是苏瑜师徒三人在该领域发文章，其他学者也陆陆续续的不停发着相关的文章。