魔爪文学

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

第168章（第1页）

［我知道了］，是一句面对别人要求时，不想答应又无法拒绝的标准回答。

重活一世，谢知对成神有着近乎偏执的渴求，而作为成神阶梯的标签，就是他放在首位的事。

标签带给他的加成很大，但他还是想要看看它的极限在哪里。

这里的核心问题已经不是pnp了，而是系统面板对金色【天才】的注释是否准确无误。

它就像一根无形的线，牵引着谢知的思绪，让他无法放弃。

空教室里，谢知在草稿纸上画着图灵机的简化模型，他的笔尖在纸上飞快勾勒，将np问题的验证过程拆解成一个个离散的步骤。

中午，宋晚晴过来送饭，看到一地的草稿纸，边问：“知知，你在写什么呢？”

“我在想一个算法。”

谢知塞了口饭到嘴里，脸颊鼓鼓的说道。

“算法？”

宋晚晴皱起眉，“可你不是在准备io吗？”

谢知打了个哈哈，“其实，这就是一道数学题啦。”

宋晚晴好奇：“是什么数学题？能把你难成这样？”

“p对np问题。”

“？？？”

宋晚晴一脸迷茫，她是真不知道。

见状，谢知放下筷子，解释道：“比如你丢了一把钥匙，要在一百把钥匙里找能打开门的那把，这就是np问题——验证钥匙能不能开门很容易，但找钥匙要试很多次。可如果能找到一种方法，不用挨个试就能直接找到钥匙，那p就等于np了。”

宋晚晴听得似懂非懂，索性就不想了，“那知知你好好算吧，加油！明天还是这个教室吗？我来给你送饭？”

谢知：“对。”

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

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

大多数人倾向于后者。

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

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

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

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

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

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

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

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

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

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

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

“不对。”

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

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

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

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

可后天，就要去参加购物

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

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

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