因此，对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，一方面是“占坑”，另一方面，也提