在太短了,短到像是一份还没写完的开题报告。阿瑟戴上眼镜,闻言也有些意外。
「五页纸能把一个图论下界说清楚?看看标题。」
「关於某类特定二分图下界的代数重构。」
托马斯照着最上面的一行加粗字体念了出来,念完後,他的视线顺着标题往下移动,落在了正文部分。办公室里安静了下来。
只剩下空调出风口发出的轻微呼呼声。
托马斯的目光在第一页纸上停留了大概两分钟,他的眉头慢慢皱了起来,原本随意靠在椅背上的身体,不自觉地往前倾了倾。他没有翻页,而是把第一页从头到尾又看了一遍。
「阿瑟。」托马斯的声音变了,没有了刚才那种闲聊的轻松,「你得看看这个。」
阿瑟看出老同事神色的变化,放下咖啡杯,伸出手。
托马斯把那五页纸递了过去。
阿瑟接过纸,视线落在上面。
第一段是很常规的引言,用几句话交代了目前这个问题在学术界所面临的困境。
语言非常平实,用的都是最基础的英语词汇,没有任问花哨的从句。
接着往下看,阿瑟的眼神顿住了。
作者没有像传统做法那样去定义各种子图结构,而是直接在第一页的末尾,构造了一个邻接矩阵。「他把图形的连通性...」
阿瑟轻声念叨着,目光迅速扫向第二页。
第二页全是排版规整的矩阵推导,作者利用矩阵的特徵多项式,将原本需要在几何空间里进行上百次分类讨论的拓扑问题,毫不讲理地强行拉入了一个纯粹的代数空间。
在这里,没有复杂的图形分支。
只有特徵根的分布规律。
阿瑟翻页的速度越来越快。
第三页,作者引入了一个很巧妙的特徵值不等式放缩。
这个放缩技巧在代数领域很常见,但用在这个特定的图论模型里,就像是刚好卡进锁孔的钥匙,严丝合缝。第四页,计算结束。
第五页,只有短短的半页纸,得出了那个让很多学者头疼不已的下界数值。
右下角,画着一个小小的黑色方块,代表证明完毕。
没有一句多余的废话。
没有一个多余的引理。
阿瑟看完了最後一个符号,把纸放在桌面上,他摘下眼镜,揉了揉眉心,然後重新戴上。
「他直接绕开了组合构造。」
本章未完,请点击下一页继续阅读!