天籁小说

手机浏览器扫描二维码访问

第12章 一道题目的证明答案（第1页）

出租屋内。

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

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

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

全息3D投影顿时出现。

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

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

“系统，打开图纸解析。”

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

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

？？？

陆远瞪大了眼睛。

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

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

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

这个猜想公式是这样的：

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

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

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

“这是自己现在数学Lv3级可以做的事情？”

“系统也太高看自己了吧。”

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

“mmp的。”

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

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

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

这确实是一道证明题的答案，这是在1992年，路撒冷希伯来大学的NoamNisan和现在罗格斯大学的MarioSzegedy提出了理论计算机界重要的猜想之一。

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

但是无疑全部都失败了。

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

“系统，你这玩笑开大了。”

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

嫁给王爷竟被他宠成傻子！  我靠神豪系统风靡直播界秦声倩直播间  七零运动养饕餮田一亩关小言王素芬  人在异界，帝皇铠甲开局  国运领主：开局张角又来个黑猴子  基因里的恶之花  我是反派他亲爹泽达顾江雪楼映台  退婚你提的，我觉醒诡神血脉你哭什么？  室友总在觊觎我尾巴梁熠轩裴淮  替嫁给草原首领后林昭昭旭烈格  杀了枕边虫后by江南好时节坎特斯布莱恩  魔武天穹  万人嫌雄虫靠摆烂变团宠路什宴林沉哥  疯批系统，能不能好好升级？  七十年代逃婚美人不逃了周怀臣刘桂芬  惊！超市通古今，我灾荒年救王府满门  御厨的小饭馆[美食]绮季庄凝冬江映槐  是你要换亲，我成豪门千金你哭什么？  系统炸了的我，化身斯菲亚母体！  血影星辰