数学系的红砖办公楼建得有些年头了，外墙爬满了爬山虎。

    二楼走廊尽头，一间独立办公室的门半掩着，没开大灯，屋里稍微有些暗。

    李建明站在整整占据了一面墙的大黑板前。

    黑板上满是白色的粉笔字，从左上角一直写到右下角，全是推导算式，矩阵展开式和下标繁杂的求和符号。几处粉笔灰被黑板擦抹过，又在上面盖了新的算式，白花花的一片，看着发晕。

    李建明手里端着一个搒瓷茶缸，水面上浮着几片舒展不开的茶叶。

    他没喝水，目光直直盯着黑板正中央那行被画了红圈的等式。

    门轴转动发出一声轻响。

    学生吴涛走了进来，他手里抱着一遝A4草稿纸，纸边已经卷起了边，吴涛的黑眼圈很重，脚步声发沉。「老师。」

    吴涛声音很低，把草稿纸放在办公桌上。

    李建明转过身，视线从黑板移到那堆纸上。

    「第七引理还是证不出来？」

    李建明问，嗓子有些哑。

    吴涛摇头，叹了口气。

    「没法闭环。」

    吴涛翻开最上面的一张草稿纸，指着中间长长的一行算式。

    「进入核心节点的拉普拉斯矩阵展开後，第八阶一过，多项式的项数开始打着滚地往上翻。」吴涛揉了揉发酸的眼角，接着说。

    「我昨晚按您说的，用传统的谱图理论去试着化简，但是找不到通项公式，那些多出来的奇异项没法互相抵消，推到最後，成了一个发散的无穷级数。」李建明走回办公桌前，放下茶缸。

    「手工核对了多少项？」

    「核了前两百个展开项。」吴涛说，「找不到收敛规律，全乱了。」

    李建明没作声。

    他知道吴涛尽力了。

    这不是熬夜能解决的问题，这是理论数学的墙。

    他们研究的是复杂网络拓扑的纯数猜想，前面的基础框架和边缘验证都很顺，但到了最核心的理论证明，这条路走成了死胡同。纯数推导容不下半点含糊。

    工程学遇到算不出的难题，可以截断，可以找近似值。

    纯数不行。

    等号左边和右边必须严丝合缝，逻辑链上缺一个环，前面写满半个柜子的草稿纸就全是一堆废纸。找不到新的代数同构映射去绕开这个组合迷宫，猜想就永远是猜想。

    「去隔壁休息室睡一觉。」

    李建明看着满眼血丝的吴涛，摆了摆手。

    「你自己的毕业论文不是还要做随机游走模型吗？去忙你的，第七引理今天先放一放，再这麽硬推，除了费纸，没别的用。」「可是李老师，证明卡在这...」

    「去休息。」

    李建明打断他，语气温和，但没商量的余地。

    吴涛没再坚持，点头退出了办公室。

    屋里只剩下李建明一个人。

    他拉开椅子坐下，伸手从杂乱的桌面上，抽出了那本秋季刊的《Discrete Mathematics》。大拇指沿粗糙的封面慢慢划过。

    半个月前，他在这本期刊上看到一篇短文。

    文章短，讲节点连通性与矩阵降维的。

    着名是本校的C. Zhuo。

    李建明翻开折了角的那页。

    他又从头到尾看了一遍那几行核心的证明步骤。

    每次看，他都觉得手心发热。

    那个C. Zhuo，处理类似的多项式爆炸时，根本没去走迷宫，直接凭-->>

本章未完，点击下一页继续阅读