第92章(2 / 2)

谢知：“对。”

他快速的吃完午饭，站在窗边眺望远处的风景，但他的思绪却飘得更远。

谢知知道，全世界的数学家都在往两个方向努力——要么找到一个能在多项式时间内解决NP完全问题的算法，证明P=NP；要么证明不存在这样的算法，即P≠NP。

大多数人倾向于后者。

毕竟，像旅行商问题、布尔可满足性问题（SAT）这些NP完全问题，在现实中始终找不到高效的通用算法。

但谢知总觉得，大家或许都陷入了思维的误区——他们习惯了基于现有计算模型去寻找算法，却忽略了计算模型本身可能存在的局限。

晚上，谢知坐在书桌前，台灯的光晕笼罩着摊开的草稿纸。

他把SAT问题作为突破口——这是所有NP问题的“代表”，只要能找到解决SAT问题的多项式时间算法，就等于证明了P=NP。

SAT问题的核心是：给定一个布尔表达式，是否存在一组变量赋值，使得表达式的值为真？例如“(a∨?b)∧(?a∨c)∧(b∨?c)”，是否存在a、b、c的取值（真或假）让整个式子成立？

传统的算法要么是暴力枚举所有可能的赋值组合，时间复杂度是O(2?)，属于指数级；要么是一些启发式算法，在某些情况下有效，却无法保证对所有实例都能在多项式时间内得到结果。

谢知盯着草稿纸上的布尔表达式，手指在桌面轻轻敲击。

他好像陷入了思维的泥沼，变得迟钝、僵硬。

就在这时，窗外一颗流星划过，谢知被黑暗笼罩的大脑也仿佛闪过了一道灵光！

他突然想到，布尔表达式的结构是否存在某种隐藏的对称性？就像几何图形的对称性能帮助他们快速求解一样，逻辑表达式的对称性或许也能简化计算。

谢知开始尝试用图论的方法来建模SAT问题，将每个变量视为一个节点，变量之间的逻辑关系视为边，构建出一个“逻辑图”……

“不对。”

谢知揉掉一张草稿纸，“对称性不是关键，应该是某种更本质的结构。”

他想起余寒师兄人生影像里出现过的哥德尔不完备定理，又想起图灵机的停机问题，突然意识到：计算的本质是信息的处理，而NP问题的困难之处，或许在于信息的“冗余”。

如果能找到一种方法，剔除问题中的冗余信息，只保留核心逻辑，是否就能将指数级的复杂度降为多项式级？

谢知感觉自己已经找到了问题的关键点，如果再给他几个月的时间，他肯定可以自创一种全新的算法，完成P/NP问题的证明。

可后天，就要去参加第二阶段的集训了，虽然集训内容对谢知来说，帮助不是很大，但这是规定，他不能不参加。

“唉，只能等拿了金牌，再回来证明了。”

谢知将自己废弃的草稿纸放进碎纸机里，一张一张，毫无遗漏。

功成之前，万不可泄露半句。

----------------------------------------

第70章 购物

六月中旬，新版《西游记》播出了。

反响不太好，观众嘲声一片。

“之前看到宣传的时候，还挺期待的，毕竟确实是大制作，又是国民IP，导演姓谭，投资过8000万，还有最帅童星加持，怎么看也差不到哪里去吧？结果……唉，一团糟！”

“宣传的时候，打着忠于原著的旗子，实际上，连内核都偏离了，谭导，我理解你想搞点新东西出来，但阴谋论真没必要。”

“别的不说，这个服化道就有点辣眼睛。”

“最搞笑的是孙悟空的妆造，导演大概认为他是只猴子，就给他弄了个大红脸，哈哈哈哈，我看到的时候，都快笑死了！”

“新人演员演技也一般般啊，除了动作戏还行，文戏部分连老版的百分之一都比不上。”

“我看之前采访，那个叫方裘的新人演员说自己为了演好孙悟空这个角色，特意去动物园观察猴子，直接把老子气笑了……你知道你演的是谁吗？齐天大圣！他不是关在动物园里的猴子！”

“嗯……只有我一个人觉得这部拍的挺好的吗？”

“对，就你一个人。”

“不是，哥们儿，你什么口味啊，对着垃圾也能流口水？”

“我口味正常，但我是真的感谢谭导，拍出了我心目中桀骜不驯的三坛海会大神！”

“你有病吧，你心目中的猴哥长这样？”