第12章 一道题目的证明答案（第1页）
出租屋内。
陆远等到李梦琪离开之后，将门关了起来，然后洗漱了一番。
这些天，如果补课时间晚了，陆远就不回学校了，直接在这里睡。
躺在床上，陆远目光看向天花板，然后凝神。
全息3d投影顿时出现。
陆远将目光看向了系统奖励的物品一栏。
在数学等级升到lv3级的时候，系统奖励了一份‘图纸解析’，刚才陆远还没来得及去研究。
“系统，打开图纸解析。”
陆远默念一声，眼前全息投影变换出现了一行文字。
【布尔函数灵敏度猜想证明过程。】
？？？
陆远瞪大了眼睛。
作为一个非数学系学生，陆远不知道‘布尔函数’是什么鬼东西，但是他知道最基本的常识。
任何一个数学公式，一旦跟‘猜想’二字牵扯到关联，那它的难度等级，就要上升几个档次。
果不其然，当陆远看到解析图纸上的需要猜想的公式的时候，一句p破口而出。
这个猜想公式是这样的：
【存在一个多项式p，对所有布尔函数f，都成立bs（f）＜=p【s（f）】！】
公式很简单，也仅仅只有不到十来个数字符号。
但是，公式的所有字符陆远都认识，而这些字符一旦合起来，陆远则是有些看不懂了。
“这是自己现在数学lv3级可以做的事情？”
“系统也太高看自己了吧。”
陆远一时间感觉到有些被冒犯，但又找不到任何证据。
“p的。”
“男人是不能被冒犯的，系统你摊上大事了。”
陆远顿时也是困意全无了，起身就打开了随身带着的笔记本电脑。
一番了解之后，陆远大概知道了眼前的这一份‘图纸解析’是什么玩意。
这确实是一道证明题的答案，这是在1992年，路撒冷希伯来大学的noanisan和现在罗格斯大学的arioszedy提出了理论计算机界重要的猜想之一。
近三十年来，自然有很多自认为天才的人物去破解干掉这个猜想。
但是无疑全部都失败了。
布尔敏感函数猜想也成为了计算机学科近三十年来最重要、最令人困惑的开放性问题之一。
“系统，你这玩笑开大了。”
陆远嘴角轻笑，肾上腺激素却开始飙升，双手忍不住的颤抖了起来。
请勿开启浏览器阅读模式，否则将导致章节内容缺失及无法阅读下一章。
卧底仙门，开局遇到氪金狗 流华录 快穿：炮灰在主神怀里撩翻车了 换名选秀后，庶女成了四爷嫡福晋 叶少你好,我是你妈指定的老婆！ 猪肉西施她，干活比杀猪还丝滑！ 什么？让我上天找个仙子当媳妇 冰水烈火 今天李雨箫又被催婚了吗 师傅让我捉妖，我跟狐狸好上了 赛博朋克传奇雇佣兵 只要胆子大，仙女放产假 胜天半子，我祁同伟回来了 被骂拖油瓶，福宝被五个舅舅宠翻 应是梨花处处开 在爱情公寓的咸鱼日常 神豪被绿后获得白嫖返现系统 难以招架！人间佛子跪着求亲亲 主母和离后，侯爷勾她上位 神奇宝贝琰旅
大姐进城：九零致富之路
...
男主的自我修养
穿越到自己写的书里，换做任何人都会欣喜若狂，可温亦谦却有点慌。早知道我就不写黑暗文了，随便出个门都能遇到几个变态杀人狂，这谁顶得住啊s黑暗风，沙雕向。...
重生甜妻在八零
前世，她另有所爱只顾着躲他，不惜顶着私奔的恶名离开他，直到被她爱的人亲手推入火海。今生，她惩治渣男，手撕白莲，步步为营，毕生的目标只是牢牢抓住他。顾长卿我媳妇温柔娴淑，我们家我说了算。众属下悄咪咪提醒搓衣板了解一下。许甜我听说咱家你说了算？顾长卿老婆说话的时候，我闭嘴。各位书友要是觉得重生甜妻在八零还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！...
明末匪事
崇祯元年，陕西大旱崇祯二年，陕西大旱崇祯三年，陕西大旱崇祯四年，陕西大旱…有完没完？还真没完。要知道这场大旱是中国乃至人类历史上少有的，其持续时间之长受旱范围之大，为近五百年所未见。五百年？孙悟空都从五指山下出来西游了，顽石已长满青苔，沧海都变成桑田了，这么绝的事情咋就让明末陕西百姓给遇上了。灾荒时间长了，地主也没余粮，皇帝也没闲钱，不征税紫禁城就得关门。啥也不说了，该征税的还得征，陕西也不能例外。奶奶的，都这样了还要收税，让人活不？陕西百姓经过一番深入的思想斗争，联系一下当下国内的基本形势并结合本地区的区域特点，广大民众决定起义，理想远大的当起义军，理想一般的当土匪。好了，大环境就这样，提起刀开始干活吧！小说交流群号456361091各位书友要是觉得明末匪事还不错的话请不要忘记向您QQ群和微博里的朋友推荐哦！...
招财猫崽崽坏心眼可多了
预收顶流的替身前妻会通灵求收藏苏锦霓是福德寺供奉的一只瓷做招财猫。意外穿越，成了被寄养道观的四岁女童。小道观破破烂烂四处漏风，穷得连香火都没有。眼看就要朝不保夕，她一捏小猫爪，要不要不还...
重生八零之不做圣母
上辈子余喜龄年纪轻轻便罹患癌症身亡，父兄皆在，却仿若孤家寡人。报恩奉献这些词伴随了她的一生，为了报恩年仅四岁的幼妹夭折，母亲病逝，到最后她的身体也被拖累至死。重生到十二岁这年，余喜龄决定自私一回，管...