手机浏览器扫描二维码访问
第12章 一道题目的证明答案（第1页）
出租屋内。
陆远等到李梦琪离开之后，将门关了起来，然后洗漱了一番。
这些天，如果补课时间晚了，陆远就不回学校了，直接在这里睡。
躺在床上，陆远目光看向天花板，然后凝神。
全息3D投影顿时出现。
陆远将目光看向了系统奖励的物品一栏。
在数学等级升到Lv3级的时候，系统奖励了一份‘图纸解析’，刚才陆远还没来得及去研究。
“系统，打开图纸解析。”
陆远默念一声，眼前全息投影变换出现了一行文字。
【布尔函数灵敏度猜想证明过程。】
？？？
陆远瞪大了眼睛。
作为一个非数学系学生，陆远不知道‘布尔函数’是什么鬼东西，但是他知道最基本的常识。
任何一个数学公式，一旦跟‘猜想’二字牵扯到关联，那它的难度等级，就要上升几个档次。
果不其然，当陆远看到解析图纸上的需要猜想的公式的时候，一句mmp破口而出。
这个猜想公式是这样的：
【存在一个多项式P，对所有布尔函数f，都成立bs（f）＜=P【s（f）】！】
公式很简单，也仅仅只有不到十来个数字符号。
但是，公式的所有字符陆远都认识，而这些字符一旦合起来，陆远则是有些看不懂了。
“这是自己现在数学Lv3级可以做的事情？”
“系统也太高看自己了吧。”
陆远一时间感觉到有些被冒犯，但又找不到任何证据。
“mmp的。”
“男人是不能被冒犯的，系统你摊上大事了。”
陆远顿时也是困意全无了，起身就打开了随身带着的笔记本电脑。
一番了解之后，陆远大概知道了眼前的这一份‘图纸解析’是什么玩意。
这确实是一道证明题的答案，这是在1992年，路撒冷希伯来大学的NoamNisan和现在罗格斯大学的MarioSzegedy提出了理论计算机界重要的猜想之一。
近三十年来，自然有很多自认为天才的人物去破解干掉这个猜想。
但是无疑全部都失败了。
布尔敏感函数猜想也成为了计算机学科近三十年来最重要、最令人困惑的开放性问题之一。
“系统，你这玩笑开大了。”
陆远嘴角轻笑，肾上腺激素却开始飙升，双手忍不住的颤抖了起来。
萌宝寻爱：破茧成蝶之旅 开局没了师尊，大师兄开始称霸 那年我双手插兜，统御最强宠兽 我被拍卖行裁员后，反手坑死老板 卡牌：我的数值在你之上 盗笔：麒麟的洪荒莲花 天地应物 重生不离婚，抱紧老公宠他吻他 穿越后我快乐修仙 穿书六零有空间，分家之后爽翻天 惊天大梦 抗战：我成了李云龙的顶头上司 退亲后，我嫁给了猎户 无敌皇竖子，拥兵百万！ 开着网约车唱着歌，女明星请上车 春花老太回七零，养鸡卖菜我最牛 遇见那星空 说好考古，你九龙拉棺纹身曝光了 六零，送女主空间的小崽崽不干了 网游：神级序列缔造者
不想跟大佬谈恋爱
在娱记行业讨生活的丛欣，因得罪影界大佬失了业。经朋友介绍，给明星当助理，谁知明星却是那位大佬。脾气火爆，报复心强的大佬，变着法折磨她，端茶倒水，洗衣做饭，充当司机不说，还要二十四小时随身伺候。为了钱，丛欣心里扎他小人，面上却谄媚不止。落在大佬眼里，认为她是喜欢他喜欢到不行。某天，看到她为别的男人情伤，大佬怒了，质问，你喜欢的不该是我吗？为何喜欢他？她又不是有病！如果您喜欢不想跟大佬谈恋爱，别忘记分享给朋友...
顾少的天价新娘
关于顾少的天价新娘谈了5年的渣渣男朋友要结婚，洛云舒是最后一个知道的。酒吧卖醉，却被狼狈下药。一场精心密谋的阴谋，她在逃跑途中闯入他的总统套房从此，一宠上瘾。洛云舒就这样一不小心招惹了洪夏市...
浮生与浪漫相伴
多年后时小念再遇见顾南城的时候，他身边站着温婉的妻子。而她却牵着一个钟灵敏秀的小姑娘。后来，时小念的耳边不断盘旋着这人低沉缱绻的嗓音念念，我想你的一切。她还来不及回应，就已经看见这人牵着妻子举案齐眉。...
至尊丹帝
★精华简介★阿里文学原创丹尊陆宇炼制仙丹失败，之后重生成为世家少主，有前世无数神功秘法和炼丹记忆，有今生重修打下的坚实基础，陆宇注定要踏出一条辉煌大路，踏丹道巅峰，名扬天下，美人倾心，斩破天地，逍遥长生。还有什么能够挡得住他的崛起？！...
超级护花兵王
关于超级护花兵王灯红酒绿的大都市，红唇诱惑，铁血兵王江南强势回归，卷入一条香艳而诡谲多变的商战之路。他拳打高富帅，坐拥白富美，敢问一句，还有谁不服？...
霸爱成瘾：穆总的天价小新娘
一场空难，她成了孤儿，他也是，但却是她父亲导致的。八岁的她被大十岁的他带回穆家，本以为那是他的善意，没想到，他是来讨债的。十年间，她一直以为他恨她，他的温柔可以给世间万物，唯独不会给她他不允许她如果您喜欢霸爱成瘾穆总的天价小新娘，别忘记分享给朋友...