第 32 章 算法探讨 (第1/2页)

沈雨薇把餐盘推到回收处，塑料碗底刮在金属台面上，声音刺耳。食堂里空了大半，几个工程兵蹲在门口抽烟，红点在黑暗里明明灭灭。她拎起电脑包，没往自己那排板房走，转身朝基地南侧去。
　　
　　天已经黑透，沙子开始往外散白天的热气，风卷着细碎的颗粒，打在脸上沙沙响。简易路灯的光晕黄，勉强照出脚下坑洼的路面。远处工地高塔上，探照灯光柱像几把巨大的刷子，在夜空里缓慢地来回扫。
　　
　　第三间板房，门缝底下透出光。她站住，吸了口气，抬手敲门。
　　
　　咚，咚。
　　
　　门开了。苏晚晴探出半个身子，手里还拿着块湿毛巾，看见是她，眼睛弯起来：“沈老师？”
　　
　　“叫我沈雨薇就行。”沈雨薇说，目光往屋里扫。
　　
　　林辰坐在折叠桌后面，桌上摊着几张大幅草图，铅笔橡皮散了一片。他抬头，推了下眼镜：“沈组长？”
　　
　　“林顾问。”沈雨薇迈进去，语气平稳，“有些算法上的问题，想请教。”
　　
　　屋子不大，六平米，东西堆得满。行军床上的被子卷成一团，墙角摞着几箱打印纸。桌上除了图纸，还有半袋压缩饼干，一台工作站电脑屏幕亮着，复杂的电磁场模拟界面在幽幽闪烁。空气里有股淡淡的汗味，混合着电子设备发热的焦糊气。
　　
　　苏晚晴把毛巾搭在床头架子上，顺手把地上几本摊开的书摞好。“坐，沈老师。”她拖过屋里唯一那把椅子，“我刚在帮林辰核对数据，乱得很。”
　　
　　沈雨薇没坐。她从电脑包里抽出一沓打印纸，纸上密密麻麻全是手写公式的扫描件，她用红笔在几处画了圈。
　　
　　“河图算法的原始推导手稿，我反复看了。”她声音平直，没什么起伏，把纸摊在桌上，手指点着第一个红圈，“林顾问，这几个变换步骤，我没完全看懂。”
　　
　　林辰凑过来，鼻尖几乎贴到纸上。“哪？”
　　
　　“这里。”沈雨薇的指尖很稳，“从非欧空间的测地线方程，直接过渡到闵可夫斯基时空的仿射映射。中间的数学桥梁，手稿上是空的。你跳过了至少三步常规推导。”
　　
　　林辰抓了抓头发，转身在那堆草稿里翻，抽出一张边缘卷曲、沾着沙粒的活页纸。纸上的字更潦草，有些地方被水渍晕开了。
　　
　　“这个啊。”他语速快起来，铅笔尖戳了戳一个模糊的符号，“你看，当时实验的时候，信号标传回来的实际坐标，跟理论预测差了两百多米。我往回倒推，发现如果在这里引入一个局域的时空挠率修正项，误差就能缩到十米以内。后来我试了几次，发现这个修正项，可以理解成两种几何结构之间一种……嗯，一种很自然的‘缝合’。”
　　
　　他边说，边在空白处飞快地写了几行新式子。笔尖沙沙响。
　　
　　沈雨薇盯着那几行式子，没说话。她指尖在桌面上虚划了几下，眉头慢慢皱起来。
　　
　　苏晚晴靠在床边，手指无意识地绕着那缕垂下的碎发。
　　
　　“所以，”沈雨薇抬起头，眼神专注，“你不是从数学公理出发，一步步推导出这个变换。你是从实验结果反推，拟合出了一个能解释数据的数学形式？”
　　
　　“对。”林辰点头，眼睛在镜片后亮了一下，“但它后来被独立验证过，自洽，而且简洁。”
　　
　　“简洁不等于完备。”沈雨薇的声音依然平稳，但语速稍微快了点，“更不等于普适。你的‘缝合’，建立在特定实验条件下。如果环境参数变化，引力扰动增强，或者传输距离增加一个数量级，这个形式还能不能成立？它的数学基础是什么？属于哪个已知的变换群？有没有更一般的表达式？”
　　
　　一连串问题。林辰张了张嘴，右手指开始无意识地快速敲击大腿侧面。
　　
　　苏晚晴轻轻咳了一声。“沈老师的意思是……需要更严谨的数学证明？”
　　
　　“不是证明，是重构。”沈雨薇转向她，语气稍微缓和，但依然精确，“林顾问提供了一个很有启发性的‘零件’，但零件内部的结构是模糊的，像是……凭手感磨出来的。我的工作是把它拆开，搞清楚每一个面的角度、每一条边的曲率，然后画出标准的加工图纸。这样，下次我们需要类似零件时，才能按图索骥，而不是依赖运气和直觉。”
　　
　　她停顿，看向林辰。“你的方法，是基于物理直觉和实验反馈的‘经验公式’。输入，输出，中间过程缺乏严格的数学链条。对于坐标计算组来说，这是不够的。我们需要的是确定、唯一、逻辑链完整的算法。一次计算偏差，在星际尺度上可能就是几百万公里的迷失。”
　　
　　屋子里静下来。只有电脑风扇嗡嗡的轻响，和窗外远处工地永不间断的机械轰鸣——那是挖掘机在深坑里作业的闷响，咚，咚，咚，隔着地面传过来。
　　
　　林辰不敲腿了。他摘下眼镜，用衣角慢慢擦镜片，擦了很久。
　　
　　

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