如同往常，可她內心不由得感到深深地震撼。

她勉強把筷子搭在碗上，聽(tīng)到瓷器被撞擊后發(fā)出的極輕微輕響，和她自己的聲音：“這就是你研究圖同構問(wèn)題的原因嗎？”

“對p/np問(wèn)題有興趣的，試圖攀登那座高峰的人，從來(lái)都不止是曾教授、馮教授或者裴之?！绷殖聪蛩母赣H，忽然覺(jué)得自己蠢得可以，“這些人中，從來(lái)都包括著(zhù)你，對嗎？”

老林笑了起來(lái)：“呀，終于被你發(fā)現了?！?/br>
第180章問(wèn)題

數學(xué)中有個(gè)規律,越簡(jiǎn)單的描述，意味著(zhù)越艱難的證明。

p/np問(wèn)題由stevena.cook于1971年首次提出年提出，2000年美國克雷研究所將之公布為千禧難題之一,至今仍懸而位居。

1971年、2000年、并至今,數不清的數學(xué)家前赴后繼，試圖對它發(fā)起挑戰。

而林朝夕之前從沒(méi)想過(guò)，這些數學(xué)家里，也包括她的爸爸。

甚至，直到她完全捋清時(shí)間線(xiàn)后才意識到，老林對p/np問(wèn)題感興趣的時(shí)間遠在它成為千禧難題之前。

“老板，來(lái)一聽(tīng)可樂(lè )?！绷殖芨吲d,她紅著(zhù)眼眶，大聲喊道。

服務(wù)員投來(lái)一瞥，嫌她太神經(jīng),不過(guò)還是拿來(lái)可樂(lè )和兩個(gè)塑料杯。

“刺啦”一聲,林朝夕打開(kāi)易拉罐,把一聽(tīng)可樂(lè )倒兩杯。

泡沫咕嚕咕嚕滿(mǎn)溢至杯口，她和老林不約而同舉杯輕碰。隨后。他們一口氣喝了大半杯，同放下杯子、抹抹嘴。

林朝夕：“所以馮教授發(fā)表的那篇論文,究竟有沒(méi)有證明……？”

“不算正式發(fā)表，只是發(fā)個(gè)草稿,在走正式發(fā)表的審稿流程?！崩狭执蛄藗€(gè)可樂(lè )味的嗝。

“你果然一直有關(guān)注這件事！”

“咳”老林瞪大眼：“怎么還給爸爸下套呢？”

“因為我總覺(jué)得，爸爸瞞著(zhù)我一些事情，故意不告訴我?！?/br>
“想象力過(guò)于豐富了啊?！?/br>
“那你為什么不告訴我,你和曾教授、裴之一樣，都有研究p/np問(wèn)題？”

“注意你的措辭，什么叫我和他們一樣，明明是我先，而且……”老林頓了頓，豎起三根手指，“三個(gè)月前你知道什么是p/np，我和你一個(gè)哲學(xué)生聊什么？”

林朝夕瞪大眼，再次被噎?。骸澳@屬于學(xué)科攻擊了??？”

老林“哼哼”兩聲，很驕傲地不說(shuō)話(huà)了。

老林說(shuō)得沒(méi)錯。

對她來(lái)說(shuō)，這是橫跨兩個(gè)時(shí)空很長(cháng)一段探索時(shí)間。而對老林來(lái)講，三個(gè)月前，她還是個(gè)對數學(xué)興趣全無(wú)的文科生。他和她在數學(xué)方面，很難再有過(guò)共同語(yǔ)言了。

不過(guò)幸好，他們現在可以聊一聊了。

關(guān)于p/np，在那次裴之主持并翻譯的講座后，老林其實(shí)已經(jīng)給她講過(guò)不少。

如果一個(gè)問(wèn)題能在多項式時(shí)間內找到算法，那么它就是p問(wèn)題。

而np問(wèn)題，則是指那些我們無(wú)法用快速方法找到答案，但如果給出一個(gè)解、我們能在多項式時(shí)間內驗證它的問(wèn)題。

在np問(wèn)題中，有一類(lèi)特別難的問(wèn)題，稱(chēng)之為npc問(wèn)題。

npc問(wèn)題有兩個(gè)重要特性：1.它是一個(gè)np問(wèn)題；2.所有np問(wèn)題都可以歸約到它。

stephena.cook于1971年發(fā)表了theplexitytheorem-provingprocedures，提出np-plete問(wèn)題這一概念。并通過(guò)非確定性圖靈機，證明布爾邏輯的可滿(mǎn)足性問(wèn)題（sat問(wèn)題）是一個(gè)npc問(wèn)題。

而老林選擇的切入點(diǎn)，是精確圖同構問(wèn)題。

面店里生意好到不行，差不多他們聊到一半的時(shí)候，紅油面才上來(lái)。熱辣的面湯，配上翠綠蔥花，很讓人有食欲。

老林挑起一縷面，展示給她看：“自從有了sat問(wèn)題，一大堆npc問(wèn)題就隨之而來(lái)。要證明一個(gè)新的npc問(wèn)題，只需要要把一個(gè)已知的npc問(wèn)題歸約到它，即可?！?/br>
“聽(tīng)上去好像有點(diǎn)簡(jiǎn)單?！绷殖σЯ艘Э曜?，“那為什么精確圖同構至今沒(méi)被證明是否屬于npc問(wèn)題？”

“有兩種可能?！崩狭终f(shuō)，“第一，精確圖同構本身不屬于npc問(wèn)題，所以無(wú)法被證明?！?/br>
“第二呢？”

“第二當然是數學(xué)家能力不夠證不出來(lái)，還有什么原因？”

“哦……”林朝夕吸了口面，問(wèn)，“那具體難點(diǎn)在哪，能詳細說(shuō)說(shuō)嗎？”

“難點(diǎn)在哪，首先涉及到你對圖論的理解深度?！崩狭峙d致來(lái)了，干脆放下筷子，開(kāi)始絮叨起來(lái)。

他說(shuō)，林朝夕就認真聽(tīng)，不懂就問(wèn)。

老林說(shuō)到興起，低頭吃?xún)煽诿?，大口嚼幾下?/br>
面店里熱氣氤氳，老林的聲音輕緩愉快?；秀遍g，林朝夕抬頭，她看到老林的笑。她甚至有那么一瞬間搞不清，她到底在哪個(gè)世界。

一碗面差不多吃完，林朝夕被辣得酣暢淋漓。

從老林講述的內容中，她大概了解老林當年在嘗試什么、想用怎樣的方式證明精確圖同構屬于npc問(wèn)題。

就算她不認識老林，僅作為一個(gè)普通的數學(xué)生。在和老林對坐吃完面后，她根本不用去看那篇老林被指剽竊的論文就可以確定，老林是這個(gè)領(lǐng)域的專(zhuān)家，他沒(méi)必要剽竊他人學(xué)術(shù)成果。

老林還是很高興，眼角的褶子因為他剛才老瞇著(zhù)眼，顯得更深了。

“我大概了解了?！彼畔驴曜?，喝了口辣湯：“所以馮教授的那個(gè)證明，到底對不對啊，你知道嗎？”

“你不去學(xué)校參加畢業(yè)典禮？”老林點(diǎn)亮手機，看了看時(shí)間，“現在叫滴滴還趕得上?！?/br>
林朝夕眉頭微蹙，老林少見(jiàn)的第二次打斷她關(guān)于馮教授詳細證明的提問(wèn)。

“畢業(yè)典禮，沒(méi)有你重要?！彼f(shuō)。

“過(guò)于rou麻了?！?/br>
“你為什么不問(wèn)我，在永川大學(xué)究竟遇到了誰(shuí)？”

“誰(shuí)？”

“我誰(shuí)也沒(méi)有遇到?！?/br>
老林：“……”

面店里熱氣騰騰，雖然有空調，林朝夕身上還是出了一層薄汗。