第343章 军训，不训(2/3)
皮擦。
电脑开着，屏幕上是一个打开的PDF文件，标题写着“PvsNPProblem”。
他盯着屏幕看了很久，然后拿起笔，在草稿纸上写下第一行。
“假设P≠NP，则存在一个语言L，使得L∈NP但L??P。”
这是经典的起点，几乎所有尝试证明P≠NP的人都是从这一行开始的。
苏风写下去，笔尖在纸上划出沙沙的声音。
他尝试的第一条路是电路复杂性。
如果P≠NP，那么NP完全问题不能被多项式规模的电路计算。
他写了满满一页，从电路下界写到自然证明，写到对角化，写到相对化。
然后停住了。
这条路前面有一堵墙。
他知道这堵墙叫“相对化障碍”，Baker-Gill-Solovay定理早就证明了，任何相对化证明都无法解决PvsNP。
他在纸上把那几行划掉，笔尖在纸上戳出一个黑点。
第二条路……第三条路……
草稿纸一张接一张地被他翻过去。
书房的垃圾桶里已经堆了七八个纸团，都是写废的。
苏风放下笔，揉了揉太阳穴。
PvsNP，这个世纪难题，卡了人类快五十年了。
拿起杯子喝了口水，又看了看草稿纸上最后一行字。
“如果……也许……”
摇了摇头，把那张纸翻过去，继续写。
但写了三行，又停了。
苏风把笔放下，靠在椅背上，闭了一会儿眼。
PvsNP不是一天两天能啃下来的，他知道。
但每天啃一点，总比不啃强。
把草稿纸收好，把有用的几张抽出来夹进文件夹里，废掉的扔进垃圾桶。
然后拿起手机，看了一眼消息。
梁文风发来的：
“苏总，馒头模型第一版基本调通了，现在就差最后的评估和打包。十月一号上线应该没问题。”
苏风回了个“好”。
他又往下翻了翻，看见周静娴的消息：“苏总，宇树那边新一代电机下个月出样机，王总说想请你吃个饭。”
苏风回了句：“下个月再说。”
把手机放下，苏风靠在椅背上，看着窗外。
窗外是小区的中庭，几个老头在树下下棋，旁边围了一圈人。
有个小孩在骑小三轮车，嘎吱嘎吱地从这头骑到那头。
苏风看了一会儿，收回目光，重新拿起笔。
PvsNP先放一放，他打开了一个新的文档，开始看馒头模型的最终架构图。
十月一号上线，还有不到
本章还未完，请点击下一页继续阅读>>>
