第12章 一道題目的證明答案！(第1/2 頁)

出租屋內。

陸遠等到李夢琪離開之後，將門關了起來，然後洗漱了一番。

這些天，如果補課時間晚了，陸遠就不回學校了，直接在這裡睡。

躺在床上，陸遠目光看向天花板，然後凝神。

全息3d投影頓時出現。

陸遠將目光看向了系統獎勵的物品一欄。

在數學等級升到lv3級的時候，系統獎勵了一份‘圖紙解析’，剛才陸遠還沒來得及去研究。

“系統，開啟圖紙解析。”

陸遠默唸一聲，眼前全息投影變換出現了一行文字。

【布林函式靈敏度猜想證明過程。】

？？？

陸遠瞪大了眼睛。

作為一個非數學系學生，陸遠不知道‘布林函式’是什麼鬼東西，但是他知道最基本的常識。

任何一個數學公式，一旦跟‘猜想’二字牽扯到關聯，那它的難度等級，就要上升幾個檔次。

果不其然，當陸遠看到解析圖紙上的需要猜想的公式的時候，一句p破口而出。

這個猜想公式是這樣的：

【存在一個多項式p，對所有布林函式f，都成立bs（f）＜=p【s（f）】！】

公式很簡單，也僅僅只有不到十來個數字符號。

但是，公式的所有字元陸遠都認識，而這些字元一旦合起來，陸遠則是有些看不懂了。

“這是自己現在數學lv3級可以做的事情？”

“系統也太高看自己了吧。”

陸遠一時間感覺到有些被冒犯，但又找不到任何證據。

“p的。”

“男人是不能被冒犯的，系統你攤上大事了。”

陸遠頓時也是睏意全無了，起身就開啟了隨身帶著的膝上型電腦。

一番瞭解之後，陸遠大概知道了眼前的這一份‘圖紙解析’是什麼玩意。

這確實是一道證明題的答案，這是在1992年，路撒冷希伯來大學的noa nisan和現在羅格斯大學的ario szedy 提出了理論計算機界重要的猜想之一。

近三十年來，自然有很多自認為天才的人物去破解幹掉這個猜想。

但是無疑全部都失敗了。

布林敏感函式猜想也成為了計算機學科近三十年來最重要、最令人困惑的開放性問題之一。

“系統，你這玩笑開大了。”

陸遠嘴角輕笑，腎上腺激素卻開始飆升，雙手忍不住的顫抖了起來。

作為一個被系統選中的男人，陸遠自然不可能一輩子沉浸在教學上面。

系統獎勵的那上萬道小學奧數，高中數學題目，雖然量大。

但是不管飽啊。

他陸遠是一個大學生，眼光自然不會僅限於此。

雙手放在鍵盤上，陸遠不斷的啪啪的搜尋著各種知識、文獻。

系統已經給出了證明過程。

而現在陸遠需要做的事情也很簡單，那就是看懂、理解這個證明過程。

最後的最後，寫上自己的名字，發表論文。

過程就是這個過程。

只不過，中間有些難過。

好在，陸遠在升到數學lv3級之後，對於數學方面的能力感悟提升了。

就好比如布林函式，如果是原先的陸遠想要徹底吃透這個定義，可能很難，亦或者需要很長的時間。

但是在數學等級提升了之後，陸遠很明顯的感覺到，難度並不大。

而且，陸遠還感受到自己對於這些函式公式有了親和力，他可以清楚的感覺到每一個字元的長短，以及用處。