手机浏览器扫描二维码访问
4000万人民币么?
好像挺多的,但宁为并没有什么感觉。
不对,并没有这么多,扣完税大概只剩两千多万了,其实也不算很多。
飘了……
其实宁为的心神却没完全放在钱的问题上,考虑着EDA项目终于找到归宿,他想起了这个项目刚立项时跟余兴伟一起立下的宏愿,等到他们证明这款EDA软件有现实意义了,再把那位韩教授请回来,让他码代码到秃头。
现在他马上要离开项目组了,再不提这个要求,大概没机会了。
一念至此,宁为便开口说道:“钱的事您看着办就行,到是我之前挑中的那位韩教授,不知道现在还能让他再回到咱们项目组吗?”
“老韩?哦,到不是能不能的问题,主要是他现在自己申请了一个项目,正在忙着,估计没有时间来这边。”陆昌斌答道。
“哦?韩教授申请了个什么项目?能说来听听吗?”宁为挺好奇的问道。
虽然当时这位韩教授挺不给他面子,但宁为却对这位教授观感其实还不错,也的确挺好奇这位教授选了个什么项目。
“你对老韩的项目感兴趣?你等等啊,我找一下他的开题报告。”说完,陆昌斌站起身,来到身后的文件柜,开始寻找。
很快韩教授的开题报告被陆昌斌找了出来,递给了宁为。
宁为很仔细的看了一遍,果然很务实。
韩教授的开题是一个关于缩短随机行走算法时间的课题,跟人工智能的方向也有联系,比如这类算法就涉及到机器学习模型中的采样速度问题。
但很有意思的是,这个命题恰好跟一个困扰了数学界多年的一个几何问题重叠。
这个几何问题用日常语言简单描述就是如果有一个西瓜,用什么方法能把它平均一分为二,且还能让它更长时间的保持新鲜度?
要让果肉尽可能长时间新鲜,起意思就是要让果肉暴露在空气中的面积最小,也就是这一刀下去,要让切片的面积最小,这当然是可以实现的。
但这又可以引申出一个更高级的问题,那就是三维的这一结果在高维空间是否也能成立。
用具体的数学语言描述就是,一个任意维度的凸体,如果用低一维的平面去平分,那么是否存在一个常数c,让凸体至少存在一个切面的面积大于c。
这就是在普通人群中并不算太著名但却极具实用价值的KLS猜想问题。
生活中的三维空间这个命题其实很好理解。
因为无论西瓜长成什么样,总不可能在每个角度都长得如同细条。如果是长形的西瓜,竖直一刀切下去,切面就会较小,当然也可以用水平角度来切开它,这样切面就会大上许多。
可如果放到更高维度,就不是这么简单了。
但大家都很清楚,数学家天生就不是能让人省心的主,对于一个问题,他们总能从各种奇怪的角度来解读。于是数学界又提出了一个命题,为什么切开的西瓜要是平面?
能不能找到用来平分这个西瓜的最小曲面面积是多少?
这就是KLS猜想最为关注的问题。
随着数学家进一步抽象,KLS猜想可以理解为这个西瓜在高维空间中的形状就是一个封装着气体的容器,找到最佳切面就是寻找到这个容器的瓶颈。想象一下吧,如果西瓜在高维空间变成一个哑铃形状的容器,里面有一个气体分子在其中随机运动,那么哑铃中间连接部分越细,分子就越难跑到另一侧。
所以现在韩教授真正要解决的问题就是,找出在高维空间中这个凸的容器最细的地方到底能有多细。
说的更简单更粗暴就是要证明是否存在这么一个常数c,在任意维度这个常数c都是固定数值,如果有那么就说明这个西瓜在高维空间不可能像一个哑铃那样,两边大,中间连接部分可以非常细。因为这个常数c决定了其形态不可能有那么细的连接部分。
而如果无法证明这一点,那么一切就皆有可能,气体分子可能会在高维空间下长时间在容器的一侧运动,很难到另一侧去
所以解决了这个问题,就能对现有的计算机随机行走时间相应优化。
如果放到数学上,这个命题如果得到解决,就能加速了对近似凸体高维空间下的体积研究。
但事实上这虽然是个几何问题,可之前关于这个问题研究的突破,都是计算机界的科学家们做出的贡献。
神秘高手龙潜花都,与冰山美女总裁签订婚约,但无奈被嫌弃。可怜的沈浪,只得外出觅食。不料一个个美女接踵而至,沈浪陷入各种桃运漩涡。当然,最主要的还是征服冰山女总裁。老婆大人霸道嚣张?我有法宝还不快快臣服在我的西装裤下。...
天降亿万古宅必有坑。继承老宅开心不到一秒,就被告知此宅欠了银行三百万!空降仙君必作妖!什么?你告诉我这宅子是专门引渡你们这些修仙学员下凡渡劫的?我还要帮你...
赫敬尧,你快哦,快一点?遵命!男人沙哑的回应,她不得不把放开我三个字咽了回去。婚前,赫敬尧向她保证,嫁给他以后她可以在后,...
岳母好女婿,求求你别离开我女儿岳风,把我们洗脚水倒了。什么岳家柳家岳风柳萱...
外表很清纯呆萌内心很污很邪恶的冯蓁蓁,代替基友去相亲,无意间却相错了人,然后还被某人羞辱吃干抹净。因为怀恨在心,冯蓁蓁设下一个圈套,弄得某人成为了全城的笑柄。迫于来自家族内部的压力,最终某人主动威胁冯蓁蓁契约结婚,而后ai昧不断温馨不断爽点不断...
李子秀,那个被称之为最强的男人。有的人觉得他很秀,有人认为他是操作帝,还有人说他是脚本怪。玩家们在跟风他的操作,战队在研究他的战术。他礼貌斯文,是背锅抗压吧老哥的精神领袖。他拥有盛世美颜,是电竞外貌协会最大的遮羞布。他一刀一个LCK顶级选手,是新一代抗韩掌门人。渐渐地,人们开始称呼他为‘李哥’。他也喜欢‘吨吨吨’地...