魔爪文学

手机浏览器扫描二维码访问

第217章（第1页）

“哦，皮克，我想你已经知道了，来波士顿大学吧，余寒先生的报告会错过太可惜了。”

“……”

等谢知和余寒走上讲台，下面已经人头攒动，大约有四五百人。

虽然大多数都是波士顿的教授和学生，但也不乏在学术界声名赫赫的顶尖学者。

他们大多是冲着余寒的名声来的，还不知道接下来要在他们面前上演的，是本世纪以来最不可思议的画面——

余寒摘掉了自己的绿帽子，朝众人鞠了个躬，然后帮谢知戴上话筒，就径直走下了台，坐在第一排特意留下来的空位上。

台下：“？？？”

众人一脸疑惑，他下台干嘛？总不至于让那小孩替他说吧？那也太搞笑了。

谢知凑到话筒前，开口道：“诸位下午好，你们可能不认识我，请允许我进行自我介绍，我叫谢知，是余寒的师弟，本来这个时间点，我的师兄应该在对面麻省理工的会讲厅里作报告。”

一些知晓原因的学者不由皱起了眉，他们承认，这次是那边的问题，但一个合格的学者，不应该在这些地方多费口舌。

学者的时间是宝贵的，他们没空给别人评判对错。

谢知继续说——

“但由于那位自称证明了黎曼猜想的切尔夫先生，任性的决定要在今晚离开，主办方则任性的决定要更换讲座时间，哦，他换的就是我师兄的报告会……面对他人的无理兼无礼之举，我们要做的就是重拳出击，所以我和师兄也决定任性一次，离开麻省理工，来到波士顿。”

“舞台随处可见，但带来精彩的是演员。”

说完，谢知打开了自己的ppt，后面出现了本次报告会的主题——

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

“og，这个东方男孩在干什么？”

“余疯了吗？他怎么敢把主讲人的位置让给一个十来岁的孩子？”

“他知道今天来这里的人，有多少是冲他来的吗？他耍了我们！”

“我想已经没有听下去的必要了……”

“哦不，等等，他要讲的是……np完全问题？！”

“又一道千禧难题？”

“这下事情变得有趣起来了，他们是真的要打擂台，对面讲黎曼猜想，他就讲p＝np……”

“现在唯一的问题是，谁能成功……”

台下学者都在窃窃私语，议论纷纷。

有人不相信谢知能完成np完全问题的证明，收拾好东西，悄然退场。

而更多的人，则是处于一种看好戏的态度。

谢知并未受到影响，只对师兄点了点头，就开始了他的“表演”——

“为了证明p＝np，我创造了一种全新的算法——「全息映射归约算法」，holographicappgreductionalgorith，简称hra。”

坐在师兄旁边的一位头发花白的老者，名叫德米特里·彼得洛维奇，是计算机领域的超级大佬。

他若有所思的摸出笔记本和笔，摊开放在腿上，伴随着谢知对新算法的讲述，在纸上写写画画。

“……np问题的本质是「高维离散约束的低维投影模糊性」——所有np完全问题的难解性，其本质是高维空间中存在唯一的约束满足超曲面，但低维计算视角下无法直接捕捉其拓扑结构。”

“我创造的hra通过「全息映射」将np问题的约束条件转化为高维几何对象，再利用「对偶归约」消除模糊性，最终在多项式时间内找到最优解，从而证明p=np。”

“以下是算法步骤——”

ppt一页一页的翻过去，谢知的讲述也逐渐步入正题。

台下听众的表情，以肉眼可见的速度变得认真起来，年纪大的全神贯注，年纪小的抓耳挠腮，年纪不大不小的表情凝重无比。

“第一步，约束全息化——”

“设sat问题的逻辑表达式为f=c?∧c?∧∧c?，将每个变量x?映射为高维空间中的「量子比特向量」|x??=（a?，b?）……”

“所有子句的约束超平面交集，即为唯一的「解超曲面」s，s上的点对应sat问题的所有可行解……”

“第二步，对偶空间归约——”

“构建「对偶空间」，将高维问题态向量|f?映射为对偶空间中的「拓扑对偶体」d（f）……”

“通过「拉普拉斯矩阵对角化」计算对偶体d（f）的最小特征值λ???，对应的特征向量v即为约束协调向量——该向量的非零分量对应原问题中关键约束，零分量对应冗余约束，可直接剔除冗余子句，将原问题简化为f=∧{c?|v?≠0}，简化后子句数≤√n，实现多项式级降维……”

“第三步，解空间定位——”

“对简化后的问题f，利用「全息投影算子」p将对偶空间的特征向量v映射回原高维空间，得到解向量雏形……”

请关闭浏览器阅读模式后查看本章节，否则将出现无法翻页或章节内容丢失等现象。