第574章 闲着蛋疼的数学家们(1/2)
既然决定接下来就要开始研究杨-米尔斯质量间隙问题了。
那么首先要做的,自然就是要先去查阅和了解一下,目前全球学术界对于这个千禧年难题的研究进度和文献情况。
不过,林叶环顾了一圈自己这间豪华宽敞的院长办公室,有些无奈地耸了耸肩。
办公室虽然气派,但刚刚才剪完彩,除了一套崭新的办公桌椅和真皮沙发,连台能连网查数据的电脑都没有。
订购的电脑之类的设备,大概还过一个周左右才会陆续搬进来组装。
「看来,今天还先回数院那边的老办公室干活了。」
于是林叶便直接起身,然后推开门走出了办公室。
刚走到走廊的拐角处,他就听到前方传来了一阵激烈的讨论声。
擡眼看去,只见未名研究院那五位搞纯粹数学的内核研究员,此时正凑在一起,围着走廊墙壁上挂着的一块巨大黑板,激烈地争论着什么。
这种随时随地供研究员们用来写算式,讨论灵感的走廊黑板,在各种顶尖的科研机构里很常见,所以自然而然也成为了他们未名研究院的标配。
看着这帮数学家们第一天就进入了状态,围在黑板前吵面红耳赤。
林叶不由在心中暗自感慨了一声。 这才是最纯粹的学术该有的模样啊!
没有那些繁文缛节,只有对真理的探讨。
不过,林叶也稍微有些好了。
他们这五位数学研究员,平时的主攻方向可谓是天差地别,有搞代数几何的,有搞数论的,还有研究偏微分方程的。
到底是什么问题,能够把这五个研究方向不尽相同的人,给全都吸引到同一块黑板面前来共同讨论?
带着一丝好,林叶也凑了过去。
这五个人此刻正讨论热火朝天,一个个都盯着黑板上的结构图,谁也没有注意到大老板已经站在了身后。
林叶站在后面听了一会儿,再结合黑板上画着的那些线条和分析,他脸上的表情顿时变有些古怪,逐渐明白了这帮人在搞什么名堂。
原来,他们讨论的根本不是什么纯数学的问题,而是关于他们这栋大楼的地下计算中心冷却管道与全楼光纤的最优排布问题。
这栋研究院大楼在设计的时候,为了采光和美观,中间搞了一个复杂的下沉式中庭和悬浮廊桥。
这就导致整栋楼的内部空间,从数学的角度来看,不再是一个简单的几何体,而是一个拥有好几个洞的复杂拓扑空间。
现在,这帮闲蛋疼的数学家们,正在试图用图论和组合优化的算法,去计算怎么排布那些给超级计算机散热的冷凝管道,才能保证管线最短,且绝对不发生空间干涉交叉。 「不对不对,你这个算法在二楼悬空层那里肯定会发生组合爆炸的。」邓宇拿着粉笔,在黑板上画了个叉,「节点太多了,而且这里是个非凸空间,用经典的旅行商问题算法去套,算力根本不够。」
:
「那用图论的贪心算法去剪枝呢?」另一位研究员提议。
「也不行,剪枝会漏掉最优解……」
几个人在黑板上列了一大堆复杂的图论矩阵,结果越算越乱,最后几个人大眼瞪小眼,讨论的声音渐渐变小,全都被这个复杂的空间结构给卡陷入了沉默。
「咳咳。」
就在大家一片安静的时候,林叶终于忍不住咳嗽了一声。
「谁?!」
五个人正全神贯注呢,冷不丁被这声音吓了一跳,猛地回过头。
当看清站在身后,正面带笑意看着他们的林叶时,五个人顿时老脸一红。
「林……林院长!」
「林神,您怎么走路都没声音的。」 几个人赶紧有些局促地打起了招呼,毕竟上班第一天,放着正经课题不研究,在这儿算大楼的水管怎么铺,多少有点不务正业的嫌疑。
看着他们拘谨的样子,林叶笑着摆了摆手:「行了,别这么拘谨,虽然我是院长,但这研究院里现在也就咱们这些人,平时怎么舒服怎么来,正常相处就行了。」
听到林叶这番接地气的话,几位研究员也都放松地笑了起来。
王红看着林叶,眼珠子一转,指着黑板上的乱麻问道:「林院长,既然你来了,你对咱们这个排布问题有什么看法?我们刚才用组合数学算快吐血了,我总觉,这个问题如果用拓扑学的方法来解决,好像会更好一些?」
其他人一听,也是纷纷点头附和。
「是啊,这个空间结构太恶心了。」
「以林院长在拓扑学方面登峰造极的能力,解决这个肯定很容易吧?」
林叶如今在拓扑方面的能力,也是早就在数学界传遍了。
特别是他最近的不少成果都和拓扑有关系,这都能让人感受到他在拓扑领域深不可测的实力。
而看着黑板上那些密密麻麻的组合图论矩阵,林叶也是哑然失笑。
「你们啊,这是典型的杀鸡用牛刀,把简单问题给复杂化了。」
林叶走上前,从旁边拿过了一根粉笔,随后看着黑板上的大楼结构平面图,说道:「不要把它看成一根根具体的水管和网线,也不要去算什么节点,你们既然知道这栋楼是一个带洞的空间,为什么不直接把它整体看作是一个流形呢?」 「在拓扑学的视角里,水管的最优路径,不就是流形表面上的测地线吗?」
说着,林叶手中的粉笔在黑板空白处落下。
他没有去碰那些复杂的矩阵,而是直接写下了一个拓扑不变量公式。
:
【计算建筑流形m的欧拉示性数x(m)...】
【将其同胚映射为一个亏格为的多孔曲面,求解其一维同调群1(m,z)的最短非零循环...】
林叶一边写,一边解释着:「把三维的物理阻碍,直接降维映射到二维的黎曼曲面上,寻找最短且不相交的管道,本质上就是求解这个曲面上的同调等价类。」
仅仅写了几行精简的拓扑方程。
林叶就在最后画了个等号,直接出了一个最优解的精确常数,然后随手把粉笔扔回了粉笔槽里。
「搞定。」
看着黑板上那仅仅只用了几行拓扑公式,就将他们刚才那写满黑板的矩阵给秒杀的推导过程。
走廊里的五位数学家,全都看傻了眼。 「卧槽……」
不知道是谁咽了口唾沫,小声嘀咕了一句。
用拓扑同调群去给水管做路径规划?
这种数学技巧,让他们这帮搞纯数学的人看简直是通体舒畅。
「太妙了……」邓宇看着公式,忍不住惊叹出声,「用同调群避开节点,这思路真的太绝了。」
其他人也都忍不住点点头。
当然,这些其实都只是最其次的。
这个问题,显然是不可能真的把他们五个人都给难住。
但最重要的是解决问题的时间,林叶这才来他们这里多久,就直接把问题给解决了?
要让他们来解决的话,就算用不到一个周,但是两三天也总有吧?
这个问题也确实算是比较麻烦的问题了。
在众人的惊叹声中,林叶拍了拍手上的粉笔灰,笑着说道:「行了,问题解决了,当然方法肯定不会只有一种,你们应该还可以用别的方法来解决,可以继续讨论讨论。」 「我就准备先走了,这会儿准备回数院那边一趟查点数据。」
「哦对了,这两天研究院这边的电脑设备之类的都还没搬进来,条件还不齐,你们这几天就随意转转,熟悉熟悉环境就行。」
几个人连连点头。
不过,就在林叶准备转身离开的时候,有位之前在国内另外一所高校担任副教授,跳槽过来的研究员,叫陈林海,此时就忍不住开口问道:「林院长,咱们……真的不需要开个会什么的吗?」
「开会?」
:
林叶刚迈出去的脚步停住了。
他回过头,满脸疑惑地问道:「开什么会?为什么要开会?」
本章未完,点击下一页继续阅读。