4000萬人民幣么？

    不對，并沒有這么多，扣完稅大概只剩兩千多萬了，其實也不算很多。

    其實寧為的心神卻沒完全放在錢的問題上，考慮著EDA項目終于找到歸宿，他想起了這個項目剛立項時跟余興偉一起立下的宏愿，等到他們證明這款EDA軟件有現實意義了，再把那位韓教授請回來，讓他碼代碼到禿頭。

    一念至此，寧為便開口說道：“錢的事您看著辦就行，到是我之前挑中的那位韓教授，不知道現在還能讓他再回到咱們項目組嗎？”

    “哦？韓教授申請了個什么項目？能說來聽聽嗎？”寧為挺好奇的問道。

    “你對老韓的項目感興趣？你等等啊，我找一下他的開題報告。”說完，陸昌斌站起身，來到身后的文件柜，開始尋找。

    寧為很仔細的看了一遍，果然很務實。

    但很有意思的是，這個命題恰好跟一個困擾了數學界多年的一個幾何問題重疊。

    要讓果肉盡可能長時間新鮮，起意思就是要讓果肉暴露在空氣中的面積最小，也就是這一刀下去，要讓切片的面積最小，這當然是可以實現的。

    用具體的數學語言描述就是，一個任意維度的凸體，如果用低一維的平面去平分，那么是否存在一個常數 c，讓凸體至少存在一個切面的面積大于 c。

    生活中的三維空間這個命題其實很好理解。

    可如果放到更高維度，就不是這么簡單了。

    能不能找到用來平分這個西瓜的最小曲面面積是多少？

    隨著數學家進一步抽象，KLS 猜想可以理解為這個西瓜在高維空間中的形狀就是一個封裝著氣體的容器，找到最佳切面就是尋找到這個容器的瓶頸。想象一個，如果西瓜變成一個啞鈴形狀的容器，里面有一個氣體分子在其中隨機運動，那么啞鈴中間連接部分越細，分子就越難跑到另一側。

    說的更簡單更粗暴就是要證明是否存在這么一個常數c，在任意維度這個常數c都是固定數值，如果有那么就說明這個西瓜在高維空間不可能像一個啞鈴那樣，兩邊大，中間連接部分可以非常細。因為這個常數c決定了其形態不可能有那么細的連接部分。

    所以解決了這個問題，就能對現有的計算機隨機行走時間相應優化。

    但事實上這雖然是個幾何問題，可之前關于這個問題研究的突破，都是計算機界的科學家們做出的貢獻。

    到了六年前華盛頓大學的兩位博士改進了前人的隨機定位技術，進一步將KLS因子，也就是用于描述瓶頸是否存在的因子，降低到了維度的四次根。