在废土世界放松打猎了畅快的玩了一天后，苏瑜穿越回了现实世界。
经过这么久的工作，他对np完全问题的证明就剩下最后一步了，苏瑜打算在现实世界完成这最后一步的证明工作。
当然，这最后一步也不是那么好解决的，为此，苏瑜已经在家里的书房连续闭关一个月了。
而他书桌上，上百页的草稿，就是他这一个月来的成果。
今天一大早，天刚亮，苏瑜的学生高斌和陈宏道就跑到了苏瑜家。
一直清澈的高斌，脸上难得露出了高兴的表情，开口道：“今天老师要完成最后的证明了。”
陈宏道也急忙高兴笑着开口道：“虽然我看不懂，但是能见证这个历史时刻，我觉得好激动啊！”
“来了？”看到两个学生来了，苏瑜朝着他们点点头，然后坐进了自己的书桌前。
虽然家里的家政很多，但是苏瑜的书房、尤其是苏瑜的书桌，这可是绝对的禁区。
没有人碰苏瑜的东西，所以苏瑜很快就找到了昨天停下的地方，拿起笔了笔，想了想，开始了继续的证明：
“.
由q_1≤_p q_2知，存在一個从q_1到q_2的多项式时间规约f_1。
苏瑜对ns方程的证明已经完成很多年了，到现在能弄懂证明过程的人也很少。
因为有之前论文的铺垫，苏瑜可以省略很多，直接引用之前发表过的论文结果就行。
气氛，已经完全烘托出来了。
虽然苏瑜现在在没有正式完成“np完全问题”的证明，但是他发了3篇相关论文、高斌发了2篇相关论文，陈宏道也发了3篇相关论文。
苏瑜师徒三人的这8篇np完全问题领域的论文，已经给np完全问题的证明做好了基础的学术铺垫了，也把这个问题的热度推了起来。
【因此，np=p成立。】
故f_2f_1
”
但虽然弄不懂苏瑜对ns方程的完全证明过程，但是该过程的结果，以及证明中苏瑜创造的工具，已经在深刻的改变世界数学领域的发展了。
因此，对q_1的任意实例x，|f_1(x)|关于|x|是多项式的。
这也是一个重大难题证明的难点——它本来就是一个难以弄懂的难题，它的证明过程也是很难的，很少有人读懂。
苏瑜这次对np完全问题的证明也一样，虽然陈宏道读不懂，但是通过对老师np完全问题的阅读，他都发了3篇sci了。
高斌和陈宏道从一开始，就一直在跟着苏瑜做np完全问题证明的，妖孽般的高斌还好，每晚熬夜学习，总是能读懂老师苏瑜的证明；
而陈宏道就惨了，他即使每天熬夜，到现在，也只是弄懂了整个证明过程的80%。
“完成了！”
证明的主体框架，苏瑜早已经在脑海中完成了架构，而且之前他也陆陆续续发过了几篇相关的论文了。
这一点无疑是让苏瑜的进度快了很多，当然，也给论文的读者增添了阅读难度。
现在“np完全问题”已经成为了国际数学界最火的话题了，不仅仅是苏瑜师徒三人在该领域发文章，其他学者也陆陆续续的不停发着相关的文章。
同理，由q_2≤_p q_3知，存在一个从q_2到q_3的多项式时间规约f_2，因此，|f_2(f_1(x))|关于|x|是多项式的。
当写完最后一笔，苏瑜舒舒服服的舒了一口气。
又一个“世界七大数学难题”被自己证明，苏瑜很骄傲的。
上一次自己对“ns方程”的证明，是在世界数学家大会上，面对全世界公开报告的。
这一次，可没有大会开了。
考虑到这种难题的审稿周期太长了，苏瑜让学生把他的论文完成整理后，转换成pdf格式，上传到了arxiv网站上。
这arxiv网站，简单来说，就是“一个占坑的网站”。
在论文还没有确定，或者是在投稿审核期间，公开上传，证明这个论文是你的。
数学领域审稿周期太长，尤其苏瑜这是证明了一个“世界七大数学难题”，而且苏瑜证明过程的正确性还没有确定下来。
所以，苏瑜把这论文上传了arxiv，一方面是“占坑”，另一方面，也提前把自己的论文给同行分享、论道一下。
“我的天啊，他，他竟然真的完成了np完全问题的证明，还这么快？”
“我的上帝啊，你把你的智慧都给他了吗？”
“好吧，我一句都看不懂！”
“看不懂就对了，这是一种根植在苏瑜学逻辑下的证明，想要看懂，很难的！”
“都看不懂，怎么判定是否正确啊？”
“我个人预感，苏瑜院士根本就不屑于去解释正确性，他会直接被这种证明应用在计算机领域落地的。他在华夏主持的特重大基础科学项目，就等