出租屋內。
陸遠等到李夢琪離開之後,將門關了起來,然後洗漱了一番。
這些天,如果補課時間晚了,陸遠就不回學校了,直接在這裡睡。
躺在床上,陸遠目光看向天花板,然後凝神。
全息3D投影頓時出現。
陸遠將目光看向了系統獎勵的物品一欄。
在數學等級升到Lv3級的時候,系統獎勵了一份『圖紙解析』,剛才陸遠還沒來得及去研究。
「系統,打開圖紙解析。」
陸遠默念一聲,眼前全息投影變換出現了一行文字。
【布爾函數靈敏度猜想證明過程。】
???
陸遠瞪大了眼睛。
作為一個非數學系學生,陸遠不知道『布爾函數』是什麼鬼東西,但是他知道最基本的常識。
任何一個數學公式,一旦跟『猜想』二字牽扯到關聯,那它的難度等級,就要上升幾個檔次。
果不其然,當陸遠看到解析圖紙上的需要猜想的公式的時候,一句mmp破口而出。
這個猜想公式是這樣的:
【存在一個多項式P,對所有布爾函數f,都成立bs(f)<=P【s(f)】!】
公式很簡單,也僅僅只有不到十來個數字符號。
但是,公式的所有字符陸遠都認識,而這些字符一旦合起來,陸遠則是有些看不懂了。
「這是自己現在數學Lv3級可以做的事情?」
「系統也太高看自己了吧。」
陸遠一時間感覺到有些被冒犯,但又找不到任何證據。
「mmp的。」
「男人是不能被冒犯的,系統你攤上大事了。」
陸遠頓時也是困意全無了,起身就打開了隨身帶著的筆記本電腦。
一番了解之後,陸遠大概知道了眼前的這一份『圖紙解析』是什麼玩意。
這確實是一道證明題的答案,這是在1992年,路撒冷希伯來大學的Noam Nisan和現在羅格斯大學的Mario Szegedy 提出了理論計算機界重要的猜想之一。
近三十年來,自然有很多自認為天才的人物去破解幹掉這個猜想。
但是無疑全部都失敗了。
布爾敏感函數猜想也成為了計算機學科近三十年來最重要、最令人困惑的開放性問題之一。
「系統,你這玩笑開大了。」
陸遠嘴角輕笑,腎上腺激素卻開始飆升,雙手忍不住的顫抖了起來。
作為一個被系統選中的男人,陸遠自然不可能一輩子沉浸在教學上面。
系統獎勵的那上萬道小學奧數,高中數學題目,雖然量大。
但是不管飽啊。
他陸遠是一個大學生,眼光自然不會僅限於此。
雙手放在鍵盤上,陸遠不斷的啪啪的搜索著各種知識、文獻。
系統已經給出了證明過程。
而現在陸遠需要做的事情也很簡單,那就是看懂、理解這個證明過程。
最後的最後,寫上自己的名字,發表論文。
過程就是這個過程。
只不過,中間有些難過。
好在,陸遠在升到數學Lv3級之後,對於數學方面的能力感悟提升了。
就好比如布爾函數,如果是原先的陸遠想要徹底吃透這個定義,可能很難,亦或者需要很長的時間。
但是在數學等級提升了之後,陸遠很明顯的感覺到,難度並不大。
而且,陸遠還感受到自己對於這些函數公式有了親和力,他可以清楚的感覺到每一個字符的長短,以及用處。
這是一種很奇妙的感覺。
「這可能就是系統對於數學學科升級的意義所在。」
「數學的親和力,亦或者說……」
「數學天賦!」
陸遠對於系統數學學科升級,有了不一樣的理解。
高斯可以在9歲的時候發明了等差數列,也可以憑藉著一桿筆,僅用一下午的時間就搞定了牛頓一輩子沒有完成的正十七邊形。
這是什麼?
這就是妥妥的天賦。
陸遠有些掌握了系統升級的意義所在。
時間一分一秒的過去……
一直到早上7點鐘,陸遠方才停下手中的動作。
雖然有參考答案,但是現在的陸遠顯然跟高斯沒法比,他還沒有吃透系統提供的這一份證明題的答案。
當然。
這個題目真的給高斯去做的話,他也絕對不會做。
畢竟,布爾函數靈敏度猜想證明過程並不是純粹的數學難題,他更偏向於計算機數學。
高斯那個年代自然是沒有計算機的。
em……
暫時就這樣吧。
看了看時間,陸遠停下了手頭忙碌的工作。
一口吃不了胖子,一夜沒睡的陸遠現在的精神力已經不足以支撐他繼續學下去了。
洗漱了一番,陸遠騎著自己的電動車就趕往了『合工大學』。
「阿姨,來十個肉包子,一碗小米粥。」
來到食堂,陸遠打了早飯,找了一個沒人的位置坐下。
雖然儘量的讓自己不要想腦海中的『布爾函數靈敏度猜想』。
但是陸遠控制不住他自己。
他現在就跟著了魔一樣,大腦就想要去思考這個難題,不然渾身痒痒。
這怎麼形容呢?
這就好像,有一個超級無敵漂亮的美女,現在就在你的床上,就等著你進行著下面的操作。
你說,你會怎麼辦?
「小遠~~」
「你小子昨天又是夜不歸宿,還說沒有談對象!」
「絕對談對象了,我敢用你的人格打賭。」
就在這個時候,陸遠感覺到胳膊被拍了一下,也是從思考中恢復過來。
是自己的幾個室友。
「我擦!!!」
看著陸遠面色蒼白,眼神虛弱,眼睛下面還頂著一對黑眼圈,蔡釗驚了一下,立刻語重心長的說道:
「哥們知道剛剛告別單身,但是……」
「年輕人還是應該要愛護自己的身體的。」
「g,un,滾!」
陸遠爆了一句粗口:「我陸遠不需要女朋友!」
他多次跟蔡釗解釋,自己沒有談女朋友,但是蔡釗就是不信。
貌似,其他室友也都不相信。
難道夜不歸宿,就一定是談女朋友了?
「羨慕,真的讓人羨慕啊!」
室友C惡狠狠的咬了一口包子。
「羨慕啥?」
「雖然你不愛惜身體,但你昨天晚上的快樂,是我等單身狗無法想像的。」
陸遠:「……」