第(1/3)頁(yè)

    4000萬(wàn)人民幣么？

    好像挺多的，但寧為并沒(méi)有什么感覺(jué)。

    不對(duì)，并沒(méi)有這么多，扣完稅大概只剩兩千多萬(wàn)了，其實(shí)也不算很多。

    飄了……

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

    現(xiàn)在他馬上要離開(kāi)項(xiàng)目組了，再不提這個(gè)要求，大概沒(méi)機(jī)會(huì)了。

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

    “老韓？哦，到不是能不能的問(wèn)題，主要是他現(xiàn)在自己申請(qǐng)了一個(gè)項(xiàng)目，正在忙著，估計(jì)沒(méi)有時(shí)間來(lái)這邊。”陸昌斌答道。

    “哦？韓教授申請(qǐng)了個(gè)什么項(xiàng)目？能說(shuō)來(lái)聽(tīng)聽(tīng)嗎？”寧為挺好奇的問(wèn)道。

    雖然當(dāng)時(shí)這位韓教授挺不給他面子，但寧為卻對(duì)這位教授觀感其實(shí)還不錯(cuò)，也的確挺好奇這位教授選了個(gè)什么項(xiàng)目。

    “你對(duì)老韓的項(xiàng)目感興趣？你等等啊，我找一下他的開(kāi)題報(bào)告。”說(shuō)完，陸昌斌站起身，來(lái)到身后的文件柜，開(kāi)始尋找。

    很快韓教授的開(kāi)題報(bào)告被陸昌斌找了出來(lái)，遞給了寧為。

    寧為很仔細(xì)的看了一遍，果然很務(wù)實(shí)。

    韓教授的開(kāi)題是一個(gè)關(guān)于縮短隨機(jī)行走算法時(shí)間的課題，跟人工智能的方向也有聯(lián)系，比如這類算法就涉及到機(jī)器學(xué)習(xí)模型中的采樣速度問(wèn)題。

    但很有意思的是，這個(gè)命題恰好跟一個(gè)困擾了數(shù)學(xué)界多年的一個(gè)幾何問(wèn)題重疊。

    這個(gè)幾何問(wèn)題用日常語(yǔ)言簡(jiǎn)單描述就是如果有一個(gè)西瓜，用什么方法能把它平均一分為二，且還能讓它更長(zhǎng)時(shí)間的保持新鮮度？

    要讓果肉盡可能長(zhǎng)時(shí)間新鮮，起意思就是要讓果肉暴露在空氣中的面積最小，也就是這一刀下去，要讓切片的面積最小，這當(dāng)然是可以實(shí)現(xiàn)的。

    但這又可以引申出一個(gè)更高級(jí)的問(wèn)題，那就是三維的這一結(jié)果在高維空間是否也能成立。

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

    這就是在普通人群中并不算太著名但卻極具實(shí)用價(jià)值的KLS猜想問(wèn)題。

    生活中的三維空間這個(gè)命題其實(shí)很好理解。

    因?yàn)闊o(wú)論西瓜長(zhǎng)成什么樣，總不可能在每個(gè)角度都長(zhǎng)得如同細(xì)條。如果是長(zhǎng)形的西瓜，豎直一刀切下去，切面就會(huì)較小，當(dāng)然也可以用水平角度來(lái)切開(kāi)它，這樣切面就會(huì)大上許多。

    可如果放到更高維度，就不是這么簡(jiǎn)單了。

    但大家都很清楚，數(shù)學(xué)家天生就不是能讓人省心的主，對(duì)于一個(gè)問(wèn)題，他們總能從各種奇怪的角度來(lái)解讀。于是數(shù)學(xué)界又提出了一個(gè)命題，為什么切開(kāi)的西瓜要是平面？

    能不能找到用來(lái)平分這個(gè)西瓜的最小曲面面積是多少？

    這就是KLS猜想最為關(guān)注的問(wèn)題。

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

    所以現(xiàn)在韓教授真正要解決的問(wèn)題就是，找出在高維空間中這個(gè)凸的容器最細(xì)的地方到底能有多細(xì)。

    說(shuō)的更簡(jiǎn)單更粗暴就是要證明是否存在這么一個(gè)常數(shù)c，在任意維度這個(gè)常數(shù)c都是固定數(shù)值，如果有那么就說(shuō)明這個(gè)西瓜在高維空間不可能像一個(gè)啞鈴那樣，兩邊大，中間連接部分可以非常細(xì)。因?yàn)檫@個(gè)常數(shù)c決定了其形態(tài)不可能有那么細(xì)的連接部分。

    而如果無(wú)法證明這一點(diǎn)，那么一切就皆有可能，氣體分子可能會(huì)在高維空間下長(zhǎng)時(shí)間在容器的一側(cè)運(yùn)動(dòng)，很難到另一側(cè)去

    所以解決了這個(gè)問(wèn)題，就能對(duì)現(xiàn)有的計(jì)算機(jī)隨機(jī)行走時(shí)間相應(yīng)優(yōu)化。

    如果放到數(shù)學(xué)上，這個(gè)命題如果得到解決，就能加速了對(duì)近似凸體高維空間下的體積研究。

    但事實(shí)上這雖然是個(gè)幾何問(wèn)題，可之前關(guān)于這個(gè)問(wèn)題研究的突破，都是計(jì)算機(jī)界的科學(xué)家們做出的貢獻(xiàn)。

    早在九年前，就有一位計(jì)算機(jī)學(xué)家在研究這個(gè)問(wèn)題時(shí)利用隨機(jī)定位技術(shù)，來(lái)降低這個(gè)問(wèn)題的維度上界，但效果并不明顯。
    第(1/3)頁(yè)