第12章 一道题目的证明答案!
作者:好吃你就多吃点   超级学霸:从授课返还开始!最新章节     
    出租屋内。
    陆远等到李梦琪离开之后,将门关了起来,然后洗漱了一番。
    这些天,如果补课时间晚了,陆远就不回学校了,直接在这里睡。
    躺在床上,陆远目光看向天花板,然后凝神。
    全息3d投影顿时出现。
    陆远将目光看向了系统奖励的物品一栏。
    在数学等级升到lv3级的时候,系统奖励了一份‘图纸解析’,刚才陆远还没来得及去研究。
    “系统,打开图纸解析。”
    陆远默念一声,眼前全息投影变换出现了一行文字。
    【布尔函数灵敏度猜想证明过程。】
    ???
    陆远瞪大了眼睛。
    作为一个非数学系学生,陆远不知道‘布尔函数’是什么鬼东西,但是他知道最基本的常识。
    任何一个数学公式,一旦跟‘猜想’二字牵扯到关联,那它的难度等级,就要上升几个档次。
    果不其然,当陆远看到解析图纸上的需要猜想的公式的时候,一句mmp破口而出。
    这个猜想公式是这样的:
    【存在一个多项式p,对所有布尔函数f,都成立bs(f)<=p【s(f)】!】
    公式很简单,也仅仅只有不到十来个数字符号。
    但是,公式的所有字符陆远都认识,而这些字符一旦合起来,陆远则是有些看不懂了。
    “这是自己现在数学lv3级可以做的事情?”
    “系统也太高看自己了吧。”
    陆远一时间感觉到有些被冒犯,但又找不到任何证据。
    “mmp的。”
    “男人是不能被冒犯的,系统你摊上大事了。”
    陆远顿时也是困意全无了,起身就打开了随身带着的笔记本电脑。
    一番了解之后,陆远大概知道了眼前的这一份‘图纸解析’是什么玩意。
    这确实是一道证明题的答案,这是在1992年,路撒冷希伯来大学的noam nisan和现在罗格斯大学的mario szegedy 提出了理论计算机界重要的猜想之一。
    近三十年来,自然有很多自认为天才的人物去破解干掉这个猜想。
    但是无疑全部都失败了。
    布尔敏感函数猜想也成为了计算机学科近三十年来最重要、最令人困惑的开放性问题之一。
    “系统,你这玩笑开大了。”
    陆远嘴角轻笑,肾上腺激素却开始飙升,双手忍不住的颤抖了起来。
    作为一个被系统选中的男人,陆远自然不可能一辈子沉浸在教学上面。
    系统奖励的那上万道小学奥数,高中数学题目,虽然量大。
    但是不管饱啊。
    他陆远是一个大学生,眼光自然不会仅限于此。
    双手放在键盘上,陆远不断的啪啪的搜索着各种知识、文献。
    系统已经给出了证明过程。
    而现在陆远需要做的事情也很简单,那就是看懂、理解这个证明过程。
    最后的最后,写上自己的名字,发表论文。
    过程就是这个过程。
    只不过,中间有些难过。
    好在,陆远在升到数学lv3级之后,对于数学方面的能力感悟提升了。
    就好比如布尔函数,如果是原先的陆远想要彻底吃透这个定义,可能很难,亦或者需要很长的时间。
    但是在数学等级提升了之后,陆远很明显的感觉到,难度并不大。
    而且,陆远还感受到自己对于这些函数公式有了亲和力,他可以清楚的感觉到每一个字符的长短,以及用处。
    这是一种很奇妙的感觉。
    “这可能就是系统对于数学学科升级的意义所在。”
    “数学的亲和力,亦或者说……”
    “数学天赋!”
    陆远对于系统数学学科升级,有了不一样的理解。
    高斯可以在9岁的时候发明了等差数列,也可以凭借着一杆笔,仅用一下午的时间就搞定了牛顿一辈子没有完成的正十七边形。
    这是什么?
    这就是妥妥的天赋。
    陆远有些掌握了系统升级的意义所在。
    时间一分一秒的过去……
    一直到早上7点钟,陆远方才停下手中的动作。
    虽然有参考答案,但是现在的陆远显然跟高斯没法比,他还没有吃透系统提供的这一份证明题的答案。
    当然。
    这个题目真的给高斯去做的话,他也绝对不会做。
    毕竟,布尔函数灵敏度猜想证明过程并不是纯粹的数学难题,他更偏向于计算机数学。
    高斯那个年代自然是没有计算机的。
    em……
    暂时就这样吧。
    看了看时间,陆远停下了手头忙碌的工作。
    一口吃不了胖子,一夜没睡的陆远现在的精神力已经不足以支撑他继续学下去了。
    洗漱了一番,陆远骑着自己的电动车就赶往了‘合工大学’。
    “阿姨,来十个肉包子,一碗小米粥。”
    来到食堂,陆远打了早饭,找了一个没人的位置坐下。
    虽然尽量的让自己不要想脑海中的‘布尔函数灵敏度猜想’。
    但是陆远控制不住他自己。
    他现在就跟着了魔一样,大脑就想要去思考这个难题,不然浑身痒痒。
    这怎么形容呢?
    这就好像,有一个超级无敌漂亮的美女,现在就在你的床上,就等着你进行着下面的操作。
    你说,你会怎么办?
    “小远~~”
    “你小子昨天又是夜不归宿,还说没有谈对象!”
    “绝对谈对象了,我敢用你的人格打赌。”
    就在这个时候,陆远感觉到胳膊被拍了一下,也是从思考中恢复过来。
    是自己的几个室友。
    “我擦!!!”
    看着陆远面色苍白,眼神虚弱,眼睛下面还顶着一对黑眼圈,蔡钊惊了一下,立刻语重心长的说道:
    “哥们知道刚刚告别单身,但是……”
    “年轻人还是应该要爱护自己的身体的。”
    “g,un,滚!”
    陆远爆了一句粗口:“我陆远不需要女朋友!”
    他多次跟蔡钊解释,自己没有谈女朋友,但是蔡钊就是不信。
    貌似,其他室友也都不相信。
    难道夜不归宿,就一定是谈女朋友了?
    “羡慕,真的让人羡慕啊!”
    室友c恶狠狠的咬了一口包子。
    “羡慕啥?”
    “虽然你不爱惜身体,但你昨天晚上的快乐,是我等单身狗无法想象的。”
    陆远:“……”