手机浏览器扫描二维码访问
第12章 一道题目的证明答案（第1页）
出租屋内。
陆远等到李梦琪离开之后，将门关了起来，然后洗漱了一番。
这些天，如果补课时间晚了，陆远就不回学校了，直接在这里睡。
躺在床上，陆远目光看向天花板，然后凝神。
全息3D投影顿时出现。
陆远将目光看向了系统奖励的物品一栏。
在数学等级升到Lv3级的时候，系统奖励了一份‘图纸解析’，刚才陆远还没来得及去研究。
“系统，打开图纸解析。”
陆远默念一声，眼前全息投影变换出现了一行文字。
【布尔函数灵敏度猜想证明过程。】
？？？
陆远瞪大了眼睛。
作为一个非数学系学生，陆远不知道‘布尔函数’是什么鬼东西，但是他知道最基本的常识。
任何一个数学公式，一旦跟‘猜想’二字牵扯到关联，那它的难度等级，就要上升几个档次。
果不其然，当陆远看到解析图纸上的需要猜想的公式的时候，一句mmp破口而出。
这个猜想公式是这样的：
【存在一个多项式P，对所有布尔函数f，都成立bs（f）＜=P【s（f）】！】
公式很简单，也仅仅只有不到十来个数字符号。
但是，公式的所有字符陆远都认识，而这些字符一旦合起来，陆远则是有些看不懂了。
“这是自己现在数学Lv3级可以做的事情？”
“系统也太高看自己了吧。”
陆远一时间感觉到有些被冒犯，但又找不到任何证据。
“mmp的。”
“男人是不能被冒犯的，系统你摊上大事了。”
陆远顿时也是困意全无了，起身就打开了随身带着的笔记本电脑。
一番了解之后，陆远大概知道了眼前的这一份‘图纸解析’是什么玩意。
这确实是一道证明题的答案，这是在1992年，路撒冷希伯来大学的NoamNisan和现在罗格斯大学的MarioSzegedy提出了理论计算机界重要的猜想之一。
近三十年来，自然有很多自认为天才的人物去破解干掉这个猜想。
但是无疑全部都失败了。
布尔敏感函数猜想也成为了计算机学科近三十年来最重要、最令人困惑的开放性问题之一。
“系统，你这玩笑开大了。”
陆远嘴角轻笑，肾上腺激素却开始飙升，双手忍不住的颤抖了起来。
网游：神级序列缔造者 遇见那星空 穿书六零有空间，分家之后爽翻天 春花老太回七零，养鸡卖菜我最牛 穿越后我快乐修仙 开着网约车唱着歌，女明星请上车 盗笔：麒麟的洪荒莲花 抗战：我成了李云龙的顶头上司 卡牌：我的数值在你之上 我被拍卖行裁员后，反手坑死老板 萌宝寻爱：破茧成蝶之旅 天地应物 惊天大梦 退亲后，我嫁给了猎户 那年我双手插兜，统御最强宠兽 说好考古，你九龙拉棺纹身曝光了 开局没了师尊，大师兄开始称霸 重生不离婚，抱紧老公宠他吻他 六零，送女主空间的小崽崽不干了 无敌皇竖子，拥兵百万！
凤唳九天，王爷别乱来
关于凤唳九天，王爷别乱来凤凰身为一名现代的合格雇佣兵，竟然穿越到了古代一个懦弱无能的王妃身上？要不是看在小王爷这般俊美合胃口，她早就收拾包袱溜了！俊美王爷，接招吧！...
抗日之兵王传奇
关于抗日之兵王传奇1937，炮火纷飞，日寇侵略中华！刘杨意外穿越战场，带领残破的队伍走出惨败不愿后撤，刘杨脱离大部队，在太湖组建抗日武装但有一息尚存，绝不苟且偷生！本书没有金手指，仅以七尺血肉...
霸爱99天：夜帝的杀手新娘
已完结婚礼惨遭车祸，重生醒来已是面目全非，她不再是曾经的她，他却化身为夺身俘心的恶魔。一场99天的交易，换来的却是未婚夫的惨死，她输得一败涂地，拼死逃离，却发现已怀有身孕六年后，她浴火新生改头换面，杀人不眨眼，代号鬼姬。她恨他入骨，他爱她痴狂，抵死囚禁做我的女人。他霸道地扣住她的下巴。做梦！除...
万福娇妃还太小得宠着
关于万福娇妃还太小得宠着名震天下的奉亲王成亲，却娶了个五岁的小丫头，小丫头出身不高，又软又怯懦，京城皆言上不了台面。天下人都为曾经的战神鸣不平，谁知，这位王爷却将自己的小娇妻宠上了天。小丫头爱吃的珍馐佳肴，他买下了酒楼。小丫头爱穿的缎子，他垄断了丝路。小丫头喜欢游山玩水，他倾覆江山称帝，将这天下美景赠她为聘。虞姝觉得，自己这辈子最幸运的事就是嫁给王爷，他教她琴棋书画，读书习字。会帮她出头虐渣，连她渣姐渣母都怕她三分。可...
最美不过说爱你
排雷！绝壁甜文初见时，那抹笑容，印入脑海，久久不能遗忘多年后，记者采访沐九深第一次见迟浅的时候是在哪里？说的第一句话是什么？沐九深当着广大人民群众面前沉思了片刻缓缓开口。男厕所同学，买纸不，十块钱一包！（‘呆萌’小学霸＆奶系伪学渣）如果您喜欢最美不过说爱你，别忘记分享给朋友...
什么叫游走型中单啊
英雄联盟电竞文2015年，一记反向而过的穿刺之箭，一道闪烁在魂引之灯上的传送光芒，沉寂已久的LPL赛区再次铩羽而归。一次全球总决赛改变了无数人的命运，有人郁郁寡欢，转战他处，有人一蹶不振黯然退役，而林燃，正在尝试着走向自己的职业道路。林燃坚信黎明前的黑暗不会太久，因为他要用自己的方式撕碎黑暗，迎来破晓曙光。如果您喜欢什么叫游走型中单啊，别忘记分享给朋友...