/br>在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>
老林：“……”

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