而此刻的苏风，正在家里书房坐着。

桌上摊着一叠草稿纸，旁边放着三支笔、一杯水、一个橡皮擦。

电脑开着，屏幕上是一个打开的PDF文件，标题写着“PvSNPPrOblem”

。

他盯着屏幕看了很久，然后拿起笔，在草稿纸上写下第一行。

“假设P≠NP，则存在一个语言L，使得L∈NP但LP。”

这是经典的起点，几乎所有尝试证明P≠NP的人都是从这一行开始的。

苏风写下去，笔尖在纸上划出沙沙的声音。

他尝试的第一条路是电路复杂性。

如果P≠NP，那么NP完全问题不能被多项式规模的电路计算。

他写了满满一页，从电路下界写到自然证明，写到对角化，写到相对化。

然后停住了。

这条路前面有一堵墙。

他知道这堵墙叫“相对化障碍”

，Baker-Gill-SOlOvay定理早就证明了，任何相对化证明都无法解决PvSNP。

他在纸上把那几行划掉，笔尖在纸上戳出一个黑点。

第二条路……第三条路……

草稿纸一张接一张地被他翻过去。

书房的垃圾桶里已经堆了七八个纸团，都是写废的。

苏风放下笔，揉了揉太阳穴。

PvSNP，这个世纪难题，卡了人类快五十年了。

（本章未完，请点击下一页继续阅读）第343章军训，不训

拿起杯子喝了口水，又看了看草稿纸上最后一行字。

“如果……也许……”

摇了摇头，把那张纸翻过去，继续写。

但写了三行，又停了。

苏风把笔放下，靠在椅背上，闭了一会儿眼。

PvSNP不是一天两天能啃下来的，他知道。

但每天啃一点，总比不啃强。

把草稿纸收好，把有用的几张抽出来夹进文件夹里，废掉的扔进垃圾桶。

然后拿起手机，看了一眼消息。

梁文风发来的：

“苏总，馒头模型第一版基本调通了，现在就差最后的评估和打包。

十月一号上线应该没问题。”

苏风回了个“好”

。

他又往下翻了翻，看见周静娴的消息：“苏总，宇树那边新一代电机下个月出样机，王总说想请你吃个饭。”

一秒记住新域名 https://www.qmking.com

请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。