手机浏览器扫描二维码访问
第12章 一道题目的证明答案（第1页）
出租屋内。
陆远等到李梦琪离开之后，将门关了起来，然后洗漱了一番。
这些天，如果补课时间晚了，陆远就不回学校了，直接在这里睡。
躺在床上，陆远目光看向天花板，然后凝神。
全息3D投影顿时出现。
陆远将目光看向了系统奖励的物品一栏。
在数学等级升到Lv3级的时候，系统奖励了一份‘图纸解析’，刚才陆远还没来得及去研究。
“系统，打开图纸解析。”
陆远默念一声，眼前全息投影变换出现了一行文字。
【布尔函数灵敏度猜想证明过程。】
？？？
陆远瞪大了眼睛。
作为一个非数学系学生，陆远不知道‘布尔函数’是什么鬼东西，但是他知道最基本的常识。
任何一个数学公式，一旦跟‘猜想’二字牵扯到关联，那它的难度等级，就要上升几个档次。
果不其然，当陆远看到解析图纸上的需要猜想的公式的时候，一句mmp破口而出。
这个猜想公式是这样的：
【存在一个多项式P，对所有布尔函数f，都成立bs（f）＜=P【s（f）】！】
公式很简单，也仅仅只有不到十来个数字符号。
但是，公式的所有字符陆远都认识，而这些字符一旦合起来，陆远则是有些看不懂了。
“这是自己现在数学Lv3级可以做的事情？”
“系统也太高看自己了吧。”
陆远一时间感觉到有些被冒犯，但又找不到任何证据。
“mmp的。”
“男人是不能被冒犯的，系统你摊上大事了。”
陆远顿时也是困意全无了，起身就打开了随身带着的笔记本电脑。
一番了解之后，陆远大概知道了眼前的这一份‘图纸解析’是什么玩意。
这确实是一道证明题的答案，这是在1992年，路撒冷希伯来大学的NoamNisan和现在罗格斯大学的MarioSzegedy提出了理论计算机界重要的猜想之一。
近三十年来，自然有很多自认为天才的人物去破解干掉这个猜想。
但是无疑全部都失败了。
布尔敏感函数猜想也成为了计算机学科近三十年来最重要、最令人困惑的开放性问题之一。
“系统，你这玩笑开大了。”
陆远嘴角轻笑，肾上腺激素却开始飙升，双手忍不住的颤抖了起来。
我凭美食火爆星际 卡牌：我的数值在你之上 在玛丽苏文学里奋斗 予卿欢 妄想妹妹和老实哥哥 我靠抽卡无限续命[快穿] 退亲后，我嫁给了猎户 穿书六零有空间，分家之后爽翻天 那年我双手插兜，统御最强宠兽 春花老太回七零，养鸡卖菜我最牛 【原创黑化】病态妄想乐园 反派剧透我一脸 开局没了师尊，大师兄开始称霸 死遁后主角崩坏了[快穿] 我被拍卖行裁员后，反手坑死老板 穿越后我快乐修仙 无敌皇竖子，拥兵百万！ 撩惹冷戾元帅后全星际都在嗑CP 萌宝寻爱：破茧成蝶之旅 重生不离婚，抱紧老公宠他吻他
封神：麾下十万大罗
白歌魂穿封神，成了大商三山关新任总兵，并获得了武略系统。只要绑定的士兵能力提升，白歌也会获得同步提升。而他的麾下有十万奴隶矿工！每个人提升一点灵力，那我岂不是就提升十万点？还挖什么矿？来我教你们修仙！PS已有高订1W2均订过4K的完本洪荒文，品质保证。新书期每天上午八点准时更新！！！如果您喜欢封神麾下十万大罗，别忘记分享给朋友...
穿越后，我成了炮灰太子的护身符
叶小瑶，瑶瑶不夜城老板，不夜城里的杠把子，她怎么也想不到，一次再平常不过的拼酒，竟然把小命给交代了，灵魂还穿到了历史上不存在的一个朝代，南楚国，不但被狗系统换了一副奇丑无比的面孔，而且还要受它的摆布，陪着炮灰太子去敌国做质子，不但要护他安全，还要提防随时都可能到来的凶险，没办法，为了沷天的富贵，只能忍着。楚天烨这...
仿生纪元
陆文重生为家政型仿生人本以为这辈子就这样做做家务了可被雇主带回家的第一天，他得到了这样两条指令不要去三楼。在后院挖一个可以埋下成年人的坑，挖深一点。如果您喜欢仿生纪元，别忘记分享给朋友...
全才相婿
相人相事相风水，知己知彼知前程。越阳，我要跟你离婚！你我有百年姻缘，天命不可违。越阳，离开我女儿，给你两个亿。钱财乃身外之物，小婿怕你哭着求我回来，岂不尴尬？越阳，放开你妻子，否则，你将死无葬身之地。滚，老子随便一脚，就能把尔等踩成泥！大相师出山，化身上门女婿，一路披荆斩棘，终抱得美人归！公众号水冷酒家如果您喜欢全才相婿，别忘记分享给朋友...
都市神级医仙
都市神级医仙简介emspemsp男主何川孤儿被神医张天枢捡回，因张天枢命不久矣，男主何下山寻找与张天枢因误会而离去的爱人素问，和她手中上古天衍论医学秘籍下部，完成张天枢志愿，让两人各自拥有的半部秘籍团圆原┊创┇文┊章wоо⒙ν...
星际美食女神
星际美食女神简介emspemsp星历9102年，人类离开地球已七千年。星际时代，地球文明失落，人类以营养剂为生。而这一年，来自21世纪的地球来客，掀起了美食风暴。涂绒绒穿到了星际时代，成了一个父母双亡，被赶出家门的小可怜没钱的涂...