。运行结果：正确。运行时间：

    屏幕上跳动了一下。。

    苏联队的局域里，队员们终于露出了笑容。。目前全场最快。

    第八队，波兰。运行结果：正确。。

    第九队，罗马尼亚。运行结果：部分正确。运行时间：超时。

    第十队，中国。

    陆沉感觉到林枫的身体绷紧了。

    屏幕上的数字开始跳动。

    加载程序。

    初始化数据。

    开始计算。

    计时器的数字飞速增长。。。。

    林枫死死盯着屏幕。

    陆沉倒是很平静。

    他已经知道了结果。。

    计时停止。

    运行结果：正确。。

    赛场安静了一瞬。

    然后“什么？”

    声音是从苏联队的局域传出来的。

    金发队长站了起来，盯着屏幕上的数字，脸上的表情从困惑变成难以置信。。

    比第二名快了将近十五倍。

    这不是“更快”。

    这是不在同一个维度。

    主考官也愣住了。他低头检查评测系统的日志，确认没有出错。

    没有出错。。

    而且，内存占用只有标准解法的三分之一。

    主考官抬起头，看向中国队的方向。

    “你们————”他用俄语说，然后切换成英语，“你们的预条件子，用的是什么方法？

    ”

    翻译还没开口，陆沉已经用俄语回答了。

    “不完整的Cholesky分解，结合块对角预处理。”

    主考官的眼神变了。

    “不完整的Cholesky分解？”他重复了一遍，“你是指————对系数矩阵做不完全的三角分解，舍弃填充元？”

    “是的。”

    “这个方法的收敛性””

    “有保证。”陆沉说，“对于M矩阵，不完整分解的存在性和稳定性都可以证明。具体来说，如果系数矩阵是M矩阵，则任意舍弃填充元的不完整Cholesky分解都存在，且预条件后的矩阵特征值均为正实数。这道题的矩阵正好满足M矩阵条件。”

    主考官沉默了好一会儿。

    “你————证明过吗？”

    “推导过。”陆沉说，“证明过程在我的文档附录里。”

    主考官快步走向评测终端，调出中国队提交的文档。

    屏幕上的内容一页页翻过。

    算法描述。复杂度分析。数值实验。

    然后，他看到了附录。

    那里有一段简洁而严谨的证明，从M矩阵的定义出发，逐步推导出不完整Cholesky分解的存在性和稳定性条件。

    推导过程干净得象一场外科手术。

    主考官看了很久。

    然后他转过身，用一种很奇怪的语气说：“中国队。算法设计模块。满分。”

    他顿了顿，又补充了一句：“附加分。10分。”

    附加分。

    这是本届比赛第一次出现附加分。

    林枫猛地转过头看陆沉，眼睛瞪得象铜铃。

    陆沉只是平静地收拾着桌上的纸笔。

    但他的手指，微微收紧了。

    不是因为紧张。

    是因为他知道，这件事不会就这么结束。

    一个十岁的中国孩子，在莫斯科的赛场上，拿出了一套比世界最前沿还要超前的数值算法。

    这不是数学竞赛。

    这是某种信号。

    他抬头看了一眼赛场后方的观察席。

    那里坐着几个没有佩戴参赛证件的人。

    其中一个，是索科洛夫。

    索科洛夫正低头在笔记本上写着什么，似乎感觉到陆沉的目光，抬起头来。

    隔着整个赛场的距离，两人再次对视。

    索科洛夫合上了笔记本。

    他的表情，看不出任何情绪。

    但他的眼神，象是在看一件他找了很久的东西。