第167章 第193步的崩塌（3 / 13）
军姿、队列、正步、休息、补水。
九月的阳光带著残存的暑气，在塑胶跑道上蒸腾。
白天的训练没有因为昨晚硬碟里那些复杂的拓扑结构发生任何变化。
关於图灵机的多维状態空间、停机与非停机的边界，全都被他严丝合缝地压在意识的后台，直到晚间窗口重新打开。
九月二日，晚上八点零九分。
江临开始復现translated cycler（平移循环）。
前一晚在审阅立项摘要时，为了让技术联络员快速理解，江临用了一个通俗的比喻，把translated cycler概括成了一枚不断向远处滚动的印章。
印章每翻滚一圈，就在纸带上留下一个相同的图案，只是位置更靠右了。
既然它永远在向右开拓新的未访问区域，自然永远不会停机。
但现在真正进入代码级別的復现，他需要检查的，恰恰是那段科普里最容易被一笔带过的附加条件。
印章確实可以不断向右滚动。
但它过去留下的那些旧痕跡，那些被遗忘在左侧遥远坐標上的零星符號，真的永远不会像幽灵一样，在某次未知的回溯中重新挡住它前进的去路吗？
作者提供的专用decider非常谨慎。
它不会在纸带上隨便挑选两个看起来相似的局部图案就草率判定。
只在读写头抵达此前从没到过的新位置时留下记录，等机器再次向同一方向开出新格子，再把两次记录中的读写头位置对齐。
两次记录之间，读写头向后退得最远有多少格，需要比较的窗口就至少覆盖多少格。
只有机器状態相同、窗口內的图案能够平移重合，而且窗口外的旧痕跡不会重新挡住去路，才能把它列为translated cycler候选。
前二十七个基础样例全部顺利通过。
但江临没有继续编写脚本扩大测试数量。
二十七个绿色的通过记录，只能证明本地復现环境与原作者的开发环境在依赖和编译器行为上达成了一致，却无法证明清华团队试图草擬的那套通用证书规则在数学逻辑上是可靠的。
他把目光投向了那些棘手的边缘数据。
不过他没有先处理那些被统一草案拒绝的样例，而是从已经被专用核验器和统一核验器同时接受的样例里，抽出了一台处在纸带边界附近的机器。
这台编號为 tc-edge-09 的机器，在第912步和第1074步，出现了两段形状完全相同的局部纸带图案。
內部状態一致，读写头的相对偏移量一致，第二段图案整体向右平移了十一格。
translated cycler原始判定程序將它判定为非停机。
清华团队为这类证书编写的专用核验器接受了它。
试图统合所有规则的统一核验器也返回了通过。
一切看起来都很顺利。
江临敲击键盘，调用可视化工具，把两次机器配置从局部窗口，直接展开到了整条纸带的全局视野。
第912步，在被標记为有效的窗口左侧，距离三十七格的地方，安静地躺著一个孤立的数字1。 ↑返回顶部↑
九月的阳光带著残存的暑气，在塑胶跑道上蒸腾。
白天的训练没有因为昨晚硬碟里那些复杂的拓扑结构发生任何变化。
关於图灵机的多维状態空间、停机与非停机的边界，全都被他严丝合缝地压在意识的后台，直到晚间窗口重新打开。
九月二日，晚上八点零九分。
江临开始復现translated cycler（平移循环）。
前一晚在审阅立项摘要时，为了让技术联络员快速理解，江临用了一个通俗的比喻，把translated cycler概括成了一枚不断向远处滚动的印章。
印章每翻滚一圈，就在纸带上留下一个相同的图案，只是位置更靠右了。
既然它永远在向右开拓新的未访问区域，自然永远不会停机。
但现在真正进入代码级別的復现，他需要检查的，恰恰是那段科普里最容易被一笔带过的附加条件。
印章確实可以不断向右滚动。
但它过去留下的那些旧痕跡，那些被遗忘在左侧遥远坐標上的零星符號，真的永远不会像幽灵一样，在某次未知的回溯中重新挡住它前进的去路吗？
作者提供的专用decider非常谨慎。
它不会在纸带上隨便挑选两个看起来相似的局部图案就草率判定。
只在读写头抵达此前从没到过的新位置时留下记录，等机器再次向同一方向开出新格子，再把两次记录中的读写头位置对齐。
两次记录之间，读写头向后退得最远有多少格，需要比较的窗口就至少覆盖多少格。
只有机器状態相同、窗口內的图案能够平移重合，而且窗口外的旧痕跡不会重新挡住去路，才能把它列为translated cycler候选。
前二十七个基础样例全部顺利通过。
但江临没有继续编写脚本扩大测试数量。
二十七个绿色的通过记录，只能证明本地復现环境与原作者的开发环境在依赖和编译器行为上达成了一致，却无法证明清华团队试图草擬的那套通用证书规则在数学逻辑上是可靠的。
他把目光投向了那些棘手的边缘数据。
不过他没有先处理那些被统一草案拒绝的样例，而是从已经被专用核验器和统一核验器同时接受的样例里，抽出了一台处在纸带边界附近的机器。
这台编號为 tc-edge-09 的机器，在第912步和第1074步，出现了两段形状完全相同的局部纸带图案。
內部状態一致，读写头的相对偏移量一致，第二段图案整体向右平移了十一格。
translated cycler原始判定程序將它判定为非停机。
清华团队为这类证书编写的专用核验器接受了它。
试图统合所有规则的统一核验器也返回了通过。
一切看起来都很顺利。
江临敲击键盘，调用可视化工具，把两次机器配置从局部窗口，直接展开到了整条纸带的全局视野。
第912步，在被標记为有效的窗口左侧，距离三十七格的地方，安静地躺著一个孤立的数字1。 ↑返回顶部↑