科技之锤第259部分在线阅读

因为无论西瓜长成什么样，总不可能在每个角度都长得如同细条。如果是长形的西瓜，竖直一刀切下去，切面就会较小，当然也可以用水平角度来切开它，这样切面就会大上许多。
可如果放到更高维度，就不是这么简单了。
但大家都很清楚，数学家天生就不是能让人省心的主，对于一个问题，他们总能从各种奇怪的角度来解读。于是数学界又提出了一个命题，为什么切开的西瓜要是平面？
能不能找到用来平分这个西瓜的最小曲面面积是多少？
这就是KLS猜想最为关注的问题。
随着数学家进一步抽象，KLS
猜想可以理解为这个西瓜在高维空间中的形状就是一个封装着气体的容器，找到最佳切面就是寻找到这个容器的瓶颈。想象一个，如果西瓜变成一个哑铃形状的容器，里面有一个气体分子在其中随机运动，那么哑铃中间连接部分越细，分子就越难跑到另一侧。
所以现在韩教授真正要解决的问题就是，找出在高维空间中这个凸的容器最细的地方到底能有多细。
说的更简单更粗暴就是要证明是否存在这么一个常数c，在任意维度这个常数c都是固定数值，如果有那么就说明这个西瓜在高维空间不可能像一个哑铃那样，两边大，中间连接部分可以非常细。因为这个常数c决定了其形态不可能有那么细的连接部分。
而如果无法证明这一点，那么一切就皆有可能，气体分子可能会在高维空间下长时间在容器的一侧运动，很难到另一侧去
所以解决了这个问题，就能对现有的计算机随机行走时间相应优化。
如果放到数学上，这个命题如果得到解决，就能加速了对近似凸体高维空间下的体积研究。
但事实上这虽然是个几何问题，可之前关于这个问题研究的突破，都是计算机界的科学家们做出的贡献。
早在九年前，就有一位计算机学家在研究这个问题时利用随机定位技术，来降低这个问题的维度上界，但效果并不明显。
到了六年前华盛顿大学的两位博士改进了前人的随机定位技术，进一步将KLS因子，也就是用于描述瓶颈是否存在的因子，降低到了维度的四次根。
如果他们能将唯独的幂指数降低到几乎为0，那么这个数的0次幂总是等于1，也就证明了KLS因子是一个与维度无关的常数，从而彻底终结这个问题，这两位也的确尝试过，但最终没能成功，其证明过程被证明是错误的，所以只是给后人留下了一些可供借鉴的想法。
现在韩教授申请的课题就是解决这个问题。
对于其他人来说这只是一份普普通通的开题报告，但在宁为看过之后，突然脑子里灵光一闪，因为他发现这个问题完全可以用他最近刚刚梳理过一遍的统计学知识来解决。
是的，不需要用代数几何、也不需要太高深的计算机技术，只需要用到统计学的内容，就能解决这道难题。而如果解决掉这个问题，他的统计学毕业论也能完成了，同时老韩大概近期也就无事可做了，正好能遂了他的心意重新加入EDA项目组。
是的，这一刻宁为只觉得这个世界有些事情太巧了。
遍寻了好久的毕业论命题，竟然因为之前跟余兴伟一次随口的约定，然后要来了一个开题报告就解决了。
不说别的，如果他此时大脑内的构思经得起验证，数学界又的确还没解决这个猜想的话，那么这篇论别说SCI一区了，再发个顶刊似乎问题也不大。
更重要的是，实验室好像又能多个成果了。
宁为下意识的看了看韩教授申请的经费，三十万。
“额，陆教授，我突然想到点急事，先回寝室了。其他事情就按照您考虑的办吧，我都没问题。”宁为说道，顺手将韩教授的开题报告放回到陆昌斌的桌上。
“啊？急事？”陆昌斌有些疑惑，这小家伙刚刚还在不紧不慢的看着老韩的报告，怎么突然就有急事了？
“对呀，很急。”宁为道。
“行，那你赶紧去吧。”陆昌斌连忙道。
“那陆教授再见。”
宁为匆匆赶回寝室，寝室里三个人也正在桌前看书的看书，写论的写论。
没办法，985大学毕业这最后一关真不是那么好过的，尤其是对于本来便对数学不太感兴趣的学渣来说，写论有时候真需要一个公式一个公式的去查，一页书一页书的翻，更可气的是还经常找不到要用的知识点。
好在几个人心里都有点数，没让宁为指导什么，自己不思考，答辩那关过不了，更恶心。
跟室友们打了声招呼，宁为唤醒了电脑。
这些天在寝室里，三月这只虚拟小奶猫已经成功获得了寝室里几个人的喜爱，尤其是这只奶猫急眼时，瞪着眼睛唬人的模样，特别受欢迎。
不过跟余兴伟一样，另外三个人没谁把三月当成一个智能展示的程序看待，只是将它当成宁为在实验室里一个人住无聊时，开发的一个宠物小程序。
徐瑞轩还提过把程序拷贝到他电脑上，给许墨一个惊喜，但直接被宁为拒绝后，便也绝了这心思。
宁为偶尔会对着三月说话，也被三人当做是学神的一种派遣。
毕竟能力出众的家伙，有点怪癖多少是能被理解的。
比如宁为他不止有逗虚拟猫的怪癖，还有藏拙的怪癖，而且一藏就是三年。
这是三个人在宁为住在实验室时每天晚上一起夜谈会时候探讨出的结论。
毕竟他们无法接受宁为突然开窍的事实，最合理的解释就是这三年里，宁为一直用他高智商的头脑，跟极具洞察力且包含关爱的目光，默默注视着三个智障，并努力的将其智商压制到能完美融入他们。