第331頁
2023-09-22 07:57:51 作者： 長洱
「刺啦」一聲, 林朝夕打開易拉罐, 把一聽可樂倒兩杯。
泡沫咕嚕咕嚕滿溢至杯口，她和老林不約而同舉杯輕碰。隨後。他們一口氣喝了大半杯，同放下杯子、抹抹嘴。
林朝夕：「所以馮教授發表的那篇論文, 究竟有沒有證明……？」
「不算正式發表，只是發個草稿, 在走正式發表的審稿流程。」老林打了個可樂味的嗝。
「你果然一直有關注這件事！」
「咳」老林瞪大眼：「怎麼還給爸爸下套呢？」
「因為我總覺得，爸爸瞞著我一些事情，故意不告訴我。」
「想像力過於豐富了啊。」
「那你為什麼不告訴我, 你和曾教授、裴之一樣，都有研究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問題歸約到它，即可。」
「聽上去好像有點簡單。」林朝夕咬了咬筷子，「那為什麼精確圖同構至今沒被證明是否屬於npc問題？」
「有兩種可能。」老林說，「第一，精確圖同構本身不屬於npc問題，所以無法被證明。」
「第二呢？」
「第二當然是數學家能力不夠證不出來，還有什麼原因？」
「哦……」林朝夕吸了口面，問，「那具體難點在哪，能詳細說說嗎？」
「難點在哪，首先涉及到你對圖論的理解深度。」老林興致來了，乾脆放下筷子，開始絮叨起來。
他說，林朝夕就認真聽，不懂就問。
老林說到興起，低頭吃兩口面，大口嚼幾下。
麵店里熱氣氤氳，老林的聲音輕緩愉快。恍惚間，林朝夕抬頭，她看到老林的笑。她甚至有那麼一瞬間搞不清，她到底在哪個世界。
一碗麵差不多吃完，林朝夕被辣得酣暢淋漓。
從老林講述的內容中，她大概了解老林當年在嘗試什麼、想用怎樣的方式證明精確圖同構屬於npc問題。
就算她不認識老林，僅作為一個普通的數學生。在和老林對坐吃完面後，她根本不用去看那篇老林被指剽竊的論文就可以確定，老林是這個領域的專家，他沒必要剽竊他人學術成果。
老林還是很高興，眼角的褶子因為他剛才老眯著眼，顯得更深了。
「我大概了解了。」她放下筷子，喝了口辣湯：「所以馮教授的那個證明，到底對不對啊，你知道嗎？」
「你不去學校參加畢業典禮？」老林點亮手機，看了看時間，「現在叫滴滴還趕得上。」
林朝夕眉頭微蹙，老林少見的第二次打斷她關於馮教授詳細證明的提問。
「畢業典禮，沒有你重要。」她說。
「過於肉麻了。「
「你為什麼不問我，在永川大學究竟遇到了誰？」
「誰？」
「我誰也沒有遇到。」
老林：「……」
麵店里熱氣騰騰，雖然有空調，林朝夕身上還是出了一層薄汗。
「我還有最後一個問題。」杯子裡的可樂早已喝空，林朝夕握著杯口轉了半圈，抬頭。
她問：「馮德明教授的這篇圖同構論文，和你當時被指剽竊的那篇文章，有關係嗎？」
——
林朝夕想，她的父親一直是個坦蕩的人。
坦蕩到無所謂從小告訴她你沒有媽媽，也坦蕩到可以告訴她哪裡可以查到他曾經被開除的通知。
而現在，老林不僅迴避了兩次關於馮教授證明的問題。並在她追問完後，他破天荒站起來去找服務員結帳付錢，隨後走出店門。
塑料簾劃開又合上，老林穿著正式的西服襯衣，背上有明顯的汗漬。
她收回視線，看到腳邊他忘記帶走的紙箱。