第170章 把零交给全世界（1 / 18）

  每一次的进展都无比真实，每一次的欢呼也都有著坚实的理由。

  可是，五状態繁忙海狸那座庞大的冰山，始终在水面下留著最后一道缝隙。

  因为，证明一台机器不会停机，与证明所有符合条件的竞爭者都已经毫无遗漏地被列入审查，这中间隔著一整片浩瀚无垠且危机四伏的搜索空间。

  就像在一片原始黑森林里寻找最高的那棵树，你测量了眼前所有树的高度，但你如何向世界证明，森林的某个被遗忘的暗角里，没有藏著另一棵参天巨木？

  马丁关掉已经绿灯常亮的宏状態核验窗口，直接在命令行里拆掉项目组附带的那套规范化工具。

  他要亲自重走一遍这片黑森林。

  他从最基础的空转移表开始，捨弃了清华团队提供的搜索树路径，用自己定义的状態命名顺序重新展开庞大的搜索空间。

  第一轮，他只在搜索树前九层关闭左右镜像约化，逐项核对被摺叠的分支。

  第二轮，他改用另一套新状態首现顺序，重新生成完整的规范代表目录。

  第三轮，他从被剪枝分支中抽取原始转移表，不接受项目组给出的代表编號，独立计算每台机器对应的规范映射。

  工作站机箱里的处理器风扇发出悽厉的轰鸣，连续高负载运转了整整五个小时。

  咖啡壶底部剩下的一层黑色液体早就冷透了，凝结出一圈苦涩的深色水垢。

  当天光从百叶窗的缝隙里一点点挤进来，照亮满桌的草稿纸时，两套规范代表目录的最终计数弹了出来。

  完全对齐。

  马丁紧盯那个相同的数字，眉头反而压得更低了，眼角的纹路深刻得像是刀刻。 ↑↑