字体
大
中
小
关灯
上一页 回目录    收藏 下一页

第150章 大证明长什么样(5/9)

丁剑低头写了一行,抬起头。

“spent这个词可以。”

“它丑。”江临说。

“丑得好。”

报告厅里再一次响起轻松的笑声。

但很快,笑声又被下午四点零七分的那一问压了回去。

韩砚山终于拿起话筒。

前面所有问题里,他一直没有出手。

直到整条主链被压过一轮。

“我问最后一个组合侧的问题。”

报告厅安静下来。

“把K等于8换成K趋近边界的那一列模型。”他看着白板上的全局账目矩阵,缓缓说,“第三层见证不递归收费,spent项不复活,双索引错位进入退化归档——这三件事,如果同时发生,第47号节点是否仍然闭合?”

事实上,问完之后,韩砚山自己心里也清楚。

这个问题如果今天答不上来,不丢人。

它把Voss的边界、丁剑的spent、李教授的双索引,全部叠在一起,压在第47号的同一个全局矩阵上。

太重了。

任何一个做过完整大证明的人都知道,这种最坏组合压测通常不是当场能答的。

往往要回去想一周,再补一封follow-up邮件。

但他今天又必须问。

韩砚山已经做好了准备,如果江临今天答不上来,他韩砚山有把握在接下来的两周内,陪着少年一起把这件事补出来。

……

韩砚山的话音落下,所有人都看向江临的瞬间,梁辰瞥见直播间在线人数跳了一下,稳稳破了一万。

公屏里不断有新Id进来,Id前缀带着各个高校数学系的标签。

有人发 ,导师让过来蹲的,说这题答完,领域格局要变。

……

江临明白韩老师问的其实是这三件事一起发生时,张矩阵会不会破。

他当然知道这张矩阵不会破。

因为早在第九次废土时间,他自己第一次写出第47号节点的草稿时,他先做的就是这个压测。

当时他把三件事同时打开,看那张矩阵会从哪一格先漏。

然后就看到漏在了第二行第三列——见证列借了支付列的资源,因为他当时没把权限分开。

他改了一个月。

把三列的权限切开,见证、支付、归档,每一列只能做一件事,不能互借。

改完之后他又把压测跑了一遍。

没漏。

他又跑了第二遍。

还是没漏。
本章未完,请翻下一页继续阅读.........
上一页 回目录    收藏 下一页