這就是KLS猜想最為關注的問題。
隨著數學家進一步抽象，KLS猜想可以理解為這個西瓜在高維空間中的形狀就是一個封裝著氣體的容器，找到最佳切面就是尋找到這個容器的瓶頸。想象一個，如果西瓜變成一個啞鈴形狀的容器，里面有一個氣體分子在其中隨機運動，那么啞鈴中間連接部分越細，分子就越難跑到另一側。
所以現在韓教授真正要解決的問題就是，找出在高維空間中這個凸的容器最細的地方到底能有多細。
說的更簡單更粗暴就是要證明是否存在這么一個常數c，在任意維度這個常數c都是固定數值，如果有那么就說明這個西瓜在高維空間不可能像一個啞鈴那樣，兩邊大，中間連接部分可以非常細。因為這個常數c決定了其形態不可能有那么細的連接部分。
而如果無法證明這一點，那么一切就皆有可能，氣體分子可能會在高維空間下長時間在容器的一側運動，很難到另一側去
所以解決了這個問題，就能對現有的計算機隨機行走時間相應優化。
如果放到數學上，這個命題如果得到解決，就能加速了對近似凸體高維空間下的體積研究。
但事實上這雖然是個幾何問題，可之前關于這個問題研究的突破，都是計算機界的科學家們做出的貢獻。
早在九年前，就有一位計算機學家在研究這個問題時利用隨機定位技術，來降低這個問題的維度上界，但效果并不明顯。
到了六年前華盛頓大學的兩位博士改進了前人的隨機定位技術，進一步將KLS因子，也就是用于描述瓶頸是否存在的因子，降低到了維度的四次根。
如果他們能將唯獨的冪指數降低到幾乎為0，那么這個數的0次冪總是等于1，也就證明了KLS因子是一個與維度無關的常數，從而徹底終結這個問題，這兩位也的確嘗試過，但最終沒能成功，其證明過程被證明是錯誤的，所以只是給后人留下了一些可供借鑒的想法。
現在韓教授申請的課題就是解決這個問題。
對于其他人來說這只是一份普普通通的開題報告，但在寧為看過之后，突然腦子里靈光一閃，因為他發現這個問題完全可以用他最近剛剛梳理過一遍的統計學知識來解決。
是的，不需要用代數幾何、也不需要太高深的計算機技術，只需要用到統計學的內容，就能解決這道難題。而如果解決掉這個問題，他的統計學畢業論文也能完成了，同時老韓大概近期也就無事可做了，正好能遂了他的心意重新加入EDA項目組。
是的，這一刻寧為只覺得這個世界有些事情太巧了。
遍尋了好久的畢業論文命題，竟然因為之前跟余興偉一次隨口的約定，然后要來了一個開題報告就解決了。
不說別的，如果他此時大腦內的構思經得起驗證，數學界又的確還沒解決這個猜想的話，那么這篇論文別說SCI一區了，再發個頂刊似乎問題也不大。
更重要的是，實驗室好像又能多個成果了。
寧為下意識的看了看韓教授申請的經費，三十萬。
“額，陸教授，我突然想到點急事，先回寢室了。其他事情就按照您考慮的辦吧，我都沒問題。”寧為說道，順手將韓教授的開題報告放回到陸昌斌的桌上。
“啊？急事？”陸昌斌有些疑惑，這小家伙剛剛還在不緊不慢的看著老韓的報告，怎么突然就有急事了？
“對呀，很急。”寧為道。
“行，那你趕緊去吧。”陸昌斌連忙道。
“那陸教授再見。”
……