數學中有個規律, 越簡單的描述，意味著越艱難的證明。
p/np問題由steven a. cook於1971年首次提出年提出，2000年美國克雷研究所將之公布為千禧難題之一, 至今仍懸而位居。
1971年、2000年、並至今, 數不清的數學家前赴後繼，試圖對它發起挑戰。
而林朝夕之前從沒想過，這些數學家裏，也包括她的爸爸。
甚至，直到她完全捋清時間線後才意識到，老林對p/np問題感興趣的時間遠在它成為千禧難題之前。
“老板，來一聽可樂。” 林朝夕很高興, 她紅著眼眶，大聲喊道。
服務員投來一瞥，嫌她太神經, 不過還是拿來可樂和兩個塑料杯。
“刺啦”一聲, 林朝夕打開易拉罐, 把一聽可樂倒兩杯。
泡沫咕嚕咕嚕滿溢至杯口，她和老林不約而同舉杯輕碰。隨後。他們一口氣喝了大半杯，同放下杯子、抹抹嘴。
林朝夕：“所以馮教授發表的那篇論文, 究竟有沒有證明……？”
“不算正式發表，隻是發個草稿, 在走正式發表的審稿流程。”老林打了個可樂味的嗝。
“你果然一直有關注這件事！”
“咳”老林瞪大眼：“怎麽還給爸爸下套呢？”
“因為我總覺得，爸爸瞞著我一些事情，故意不告訴我。”
“想象力過於豐富了啊。”
“那你為什麽不告訴我, 你和曾教授、裴之一樣，都有研究p/np問題？”
“注意你的措辭，什麽叫我和他們一樣，明明是我先，而且……”老林頓了頓，豎起三根手指，“三個月前你知道什麽是p/np，我和你一個哲學生聊什麽？”
林朝夕瞪大眼，再次被噎住：“您這屬於學科攻擊了啊？”
老林“哼哼”兩聲，很驕傲地不說話了。
老林說得沒錯。
對她來說，這是橫跨兩個時空很長一段探索時間。而對老林來講，三個月前，她還是個對數學興趣全無的文科生。他和她在數學方麵，很難再有過共同語言了。
不過幸好，他們現在可以聊一聊了。
關於p/np，在那次裴之主持並翻譯的講座後，老林其實已經給她講過不少。
如果一個問題能在多項式時間內找到算法，那麽它就是p問題。
而np問題，則是指那些我們無法用快速方法找到答案，但如果給出一個解、我們能在多項式時間內驗證它的問題。
在np問題中，有一類特別難的問題，稱之為npc問題。
npc問題有兩個重要特性：1.它是一個np問題；2.所有np問題都可以歸約到它。
stephen a. cook於1971年發表了the plexitytheorem-proving procedures，提出np-plete問題這一概念。並通過非確定性圖靈機，證明布爾邏輯的可滿足性問題（sat問題）是一個npc問題。
而老林選擇的切入點，是精確圖同構問題。
麵店裏生意好到不行，差不多他們聊到一半的時候，紅油麵才上來。熱辣的麵湯，配上翠綠蔥花，很讓人有食欲。
老林挑起一縷麵，展示給她看：“自從有了sat問題，一大堆npc問題就隨之而來。要證明一個新的npc問題，隻需要要把一個已知的npc問題歸約到它，即可。”
本章尚未完結,請點擊下一頁繼續閱讀---->>>