第343章 军训，不训 (第2/3页)

笔、一杯水、一个橡皮擦。

    电脑开着，屏幕上是一个打开的PDF文件，标题写着“P vS NP PrOblem”。

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

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

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

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

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

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

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

    然后停住了。

    这条路前面有一堵墙。

    他知道这堵墙叫“相对化障碍”，Baker-Gill-SOlOvay定理早就证明了，任何相对化证明都无法解决P vS NP。

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

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

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

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

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

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

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

    “如果……也许……”

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

    但写了三行，又停了。

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

    P vS NP不是一天两天能啃下来的，他知道。

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

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

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

    梁文风发来的：

    “苏总，馒头模型第一版基本调通了，现在就差最后的评估和打包。十月一号上线应该没问题。”

    苏风回了个“好”。

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

    苏风回了句：“下个月再说。”

    把手机放下，苏风靠在椅背上，看着窗外。

    窗外是小区的中庭，几个老头在树下下棋，旁边围了一圈人。

    有个小孩在骑小三轮车，嘎吱嘎吱地从这头骑到那头。

    苏风看了一会儿，收回目光，重新拿起笔。

    P vS NP先放一放，他打开了一个新的

    （本章未完，请点击下一页继续阅读）