手机浏览器扫描二维码访问
第12章 一道题目的证明答案（第1页）
出租屋内。
陆远等到李梦琪离开之后，将门关了起来，然后洗漱了一番。
这些天，如果补课时间晚了，陆远就不回学校了，直接在这里睡。
躺在床上，陆远目光看向天花板，然后凝神。
全息3D投影顿时出现。
陆远将目光看向了系统奖励的物品一栏。
在数学等级升到Lv3级的时候，系统奖励了一份‘图纸解析’，刚才陆远还没来得及去研究。
“系统，打开图纸解析。”
陆远默念一声，眼前全息投影变换出现了一行文字。
【布尔函数灵敏度猜想证明过程。】
？？？
陆远瞪大了眼睛。
作为一个非数学系学生，陆远不知道‘布尔函数’是什么鬼东西，但是他知道最基本的常识。
任何一个数学公式，一旦跟‘猜想’二字牵扯到关联，那它的难度等级，就要上升几个档次。
果不其然，当陆远看到解析图纸上的需要猜想的公式的时候，一句mmp破口而出。
这个猜想公式是这样的：
【存在一个多项式P，对所有布尔函数f，都成立bs（f）＜=P【s（f）】！】
公式很简单，也仅仅只有不到十来个数字符号。
但是，公式的所有字符陆远都认识，而这些字符一旦合起来，陆远则是有些看不懂了。
“这是自己现在数学Lv3级可以做的事情？”
“系统也太高看自己了吧。”
陆远一时间感觉到有些被冒犯，但又找不到任何证据。
“mmp的。”
“男人是不能被冒犯的，系统你摊上大事了。”
陆远顿时也是困意全无了，起身就打开了随身带着的笔记本电脑。
一番了解之后，陆远大概知道了眼前的这一份‘图纸解析’是什么玩意。
这确实是一道证明题的答案，这是在1992年，路撒冷希伯来大学的NoamNisan和现在罗格斯大学的MarioSzegedy提出了理论计算机界重要的猜想之一。
近三十年来，自然有很多自认为天才的人物去破解干掉这个猜想。
但是无疑全部都失败了。
布尔敏感函数猜想也成为了计算机学科近三十年来最重要、最令人困惑的开放性问题之一。
“系统，你这玩笑开大了。”
陆远嘴角轻笑，肾上腺激素却开始飙升，双手忍不住的颤抖了起来。
开局没了师尊，大师兄开始称霸 死遁后主角崩坏了[快穿] 穿越后我快乐修仙 那年我双手插兜，统御最强宠兽 萌宝寻爱：破茧成蝶之旅 卡牌：我的数值在你之上 在玛丽苏文学里奋斗 我凭美食火爆星际 撩惹冷戾元帅后全星际都在嗑CP 妄想妹妹和老实哥哥 退亲后，我嫁给了猎户 我靠抽卡无限续命[快穿] 穿书六零有空间，分家之后爽翻天 春花老太回七零，养鸡卖菜我最牛 我被拍卖行裁员后，反手坑死老板 反派剧透我一脸 【原创黑化】病态妄想乐园 无敌皇竖子，拥兵百万！ 予卿欢 重生不离婚，抱紧老公宠他吻他
太古造化诀
2017玄幻征文参赛作品太古时代，神魔共存，有大神通者，一念可碎星辰，一指可破苍穹，一拳可通幽冥。造化神王，统御诸天万界，掌控无穷星域，威能无穷无尽，乃是神魔共尊的至高存在。造化神王所修的太古造化诀，因此成为太古时代排名第一的禁忌神术。十万年后，苏冥携消失万载的太古造化诀，从微末之中崛起，斩圣子！灭天骄！战天！战地！战神魔！演绎一段轰轰烈烈的传奇人生，最终成为一代至高无上的造化神王！如果您喜欢太古造化诀，别忘记分享给朋友...
一号特工
一号特工简介emspemsp关于一号特工陆轩，国家安全局一名S级特工，在金三角执行任务因特工叛变而失败，兄弟惨死，黯然退出，重新振作后，在都市中风云再起警花关小彤，大明星柳冰，美女总裁苏青诗，温柔老师吴卿如美女如云的...
闪婚危情
闪婚危情简介emspemsp关于闪婚危情新婚夜，他扯开自己的领带，我不仇富，也不排斥和富婆在一起！被交往了很久的前男友劈腿之后，唐初露发誓不再跟有钱人搞在一起，于是和一个帅到天怒人怨的小白脸闪婚了。她以为不会再重蹈之前...
绝世好女婿
绝世好女婿简介emspemsp绝世好女婿是从心的经典都市言情类作品，绝世好女婿主要讲述了被家族抛弃，强迫做了上门女婿的周琦，在饱受三年羞辱嘲笑后，终从心最新鼎力大作，年度必看都市言情。海棠屋（haitangshuwucom）提供绝世...
大佬她氪金种田
大佬她氪金种田简介emspemsp关于大佬她氪金种田别人种田赚钱氪金，我家女主氪金只为种田，别人男主霸道总裁，我家男主中二小奶狗。明知他故意在闹，她却放肆纵容任他笑。...
艳色难藏
人人都说陈峥是高岭之花，品味高，有格调庸俗市侩的女人入不了他的法眼，再漂亮也不行。名人访谈，陈峥的理想型在主持人的测试题中渐渐成型胸大无脑，肤浅虚荣，金玉其外，败絮其中迷妹们心碎，大佬怎么会喜欢这一款女人？林初雨被男人搂在怀里，气得摔平板我哪里俗了？讨口饭吃而已，人不为己天诛地灭！没事，网友瞎对号...