第 32 章 算法探討（1/2）

沈雨薇把餐盘推到回收处，塑料碗底刮在金属檯面上，声音刺耳。食堂里空了大半，几个工程兵蹲在门口抽菸，红点在黑暗里明明灭灭。她拎起电脑包，没往自己那排板房走，转身朝基地南侧去。

天已经黑透，沙子开始往外散白天的热气，风卷著细碎的颗粒，打在脸上沙沙响。简易路灯的光晕黄，勉强照出脚下坑洼的路面。远处工地高塔上，探照灯光柱像几把巨大的刷子，在夜空里缓慢地来回扫。

第三间板房，门缝底下透出光。她站住，吸了口气，抬手敲门。

咚，咚。

门开了。苏晚晴探出半个身子，手里还拿著块湿毛巾，看见是她，眼睛弯起来：“沈老师？”

“叫我沈雨薇就行。”沈雨薇说，目光往屋里扫。

林辰坐在摺叠桌后面，桌上摊著几张大幅草图，铅笔橡皮散了一片。他抬头，推了下眼镜：“沈组长？”

“林顾问。”沈雨薇迈进去，语气平稳，“有些算法上的问题，想请教。”

屋子不大，六平米，东西堆得满。行军床上的被子捲成一团，墙角摞著几箱列印纸。桌上除了图纸，还有半袋压缩饼乾，一台工作站电脑屏幕亮著，复杂的电磁场模擬界面在幽幽闪烁。空气里有股淡淡的汗味，混合著电子设备发热的焦糊气。

苏晚晴把毛巾搭在床头架子上，顺手把地上几本摊开的书摞好。“坐，沈老师。”她拖过屋里唯一那把椅子，“我刚在帮林辰核对数据，乱得很。”

沈雨薇没坐。她从电脑包里抽出一沓列印纸，纸上密密麻麻全是手写公式的扫描件，她用红笔在几处画了圈。

“河图算法的原始推导手稿，我反覆看了。”她声音平直，没什么起伏，把纸摊在桌上，手指点著第一个红圈，“林顾问，这几个变换步骤，我没完全看懂。”

林辰凑过来，鼻尖几乎贴到纸上。“哪？”

“这里。”沈雨薇的指尖很稳，“从非欧空间的测地线方程，直接过渡到閔可夫斯基时空的仿射映射。中间的数学桥樑，手稿上是空的。你跳过了至少三步常规推导。”

林辰抓了抓头髮，转身在那堆草稿里翻，抽出一张边缘捲曲、沾著沙粒的活页纸。纸上的字更潦草，有些地方被水渍晕开了。

“这个啊。”他语速快起来，铅笔尖戳了戳一个模糊的符號，“你看，当时实验的时候，信號標传回来的实际坐標，跟理论预测差了两百多米。我往回倒推，发现如果在这里引入一个局域的时空挠率修正项，误差就能缩到十米以內。后来我试了几次，发现这个修正项，可以理解成两种几何结构之间一种……嗯，一种很自然的『缝合』。”

他边说，边在空白处飞快地写了几行新式子。笔尖沙沙响。

沈雨薇盯著那几行式子，没说话。她指尖在桌面上虚划了几下，眉头慢慢皱起来。

苏晚晴靠在床边，手指无意识地绕著那缕垂下的碎发。

“所以，”沈雨薇抬起头，眼神专注，“你不是从数学公理出发，一步步推导出这个变换。你是从实验结果反推，擬合出了一个能解释数据的数学形式？”

“对。”林辰点头，眼睛在镜片后亮了一下，“但它后来被独立验证过，自洽，而且简洁。”

“简洁不等於完备。”沈雨薇的声音依然平稳，但语速稍微快了点，“更不等於普適。你的『缝合』，建立在特定实验条件下。如果环境参数变化，引力扰动增强，或者传输距离增加一个数量级，这个形式还能不能成立？它的数学基础是什么？属於哪个已知的变换群？有没有更一般的表达式？”

一连串问题。林辰张了张嘴，右手指开始无意识地快速敲击大腿侧面。

苏晚晴轻轻咳了一声。“沈老师的意思是……需要更严谨的数学证明？”

“不是证明，是重构。”沈雨薇转向她，语气稍微缓和，但依然精確，“林顾问提供了一个很有启发性的『零件』，但零件內部的结构是模糊的，像是……凭手感磨出来的。我的工作是把它拆开，搞清楚每一个面的角度、每一条边的曲率，然后画出標准的加工图纸。这样，下次我们需要类似零件时，才能按图索驥，而不是依赖运气和直觉。”

她停顿，看向林辰。“你的方法，是基於物理直觉和实验反馈的『经验公式』。输入，输出，中间过程缺乏严格的数学链条。对於坐標计算组来说，这是不够的。我们需要的是確定、唯一、逻辑链完整的算法。一次计算偏差，在星际尺度上可能就是几百万公里的迷失。”

屋子里静下来。只有电脑风扇嗡嗡的轻响，和窗外远处工地永不间断的机械轰鸣——那是挖掘机在深坑里作业的闷响，咚，咚，咚，隔著地面传过来。

林辰不敲腿了。他摘下眼镜，用衣角慢慢擦镜片，擦了很久。

“我明白。”他戴上眼镜，脸色在灯光下显得有点苍白，“但有时候……数学工具可能抓不住全部的现实。”

沈雨薇看著他。