如果p≠np，那么np完全问题不能被多项式规模的电路计算。
他写了满满一页，从电路下界写到自然证明，写到对角化，写到相对化。
然后停住了。
这条路前面有一堵墙。
他知道这堵墙叫“相对化障碍”，baker-gill-solovay定理早就证明了，任何相对化证明都无法解决pvsnp。
他在纸上把那几行划掉，笔尖在纸上戳出一个黑点。
第二条路……第三条路……
草稿纸一张接一张地被他翻过去。
书房的垃圾桶里已经堆了七八个纸团，都是写废的。
苏风放下笔，揉了揉太阳穴。
pvsnp，这个世纪难题，卡了人类快五十年了。
拿起杯子喝了口水，又看了看草稿纸上最后一行字。
“如果……也许……”
摇了摇头，把那张纸翻过去，继续写。
但写了三行，又停了。
苏风把笔放下，靠在椅背上，闭了一会儿眼。
pvsnp不是一天两天能啃下来的，他知道。
但每天啃一点，总比不啃强。
把草稿纸收好，把有用的几张抽出来夹进文件夹里，废掉的扔进垃圾桶。
然后拿起手机，看了一眼消息。
梁文风发来的：