“先用连接图和几何约束证明上界，再用极端构型给出取等构造。

一拉一推，这题就闭合了。”

“等一下。”

尹航皱着眉头走近白板，用黑色马克笔在江临的构型旁边补了一条旋转虚线。

“这里如果沿这条轴转一次，会不会利用空间对角线让端点更远？”

江临扫了一眼，摇头说：“不会。”

“为什么？”

“因为这一步旋转只改变方向，不增加有效位移的模长。

端点距离的投影已经被前面的连接约束卡住了。

你能换坐标系里的朝向，但不能凭空增加那一节贡献的长度。”

尹航还是有些心有不甘，又指向原来的海星状构型，说：“那这种非链状分支呢，两个分支端点之间会不会更长？”

“分支端点之间的距离，必须经过公共连接节点分解。

三角不等式先给自然上界：d(A，b)≤d(A，c)+d(c，b)d(A，b)\le d(A，c)+d(c，b)d(A，b)≤d(A，c)+d(c，b)。

关键是取等条件。

在这道题的连接约束下，两条分支不能同时沿同一直线完全展开。

你拉直一条，另一条的有效投影就会被折掉。”

江临用笔在公共连接节点上点了两下。

“所以分支结构最多逼近同等节数的链式上界，不可能超过它。”

姚思雨听到这里，终于全部明白过来。

立刻拿起笔，在自己的草稿纸上迅速补上了两行关键的图论转化。

叹道：“所以我们之前的枚举，就像是拿着相机，在给所有可能的雕塑疯狂拍照，试图找出一张看起来最高大的。”

江临点点头，放下马克笔，说：“数学不需要我们拍完所有照片，只需要我们证明，最高的那张照片，它的天花板在哪里，然后证明有人能摸到那个天花板就行了。”

尹航看着白板，沉默了足足有半分钟。

最后，他拿起黑板擦，果断擦掉自己原先画的十二种构型和旁边那长长的距离表。

然后在江临画出的连接图旁边打了一个勾。

“行。”

尹航的语气里的那种烦躁一扫而空。

“这个上界，闭合了。”

一直坐在窗边没参与进来的孟澈，此时默默地调整了一下坐姿。

他没参赛，也不打算过度参与这道题的计算细节。

但他从这段对话里，听出了熟悉的味道。

江临刚才做的第一件事，是剥离。

把形状，三维，磁性这些具有极强视觉干扰的物理外壳从问题里剥掉，然后换成图结构，节点和上界。

这种处理问题的方式，太成熟了。

像什么呢？

孟澈看着江临削瘦的背影。

它更像一个老练的实验物理学家，在面对极其复杂的系统误差时，先不急着调仪器，而是先建误差模型，把仪器误差、读数涨落和真实物理量一层一层地切分开。

……

第二张题面，是拆盲盒。

姚思雨叹了口气，把自己的草稿纸推了过来。

上面密密麻麻写了半页纸的公式。
本章未完，请翻下一页继续阅读.........