不过他终究是按捺住，继续跑，从不同的初始条件、不同的退化路径、不同的边界模型。

他记不清具体跑了多少遍，但他记得最后一次跑完的那天，石屋外下了一场很大的雨。

他在磨得水光油滑的石桌前坐到凌晨三点，看着那张矩阵，确认了一件事。

这张矩阵不会破，只要三列的权限不混用。

这件事他没有写进提纲。

不是不想写，是写不进去。

它不是一个新的引理，也不是一个新的命题，只是一种结构性的取舍，是一种我宁可让这张矩阵丑，也不让它互借的判断。

这种判断在论文里写不出来，在提纲里也写不出来。

它只能在白板上，在被问到的那一刻，直接拿出来给人看。

于是，此时此刻，他转身，擦掉第三块白板的下半部分，写下标题。

组合边界压测。

底下三行，列出三件事同时发生的最坏情形。

然后在右侧画出账目矩阵的极小骨架。

只剩三列，见证列、支付列与归档列。

“最坏情形下，三件事一起来。”他说，“如果这三列互相借用资源，证明就不闭合。”

他用红笔，在三列之间各画了一道竖线。

“所以它们不能互借，见证列不能支付，支付列不能复活，归档列不能压缩。”

三句话，三道线。

整个报告厅的注意力都被压在那三道竖线上。

【witness：visible/no charge】

【spent：paid/no reuse】

最后一行——没有隐藏的损失，留在账目之外。

然后他放下了笔，转身开口。

“所以，三件事同时发生时，第47号仍然闭合。

前提是——三列的权限不混用。

v1.

0里所有看起来笨重的状态标记、双索引、退化索引，都是为了保证这一件事。”

报告厅里安静了很久。

韩砚山盯着那三道竖线看了半晌，最后慢慢靠回椅背。

……

梁辰的直播间里，弹幕先是突兀地空白了两秒。

像全场的窒息感顺着镜头传了出去，随即以铺天盖地的速度炸开，滚动的字幕快得连完整句子都看不清。

“三重最坏情形叠在一起当场接住，还只用了三列权限切割……这思路是怎么想出来的？”

“上周组会我导刚说这个组合死局至少要磨半年，合着人站在白板前十秒钟就给焊死了？”

“导师把我们全喊起来了，说这是近三十年加性组合最关键的半小时。”

一条带着高校数论研究所认证的弹幕被瞬间顶到最顶端，稳稳悬在滚动的公屏上：“这三道竖线，够整个加性组合领域消化三年。”
本章未完，请翻下一页继续阅读.........