第111章(2 / 3)

好在，大功告成——

《基于统一归约框架的P与NP等价性证明》

【……】

【第三章P=NP证明的核心假设与前提

3.1 多项式时间算法的通用构造范式

3.2 NP完全问题的统一求解框架设计

3.3 归约过程的可逆性与复杂度等价性证明

……】

【第四章P=NP的严格证明过程】

【4.1 步骤1：构建NP类问题到P类问题的通用归约函数

4.1.1 归约函数的定义与存在性证明

4.1.2 归约函数的多项式时间复杂度验证

4.2 步骤2：典型NP完全问题的多项式时间算法构造

4.2.1 SAT问题的多项式时间求解算法设计

4.2.2 算法正确性与时间复杂度严格证明

4.3 步骤3：推广至全体NP类问题的等价性验证

4.4 证明结论：P类与NP类问题集合完全等价

……】

足足写了五十页，谢知都要写崩溃了。

这时，余寒师兄发来消息。

【余寒：最近在忙什么？】

【谢知：师兄你失忆了？NP完全问题啊。】

【余寒：有进展吗？】

【谢知：有。】

【余寒：我下个礼拜要出国。】

【谢知：诶？师兄你可以出国了吗？】

【余寒：嗯，出国申请通过了。】

【谢知：那师兄你出国是有什么事吗？】

【余寒：去麻省理工参加一场学术会议，全球最顶级的学者都被邀请了……小师弟，你要跟我一起去吗？】

【谢知：麻省理工？】

【余寒：对，你知道的，麻省理工的电子工程与计算机科学系在全球范围内实力顶尖，而且听说他们的计算机科学与人工智能实验室，最近有了新的突破，也会在这次会议上展示一二，你不是想证明NP完全问题嘛，跟我一起参加会议，多听多看多学，也许能激发灵感。】

看到这里，谢知眼睛一亮，这真是打了瞌睡就来枕头啊。

像这类论文，投稿出去，再到正式发布，中间会隔很长的时间，谢知不想等。

可是向克雷数学研究所提交验证申请的话，需按其要求提交正式证明文档，配合指定的全球顶尖专家团队完成多轮审核，该过程可能耗时数年，比投稿拖的时间还长。

所以最好的办法，就是直接在顶级学术会议上直接述说自己的成果，有了会议上的那些大佬认可，他再投稿就会快很多。

【谢知：我想去，但没有邀请函，可以去吗？】

【余寒：可以，你是我带过去的人，不会被拦在外面的。】

【谢知：好，那就谢谢师兄了！】

回复完，他就开始着手准备，并反复检查论文，优化其中的表述和论证过程。

出发前一天，他将论文放进了须弥界。

这样才最稳妥。

……

章教授对谢知出发去M国参加学术会议的事很赞同，但他对自己没有收到邀请很是郁闷。

就算他没拿什么权威的学术奖项，就算他也没有什么特别有名的学术成果……可他是余寒的恩师啊！

徒弟能去，自己不能去。

丢人，简直太丢人了！

但章教授也有自知之明，他把自己放在普通人里，算天才，可放进天才堆里，就只算普通人了。

若是放在最顶尖的那一批天才中间，那他就是彻头彻尾的庸才！

章教授老脸一红，“咳咳，知知啊，去了M国之后，一定要听你师兄的话，不要跟别人发生矛盾，那边不禁枪的！”

谢知：“嗯嗯，我知道的，老师您放心。”