陆远在食堂吃过饭之后，就背着自己的书包来到了图书馆。
合工大作为211大学，又是胖子生排行老二的大学，教育资源的倾斜是显而易见的。
这图书馆……真的够气派。
说实在的，这还是陆远第一次来图书馆。
虽然是大中午的，但是图书馆依然空无一席。
陆远找了好久，终于在3楼的位置上找到了一个空位。
坐在座位上，陆远掏出自己的笔记本电脑，以及一沓厚厚的草稿纸，继续研究‘布尔函数灵敏度猜想’。
上午回笼觉睡觉的时候，陆远梦中出现了一些跳动的数学字符。
他觉得，这些字符可能是自己不能完全看不懂‘布尔函数灵敏度猜想证明’的关键问题。
循着脑海中那些出现过的数学字符，陆远整个人也是慢慢的进入了状态。
布尔函数灵敏度猜想虽然是一个理论计算机学科的难题，对于数学的要求却是相当高。
这也可能就是，为何这个理论计算机难题，会接近三十多年时间还没有被人给破解开来。
抛开其研究的价值意义不谈，通常情况下数学好的人，计算机学科不一定好。
而计算机学科比较厉害的人，数学又不精通。
陆远的虽然计算机能力也是一般，好在‘布尔函数灵敏度猜想’涉及到的并不是非常深的计算机知识内容，而且陆远已经有了系统的参考答案。
当然。
别以为有了‘参考答案’，就很简单。
这不是小孩子过家家的高中高考数学题目的参考答案，这是一个遗留了30年的世界性难题。
