他走到沙發旁坐下，端起桌上的水杯喝了一口，然後說：“對了，我的本科畢業論文定稿了。”
“等會兒發給你。你幫我打印出來，交給學校那邊走個流程。”
李妍先是一愣。輔導員幫學生交畢業論文，這操作有些不合規矩。她很快反應了過來。趙陽現在的身份，生科院巴不得早點拿到他的論文。她點了點頭，答應下來。
在趙陽和李妍在公寓裡溫存的時候。
另外一邊。
燕京林業大學的生科院實驗室裡。
顧青穿著白大褂，手裡拿著滴管，看著培養皿裡的菌群發呆。她有些患得患失。
自從那次醉酒坦白心意後，趙陽沒有排斥她，這些天也都有主動跟她聊天。
但問題是她的表白，趙陽到底算不算接受？這懸而未決的狀態讓她有點茫然。
他們現在這算什麼？情侶嗎？還是朋友？
顧青不知道。
顧明教授拿著一份實驗報告走進實驗室，看出了顧青的患得患失。
他走到顧青身邊，看了看她手裡停滯的動作，笑著說：“做實驗忌諱分心。你要是真惦記他，首接把他約出來，當面問清楚就行了。”
顧青遲疑了一下。她放下滴管，摘下手套。她答應了下來。
拿出手機，顧青深吸了一口氣。她給趙陽發訊息。
“週末有空嗎？最近有部新上的科幻電影口碑不錯，一起去看？”
訊息發出去後，她看著螢幕。
幾分鐘後，手機震動。
趙陽回覆：“可以。時間地點你定。”
看到確定的回覆，顧青懸著的心放了下來，臉上露出了笑容。她立刻開始在手機上選座買票。
趙陽開始研究P vs NP問題。
這個問題比趙陽想象中要複雜。
尤其是在複雜性類之間的包含關係上，現有的對角線化方法似乎碰到了某種根本性的障礙。
Baker-Gill-Solovay定理己經證明，可相對化的證明技術無法解決P vs NP問題。這意味著必須找到一種非相對化的方法。
趙陽腦海裡過了一遍目前資訊學領域對這個問題的研究現狀。代數化方法。電路複雜性下界。幾何複雜度理論。這些東西他都看過論文，但之前只是當作知識儲備，沒有深入思考過。
現在真正開始研究，才發現問題比想象中棘手得多。
三天時間，趙陽讓小新整理了近十五年來所有關於P vs NP的重要突破和階段性成果。他把自己關在燕大的公寓裡，從頭到尾刷了一遍。
從Cook-Levin定理的原始證明，到Karp的21個NP完全問題，再到近年來Mulmuley和Sohoni提出的幾何複雜度理論。
。考思目閉上背椅在靠趙，文論些這完看
。之通相有工何幾數代和學撲拓的用常時想猜學數決解在他與這。礙障的越逾可不在存間之類P與類度雜複的題問全完PN的定特個某明證，工的論示表和何幾數代用是路思心核的它。希有實確路條這論理度雜複何幾
