问题,他们总能从各种奇怪的角度来解读。于是数学界又提出了一个命题,为什么切开的西瓜要是平面?
能不能找到用来平分这个西瓜的最小曲面面积是多少?
这就是KLS猜想最为关注的问题。
随着数学家进一步抽象,KLS猜想可以理解为这个西瓜在高维空间中的形状就是一个封装着气体的容器,找到最佳切面就是寻找到这个容器的瓶颈。想象一个,如果西瓜变成一个哑铃形状的容器,里面有一个气体分子在其中随机运动,那么哑铃中间连接部分越细,分子就越难跑到另一侧。
所以现在韩教授真正要解决的问题就是,找出在高维空间中这个凸的容器最细的地方到底能有多细。
说的更简单更粗暴就是要证明是否存在这么一个常数c,在任意维度这个常数c都是固定数值,如果有那么就说明这个西瓜在高维空间不可能像一个哑铃那样,两边大,中间连接部分可以非常细。因为这个常数c决定了其形态不可能有那么细的连接部分。
而如果无法证明这一点,那么一切就皆有可能,气体分子可能会在高维空间下长时间在容器的一侧运动,很难到另一侧去
所以解决了这个问题,就能对现有的计算机随机行走时间相应优化。
如果放到数学上,这个命题如果得到解决,就能加速了对近似凸体高维空间下的体积研究。
但事实上这虽然是个几何问题,可之前关于这个问题研究的突破,都是计算机界的科学家们做出的贡献。
早在九年前,就有一位计算机学家在研究这个问题时利用随机定位技术,来降低这个问题的维度上界,但效果并不明显。
到了六年前华盛顿大学的两位博士改进了前人的随机定位技术,进一步将KLS因子,也就是用于描述瓶颈是否存在的因子,降低到了维度的四次根。
如果他们能将唯独的幂指数降低到几乎为0,那么这个数的0次幂总是等于1,也就证明了KLS因子是一个与维度无关的常数,从而彻底终结这个问题,这两位也的确尝试过,但最终没能成功,其证明过程被证明是错误的,所以只是给后人留下了一些可供借鉴的想法。
现在韩教授申请的课题就是解决这个问题。
对于其他人来说这只是一份普普通通的开题报告,但在宁为看过之后,突然脑子里灵光一闪,因为他发现这个问题完全可以用他最近刚刚梳理过一遍的统计学知识来解决。
是的,不需要用代数几何、也不需要太高深的计算机技术,只需要用到统计学的内容,就能解决这道难题。而如果解决掉这个问题,他的统计学毕业论文也能完成了,同时老韩大概近期也就无事可做了,正好能遂了他的心意重新加入EDA项目组。
是的,这
请收藏:https://m.biaa.cc
(温馨提示:请关闭畅读或阅读模式,否则内容无法正常显示)