出租屋内。
陆远等到李梦琪离开之后,将门关了起来,然后洗漱了一番。
这些天,如果补课时间晚了,陆远就不回学校了,直接在这里睡。
躺在床上,陆远目光看向天花板,然后凝神。
全息3d投影顿时出现。
陆远将目光看向了系统奖励的物品一栏。
在数学等级升到lv3级的时候,系统奖励了一份‘图纸解析’,刚才陆远还没来得及去研究。
“系统,打开图纸解析。”
陆远默念一声,眼前全息投影变换出现了一行字。
【布尔函数灵敏度猜想证明过程。】
???
陆远瞪大了眼睛。
作为一个非数学系学生,陆远不知道‘布尔函数’是什么鬼东西,但是他知道最基本的常识。
任何一个数学公式,一旦跟‘猜想’二字牵扯到关联,那它的难度等级,就要上升几个档次。
果不其然,当陆远看到解析图纸上的需要猜想的公式的时候,一句p破口而出。
这个猜想公式是这样的:
【存在一个多项式p,对所有布尔函数f,都成立(f)<=p【s(f)】!】
公式很简单,也仅仅只有不到十来个数字符号。
但是,公式的所有字符陆远都认识,而这些字符一旦合起来,陆远则是有些看不懂了。
“这是自己现在数学lv3级可以做的事情?”
“系统也太高看自己了吧。”
陆远一时间感觉到有些被冒犯,但又找不到任何证据。
“p的。”
“男人是不能被冒犯的,系统你摊上大事了。”
陆远顿时也是困意全无了,起身就打开了随身带着的笔记本电脑。
一番了解之后,陆远大概知道了眼前的这一份‘图纸解析’是什么玩意。
这确实是一道证明题的答案,这是在1992年,路撒冷希伯来大学的na nisan和现在罗格斯大学的ari szed提出了理论计算机界重要的猜想之一。
近三十年来,自然有很多自认为天才的人物去破解干掉这个猜想。
但是无疑全部都失败了。
布尔敏感函数猜想也成为了计算机学科近三十年来最重要、最令人困惑的开放性问题之一。
“系统,你这玩笑开大了。”
陆远嘴角轻笑,肾上腺激素却开始飙升,双手忍不住的颤抖了起来。
作为一个被系统选中的男人,陆远自然不可能一辈子沉浸在教学上面。
系统奖励的那上万道小学奥数,高中数学题目,虽然量大。
但是不管饱啊。
他陆远是一个大学生,眼光自然不会仅限于此。