出租屋內。
陸遠等到李夢琪離開之後,將門關了起來,然後洗漱了一番。
這些天,如果補課時間晚了,陸遠就不回學校了,直接在這裡睡。
躺在床上,陸遠目光看向天花板,然後凝神。
全息3d投影頓時出現。
陸遠將目光看向了係統獎勵的物品一欄。
在數學等級升到lv3級的時候,係統獎勵了一份‘圖紙解析’,剛才陸遠還沒來得及去研究。
“係統,打開圖紙解析。”
陸遠默念一聲,眼前全息投影變換出現了一行文字。
【布爾函數靈敏度猜想證明過程。】
???
陸遠瞪大了眼睛。
作為一個非數學係學生,陸遠不知道‘布爾函數’是什麼鬼東西,但是他知道最基本的常識。
任何一個數學公式,一旦跟‘猜想’二字牽扯到關聯,那它的難度等級,就要上升幾個檔次。
果不其然,當陸遠看到解析圖紙上的需要猜想的公式的時候,一句p破口而出。
這個猜想公式是這樣的
【存在一個多項式p,對所有布爾函數f,都成立bs(f)<p【s(f)】!】
公式很簡單,也僅僅隻有不到十來個數字符號。
但是,公式的所有字符陸遠都認識,而這些字符一旦合起來,陸遠則是有些看不懂了。
“這是自己現在數學lv3級可以做的事情?”
“係統也太高看自己了吧。”
陸遠一時間感覺到有些被冒犯,但又找不到任何證據。
“p的。”
“男人是不能被冒犯的,係統你攤上大事了。”
陸遠頓時也是困意全無了,起身就打開了隨身帶著的筆記本電腦。
一番了解之後,陸遠大概知道了眼前的這一份‘圖紙解析’是什麼玩意。
這確實是一道證明題的答案,這是在1992年,路撒冷希伯來大學的noaedy提出了理論計算機界重要的猜想之一。
近三十年來,自然有很多自認為天才的人物去破解乾掉這個猜想。
但是無疑全部都失敗了。
布爾敏感函數猜想也成為了計算機學科近三十年來最重要、最令人困惑的開放性問題之一。
“係統,你這玩笑開大了。”
陸遠嘴角輕笑,腎上腺激素卻開始飆升,雙手忍不住的顫抖了起來。
作為一個被係統選中的男人,陸遠自然不可能一輩子沉浸在教學上麵。
係統獎勵的那上萬道小學奧數,高中數學題目,雖然量大。
但是不管飽啊。
他陸遠是一個大學生,眼光自然不會僅限於此。
雙手放在鍵盤上,陸遠不斷的啪啪的搜索著各種知識、文獻。
係統已經給出了證明過程。
而現在陸遠需要做的事情也很簡單,那就是看懂、理解這個證明過程。
最後的最後,寫上自己的名字,發表論文。
過程就是這個過程。
隻不過,中間有些難過。
好在,陸遠在升到數學lv3級之後,對於數學方麵的能力感悟提升了。
就好比如布爾函數,如果是原先的陸遠想要徹底吃透這個定義,可能很難,亦或者需要很長的時間。
但是在數學等級提升了之後,陸遠很明顯的感覺到,難度並不大。
而且,陸遠還感受到自己對於這些函數公式有了親和力,他可以清楚的感覺到每一個字符的長短,以及用處。
這是一種很奇妙的感覺。
“這可能就是係統對於數學學科升級的意義所在。”