手机浏览器扫描二维码访问
第12章 一道题目的证明答案（第1页）
出租屋内。
陆远等到李梦琪离开之后，将门关了起来，然后洗漱了一番。
这些天，如果补课时间晚了，陆远就不回学校了，直接在这里睡。
躺在床上，陆远目光看向天花板，然后凝神。
全息3D投影顿时出现。
陆远将目光看向了系统奖励的物品一栏。
在数学等级升到Lv3级的时候，系统奖励了一份‘图纸解析’，刚才陆远还没来得及去研究。
“系统，打开图纸解析。”
陆远默念一声，眼前全息投影变换出现了一行文字。
【布尔函数灵敏度猜想证明过程。】
？？？
陆远瞪大了眼睛。
作为一个非数学系学生，陆远不知道‘布尔函数’是什么鬼东西，但是他知道最基本的常识。
任何一个数学公式，一旦跟‘猜想’二字牵扯到关联，那它的难度等级，就要上升几个档次。
果不其然，当陆远看到解析图纸上的需要猜想的公式的时候，一句mmp破口而出。
这个猜想公式是这样的：
【存在一个多项式P，对所有布尔函数f，都成立bs（f）＜=P【s（f）】！】
公式很简单，也仅仅只有不到十来个数字符号。
但是，公式的所有字符陆远都认识，而这些字符一旦合起来，陆远则是有些看不懂了。
“这是自己现在数学Lv3级可以做的事情？”
“系统也太高看自己了吧。”
陆远一时间感觉到有些被冒犯，但又找不到任何证据。
“mmp的。”
“男人是不能被冒犯的，系统你摊上大事了。”
陆远顿时也是困意全无了，起身就打开了随身带着的笔记本电脑。
一番了解之后，陆远大概知道了眼前的这一份‘图纸解析’是什么玩意。
这确实是一道证明题的答案，这是在1992年，路撒冷希伯来大学的NoamNisan和现在罗格斯大学的MarioSzegedy提出了理论计算机界重要的猜想之一。
近三十年来，自然有很多自认为天才的人物去破解干掉这个猜想。
但是无疑全部都失败了。
布尔敏感函数猜想也成为了计算机学科近三十年来最重要、最令人困惑的开放性问题之一。
“系统，你这玩笑开大了。”
陆远嘴角轻笑，肾上腺激素却开始飙升，双手忍不住的颤抖了起来。
开局没了师尊，大师兄开始称霸 惊天大梦 开着网约车唱着歌，女明星请上车 遇见那星空 重生不离婚，抱紧老公宠他吻他 盗笔：麒麟的洪荒莲花 卡牌：我的数值在你之上 退亲后，我嫁给了猎户 穿书六零有空间，分家之后爽翻天 穿越后我快乐修仙 萌宝寻爱：破茧成蝶之旅 说好考古，你九龙拉棺纹身曝光了 天地应物 网游：神级序列缔造者 我被拍卖行裁员后，反手坑死老板 那年我双手插兜，统御最强宠兽 六零，送女主空间的小崽崽不干了 抗战：我成了李云龙的顶头上司 无敌皇竖子，拥兵百万！ 春花老太回七零，养鸡卖菜我最牛
重生农家小娘子
现代警校霸王花许娇穿越成好吃懒做，人人讨厌的农家女。有宠女成魔的亲娘，一大堆的穷困潦倒又难缠的家族成员，还有一个超级腹黑且不待见她的未婚夫！这日子咋过？不能过，也要过。看许娇改变自己，变成真善美代表，全村的村花，带领大家走上种田致富的道路！撕X斗极品，能打能杠，能撩夫如果您喜欢重生农家小娘子，别忘记分享给朋友...
神级狩魔人
玩家魂穿巫师世界，经历怪兽魔法战争洗礼，从猎魔人学徒成就大宗师，那时他才发现一切真正开始。...
秀才的彪悍小娘子
关于秀才的彪悍小娘子穿成农家女，爹娘短命，继祖母凶狠，张蕊蕊被逼寻死，却被村长一家所救。恶毒亲人挑事，极品邻居捣乱。张蕊蕊唯有彪悍应对，这个文弱的小秀才却说，让我来护你平安。...
千万不要招惹我
原本只是想安分守己当个加班设计狗，怎么就搞上事情了？原本只是想善心突发救个人，怎么就捡回个男朋友？原本只是谈个恋爱，撒撒狗粮，怎么就要被绑去结婚？我去，你给我这堆瓶瓶罐罐闹哪样？小女子不善用毒！那个，牧家九爷，你过来，惹了我还想跑吗？如果您喜欢千万不要招惹我，别忘记分享给朋友...
末日之随身空间
突然有一天，死党秦菲菲告知，她是从末日重生归来，为了再次迎接末日，秦菲菲和云歆开始找金手指，买种子，准备食材和武器只是坑爹的，末日降临，这个随身空间居然神秘消失没法，只得拿钱菜刀当武器，平底锅当防具，开门冲出去和丧尸硬碰硬，阿门，保佑我不要成为炮灰！当末日来临，大小姐秦菲菲和宅女云歆开启了扮猪吃老虎的另类末日人生。（纯属书荒，又来开坑，写的不好，请多多包容！）如果您喜欢末日之随身空间，别忘记分享给朋友...
乡村透视小神棍
关于乡村透视小神棍夏明被打下山崖，却因祸得福有了异能，从此能断阴阳，炼虫蛊，治百病，察气数，美女找他看命，富婆找他减肥。看小神棍如何带领乡亲们致富，如何疯狂崛起...