眼前这个东西，轮廓极度不规则，到处是突兀的凹角和凸角，像一顶被人粗暴压扁又用力拧过一把的怪帽子。

太丑了。

但让霍尔特瞳孔微缩的是，它不是民科会画出来的那种丑。

民科画的丑，往往是随意的，没有内在逻辑的，为了凑拼图而强行扭曲边缘的丑。

而眼前的这个十三边形的丑，带着一种令人心悸的必然性。

它不像是一个凭审美画出来的图形，反倒看着像是一组极度严苛的数学方程互相倾轧妥协后，被死死约束出来的解。

它的每一个角，似乎都卡在某个特定的角度上。

它的每一条边，似乎都和别的边有着说不清的对应关系。

这说明，这个形状底层嵌在一个非常经典的六角形/三角形网格之中。

霍尔特本能地放下茶杯，坐直了身体，两指在屏幕上放大，仔细审视那条看似突兀的凹边。

“不对劲。”

他低声喃喃自语，点开pdF侧栏，跳到第三节。

第一页开头孤零零地印着两行英文。

this section does not prove uniqueness of individual tile assignments.

It proves recognizability of the hierarchical skeleton under finite boundary ambiguity.

霍尔特盯着这两行英文看了足足一分钟。

之前的疲惫和漫不经心一扫而空，取而代之的是一种猎人看到未知猛兽足迹时的战栗。

这句话太专业了。

甚至可以说，太知道爱因斯坦问题的命门和痛处了。

在过去几十年无数宣告失败的单砖候选证明中，百分之九十的人都死在一个地方。

他们天真地以为，只要证明了每一块底层的砖都能唯一地归入某个上一层的大块，证明就完成了。

然而，在无限延伸的平面上，由于非周期性，边界上总会存在某些模棱两可的拼接方式。

真正要证明的，不是每一块底层砖都能绝对唯一地归入上一层大块，而是在有限边界歧义之外，层级骨架能不能被局部规则稳定读出。

这个来自中国高中的家伙，不仅知道这个陷阱，甚至主动把刀尖对准了这里。

霍尔特已经变凉的花草茶推到书桌边缘，重新打开pdF的侧边栏，深吸了一口气，直接跳到整个证明最核心也是最容易暴毙的章节。

04_no_periodic_strip.

pdf

如果这篇稿子是某个高级别的恶作剧，或者存在某个隐蔽的致命错误，百分之九十九会在这里露馅。

霍尔特先看读法约定。

然后看翻面处理。

再看短重复片段。

很快，他看到一张表。

S-3，S-4，S-5，S-6，S-7。

这些是局部看起来，似乎有可能顺着某个轴线进行周期延展的边界片段。

作者根本没有把这些危险的局部组合藏起来，或者用一句容易证明其不成立糊弄过去。

相反，他像一个冷酷的外科医生，把这些可能导致理论崩溃的毒瘤一个个切开，单独编号。

他列出了这些片段的初始形态，翻面读法约束，然后最关键的是，他推演了这些片段在进行第三次代换后的分裂情况。
本章未完，请翻下一页继续阅读.........