手机浏览器扫描二维码访问
第12章 一道题目的证明答案（第1页）
出租屋内。
陆远等到李梦琪离开之后，将门关了起来，然后洗漱了一番。
这些天，如果补课时间晚了，陆远就不回学校了，直接在这里睡。
躺在床上，陆远目光看向天花板，然后凝神。
全息3D投影顿时出现。
陆远将目光看向了系统奖励的物品一栏。
在数学等级升到Lv3级的时候，系统奖励了一份‘图纸解析’，刚才陆远还没来得及去研究。
“系统，打开图纸解析。”
陆远默念一声，眼前全息投影变换出现了一行文字。
【布尔函数灵敏度猜想证明过程。】
？？？
陆远瞪大了眼睛。
作为一个非数学系学生，陆远不知道‘布尔函数’是什么鬼东西，但是他知道最基本的常识。
任何一个数学公式，一旦跟‘猜想’二字牵扯到关联，那它的难度等级，就要上升几个档次。
果不其然，当陆远看到解析图纸上的需要猜想的公式的时候，一句mmp破口而出。
这个猜想公式是这样的：
【存在一个多项式P，对所有布尔函数f，都成立bs（f）＜=P【s（f）】！】
公式很简单，也仅仅只有不到十来个数字符号。
但是，公式的所有字符陆远都认识，而这些字符一旦合起来，陆远则是有些看不懂了。
“这是自己现在数学Lv3级可以做的事情？”
“系统也太高看自己了吧。”
陆远一时间感觉到有些被冒犯，但又找不到任何证据。
“mmp的。”
“男人是不能被冒犯的，系统你摊上大事了。”
陆远顿时也是困意全无了，起身就打开了随身带着的笔记本电脑。
一番了解之后，陆远大概知道了眼前的这一份‘图纸解析’是什么玩意。
这确实是一道证明题的答案，这是在1992年，路撒冷希伯来大学的NoamNisan和现在罗格斯大学的MarioSzegedy提出了理论计算机界重要的猜想之一。
近三十年来，自然有很多自认为天才的人物去破解干掉这个猜想。
但是无疑全部都失败了。
布尔敏感函数猜想也成为了计算机学科近三十年来最重要、最令人困惑的开放性问题之一。
“系统，你这玩笑开大了。”
陆远嘴角轻笑，肾上腺激素却开始飙升，双手忍不住的颤抖了起来。
卡牌：我的数值在你之上 退亲后，我嫁给了猎户 惊天大梦 盗笔：麒麟的洪荒莲花 那年我双手插兜，统御最强宠兽 开着网约车唱着歌，女明星请上车 六零，送女主空间的小崽崽不干了 无敌皇竖子，拥兵百万！ 抗战：我成了李云龙的顶头上司 网游：神级序列缔造者 天地应物 开局没了师尊，大师兄开始称霸 穿越后我快乐修仙 春花老太回七零，养鸡卖菜我最牛 说好考古，你九龙拉棺纹身曝光了 我被拍卖行裁员后，反手坑死老板 萌宝寻爱：破茧成蝶之旅 穿书六零有空间，分家之后爽翻天 重生不离婚，抱紧老公宠他吻他 遇见那星空
替嫁医妻：亿万老公超给力
被当做妹妹的替身嫁给他，因为误会，遭受无情对待，终于她提出了离婚，四年后携子归来，男人却莫名其妙的把她抵在墙角求复婚。如果您喜欢替嫁医妻亿万老公超给力，别忘记分享给朋友...
龙鼎神帝
关于龙鼎神帝昂首笑苍天，一念破苍穹，三千大道，武道逆天。至尊林觉为了挚爱追求龙族的逆天力量，却被挚爱杀死，重生在百年后的灵脉少年身上。从此他手持龙族神鼎，身怀王级灵诀，踏上充满荆棘的复仇之路。本书已经完结，新书正在更新中，请大家可以给予小小的支持新书绝品圣主...
绝望弃妇
顶尖特工一朝穿越成被渣男休掉的弃妇，带着一只可怜小包子，住着顶不遮雨墙不避风的破屋子，揭开米缸连屁都没有，这日子还咋过？采野菜卖野果进酒楼平绣坊，凤瑶就不信了，还过不上好日子了？...
足坛第一狂徒
踏上这片绿茵，我就是足坛第一狂徒！本书又名踢球，从断腿开始。跟我走吧，带你体验足球世界的疯狂与残酷！如果您喜欢足坛第一狂徒，别忘记分享给朋友...
腹黑龙神之鬼妻撩人
关于腹黑龙神之鬼妻撩人他，寻一人，走千年。她，盼一人，等千年。他踽踽一人，过千年。千年寻找。千年等待。千年飘泊。三个都上了千岁的异类，在这一趟人间注定的相遇中，将谱写出一个婉转千回柔情快乐的故事。...
我，董卓，爱民如子
我叫董卓，人在汉末，是位穿越者。我很不满意穿越到这个又老又丑的胖子身上，幸好有个特殊的辅助系统。只要我爱民如子，坚定站在贫苦打工人这一无产阶级的阵营，系统就可以帮助我将肥肉变肌肉，胖脸变瓜子脸，实现逆生长和变帅的梦想。我原以为这事儿很简单，没想到那群歪瓜裂枣的手下满堂的士大夫还有各地诸侯，居然敬酒不吃吃罚酒！如果您喜欢我，董卓，爱民如子，别忘记分享给朋友...