第12章 一道题目的证明答案！12（1 / 2）

出租屋内。</p>

陆远等到李梦琪离开之后，将门关了起来，然后洗漱了一番。</p>

这些天，如果补课时间晚了，陆远就不回学校了，直接在这里睡。</p>

躺在床上，陆远目光看向天花板，然后凝神。</p>

全息3d投影顿时出现。</p>

陆远将目光看向了系统奖励的物品一栏。</p>

在数学等级升到lv3级的时候，系统奖励了一份‘图纸解析’，刚才陆远还没来得及去研究。</p>

“系统，打开图纸解析。”</p>

陆远默念一声，眼前全息投影变换出现了一行文字。</p>

【布尔函数灵敏度猜想证明过程。】</p>

？？？</p>

陆远瞪大了眼睛。</p>

作为一个非数学系学生，陆远不知道‘布尔函数’是什么鬼东西，但是他知道最基本的常识。</p>

任何一个数学公式，一旦跟‘猜想’二字牵扯到关联，那它的难度等级，就要上升几个档次。</p>

果不其然，当陆远看到解析图纸上的需要猜想的公式的时候，一句mmp破口而出。</p>

这个猜想公式是这样的：</p>

【存在一个多项式p，对所有布尔函数f，都成立bs（f）＜=p【s（f）】！】</p>

公式很简单，也仅仅只有不到十来个数字符号。</p>

但是，公式的所有字符陆远都认识，而这些字符一旦合起来，陆远则是有些看不懂了。</p>

“这是自己现在数学lv3级可以做的事情？”</p>

“系统也太高看自己了吧。”</p>

陆远一时间感觉到有些被冒犯，但又找不到任何证据。</p>

“mmp的。”</p>

“男人是不能被冒犯的，系统你摊上大事了。”</p>

陆远顿时也是困意全无了，起身就打开了随身带着的笔记本电脑。</p>

一番了解之后，陆远大概知道了眼前的这一份‘图纸解析’是什么玩意。</p>

这确实是一道证明题的答案，这是在1992年，路撒冷希伯来大学的noam nirio szegedy 提出了理论计算机界重要的猜想之一。</p>

近三十年来，自然有很多自认为天才的人物去破解干掉这个猜想。</p>

但是无疑全部都失败了。</p>

布尔敏感函数猜想也成为了计算机学科近三十年来最重要、最令人困惑的开放性问题之一。</p>

“系统，你这玩笑开大了。”</p>

陆远嘴角轻笑，肾上腺激素却开始飙升，双手忍不住的颤抖了起来。</p>

作为一个被系统选中的男人，陆远自然不可能一辈子沉浸在教学上面。</p>

系统奖励的那上万道小学奥数，高中数学题目，虽然量大。</p>

但是不管饱啊。</p>

他陆远是一个大学生，眼光自然不会仅限于此。</p>

双手放在键盘上，陆远不断的啪啪的搜索着各种知识、文献。</p>

系统已经给出了证明过程。</p>

而现在陆远需要做的事情也很简单，那就是看懂、理解这个证明过程。</p>

最后的最后，写上自己的名字，发表论文。</p>

过程就是这个过程。</p>

只不过，中间有些难过。</p>

好在，陆远在升到数学lv3级之后，对于数学方面的能力感悟提升了。</p>

就好比如布尔函数，如果是原先的陆远想要彻底吃透这个定义，可能很难，亦或者需要很长的时间。</p>

但是在数学等级提升了之后，陆远很明显的感觉到，难度并不大。</p>

而且，陆远还感受到自己对于这些函数公式有了亲和力，他可以清楚的感觉到每一个字符的长短，以及用处。</p>

这是一种很奇妙的感觉。</p> “这可能就是系统对于数学学科升级的意义所在。”</p>