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