不了一世。”她自言自语了一句，“反正你在这个学校，我迟早能逮到你。”
她把水瓶拧好，转身往教学楼走。
而此刻的苏风，正在家里书房坐着。
桌上摊着一叠草稿纸，旁边放着三支笔、一杯水、一个橡皮擦。
电脑开着，屏幕上是一个打开的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不是一天两天能啃下来的，他知道。
但每天啃一点，总比不啃强。
把草稿纸收好，把有用的几张抽出来夹进文件夹里，废掉的扔进垃圾桶。
然后拿起手机，看了一眼消息。
梁文风发来的：
“苏总，馒头模型第一版基本调通了，现在就差最后的评估和打包。十月一号上线应该没问题。”
苏风回了个“好”。
他又往下翻了翻，看
…。。