首頁> 現代都市> 超級學霸:從授課返還開始!> 第12章 :一道題目的證明答案!

第12章 :一道題目的證明答案!

2024-08-07 00:39:56 作者: 好吃你就多吃點
  出租屋內。

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

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

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

  全息3D投影頓時出現。

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

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

  「系統,打開圖紙解析。」

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

  【布爾函數靈敏度猜想證明過程。】

  ???

  陸遠瞪大了眼睛。

  作為一個非數學系學生,陸遠不知道『布爾函數』是什麼鬼東西,但是他知道最基本的常識。

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

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

  這個猜想公式是這樣的:

  【存在一個多項式P,對所有布爾函數f,都成立bs(f)<=P【s(f)】!】

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

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

  「這是自己現在數學Lv3級可以做的事情?」

  「系統也太高看自己了吧。」

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

  「mmp的。」

  「男人是不能被冒犯的,系統你攤上大事了。」

  陸遠頓時也是困意全無了,起身就打開了隨身帶著的筆記本電腦。

  一番了解之後,陸遠大概知道了眼前的這一份『圖紙解析』是什麼玩意。

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

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

  但是無疑全部都失敗了。

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

  「系統,你這玩笑開大了。」

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

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

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

  但是不管飽啊。

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

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

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

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

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

  過程就是這個過程。

  只不過,中間有些難過。

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

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

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

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

  這是一種很奇妙的感覺。

  「這可能就是系統對於數學學科升級的意義所在。」

  「數學的親和力,亦或者說……」

  「數學天賦!」

  陸遠對於系統數學學科升級,有了不一樣的理解。


  高斯可以在9歲的時候發明了等差數列,也可以憑藉著一桿筆,僅用一下午的時間就搞定了牛頓一輩子沒有完成的正十七邊形。

  這是什麼?

  這就是妥妥的天賦。

  陸遠有些掌握了系統升級的意義所在。

  時間一分一秒的過去……

  一直到早上7點鐘,陸遠方才停下手中的動作。

  雖然有參考答案,但是現在的陸遠顯然跟高斯沒法比,他還沒有吃透系統提供的這一份證明題的答案。

  當然。

  這個題目真的給高斯去做的話,他也絕對不會做。

  畢竟,布爾函數靈敏度猜想證明過程並不是純粹的數學難題,他更偏向於計算機數學。

  高斯那個年代自然是沒有計算機的。

  em……

  暫時就這樣吧。

  看了看時間,陸遠停下了手頭忙碌的工作。

  一口吃不了胖子,一夜沒睡的陸遠現在的精神力已經不足以支撐他繼續學下去了。

  洗漱了一番,陸遠騎著自己的電動車就趕往了『合工大學』。

  「阿姨,來十個肉包子,一碗小米粥。」

  來到食堂,陸遠打了早飯,找了一個沒人的位置坐下。

  雖然儘量的讓自己不要想腦海中的『布爾函數靈敏度猜想』。

  但是陸遠控制不住他自己。

  他現在就跟著了魔一樣,大腦就想要去思考這個難題,不然渾身痒痒。

  這怎麼形容呢?

  這就好像,有一個超級無敵漂亮的美女,現在就在你的床上,就等著你進行著下面的操作。

  你說,你會怎麼辦?

  「小遠~~」

  「你小子昨天又是夜不歸宿,還說沒有談對象!」

  「絕對談對象了,我敢用你的人格打賭。」

  就在這個時候,陸遠感覺到胳膊被拍了一下,也是從思考中恢復過來。

  是自己的幾個室友。

  「我擦!!!」

  看著陸遠面色蒼白,眼神虛弱,眼睛下面還頂著一對黑眼圈,蔡釗驚了一下,立刻語重心長的說道:

  「哥們知道剛剛告別單身,但是……」

  「年輕人還是應該要愛護自己的身體的。」

  「g,un,滾!」

  陸遠爆了一句粗口:「我陸遠不需要女朋友!」

  他多次跟蔡釗解釋,自己沒有談女朋友,但是蔡釗就是不信。

  貌似,其他室友也都不相信。

  難道夜不歸宿,就一定是談女朋友了?

  「羨慕,真的讓人羨慕啊!」

  室友C惡狠狠的咬了一口包子。

  「羨慕啥?」

  「雖然你不愛惜身體,但你昨天晚上的快樂,是我等單身狗無法想像的。」

  陸遠:「……」


關閉
Δ