侧，画了几个单砖，将它们拼合在一起，形成了一个更大的，轮廓依然带有特定凹凸特征的块体。
然后在这个块体旁边标上了一个字母：h（hex）。
紧接着，他利用不同的拼接方式，又画出了另外三种由单砖组成的复合块体，分别标上：t（turtle）、p（propeller）、F（Fang）。
它们无一例外，边缘都带有极具特征的几何齿。
那个博士生眉头微微皱起，低声喃喃：“这是在造超大号的砖？”
顾南舟抬起手，示意他安静。
江临没有理会外界的声音，继续在白纸上推演。
“这四种块体，属于第一层级的tatile。”
他在h块体的旁边，开始画下一层级的替代图（substitution p）。
“根据这块单砖的几何特性，h块体本身，可以被更小的h、t、p、F 按照一种不可更改的拓扑结构拼凑而成。”
“t也可以。”
“p和F也一样。”
笔尖在纸上快速游走，每一条边每一个转角的比例都异常精准。
“每一种更高层级的块体，都能由上一层的这四类tatile严密组合出来。”
画到第三层级替代的时候，纸面上的结构已经变得相当复杂，但无论内部如何交错，整体的边界依然保持着最初设定的拓扑特征。
这一刻没有人再随口质疑。
因为从这一刻开始，问题已经从这是不是涂鸦，变成了这张局部邻域表有没有漏项。
刚才那个博士生更是已经处于屏气凝神状态，死死盯着那些咬合的缝隙。
“这是一套严格的substitution rule（替代规则）？”顾南舟小声问道。
“对。”江临停下笔，“只要这套替代规则可以在数学上无限迭代，就意味着这个平面可以被尺度越来越大，直至趋于无穷的tatile完全覆盖。”
他在纸的边缘写下：
level 0: tile
level 1: h/t/p/F
level 2: substituted h/t/p/F
...
level n→∞: tiles the plane
“能铺满，第一步闭合。”江临淡淡地说。
“你现在只证明了，依靠这套替代规则，这块砖有一种非周期味道很强的铺法。”顾南舟盯着江临的眼睛，“我在课上说过，这远远不够。”
江临点头：“我知道。”
“所以你要证明，不是你在上帝视角选择了这个层级拼法，而是这块砖本身的几何边界，被迫且只能长成这个层级。”
“所以，第二步不是铺。”
江临将画满替代规则的A4纸往旁边推了推，又抽出一张新纸。
在纸的中央单独画出那块十三边形单砖。
“是强迫（Forcing）。”
他用笔尖圈出单砖边界上的三个关键凹角，接着，又圈出对应的几个凸角。
“我们不看全局，只看局部。在严密铺砌的约束下，平面不允许留下任何缝隙，也不允许任何重叠。这意味着，单砖上的每一个凹角，都面临着生死存亡的选择，它必须被另一块砖的某一种凸角咬住。”
他在凹角周围，画出了第一种邻接砖的拼法。
“第一种补法，合法。”
接着是第二种。
“第二种，合法。”
第三种。
“第三种，合法。”
然后，他画出了第四种拼法。
这块砖在凹角处完美贴合，但在另一端，却突兀地伸出了一截。
江临毫不犹豫地在它旁边打了一个巨大的叉。
“这类局部填法，表面上看在一个顶点处接上了，但只要再往外延伸一圈，它的另一端就会形成一个30°的死角。而我们的单砖系统里，不存在能填补30°缺口的凸起，这是一条死路。”
博士生忍不住插嘴：“等一下，你怎么能确定局部邻域只有这几种拼接可能？平面的组合是指数级爆炸的。”
“因为角度资源是有限的。”江临连头都没抬，“在一个平面内，围绕任意一个顶点的角度和必须严格等于2π。这块砖能提供的内角和外角，都在30°和90°的整数倍系统内。”
“它能贡献的角度组合是有限集，因此，围绕任何一个顶点的局部邻域，其种类也是一个有限集。”
“能闭合并向外延伸的，只有我列出的这几类。”
“不能闭合的，会在第一圈或第二圈迅速暴露死角，无法继续铺设。”
顾南舟忍不住点了点头。
他很清楚这段推导的分量。
这才是单砖问题最难的地方，不是人为设计，而是几何形体自发的剪枝。
江临继续在纸上扩展第一种合法的局部拼法。
第一圈补完后，几块砖组合在一起，中心外围不可避免地形成了一个更大的，呈现特定形状的凹槽区域。
“看到这个新的边界了吗？”江临用笔尖敲了敲那个大凹槽，“这个凹槽的形状，它不能被单砖随意填补。经过刚才的角度排除法，填补它的唯一合法途径，就是将其组合成我刚才在第一步里定义的h块体，或者t块体。”
他一边快速勾勒，一边陈述几何法则：“单砖的局部相容性约束，逼出了第一级tatile。”
“而第一级tatile组合后形成的新边界，依然带有同样类型的凹凸约束，且尺度放大，这会继续逼出第二级tatile。”
“这个过程一旦启动，就无法停止，底层的几何规则强迫上层建筑按唯一指定的路线演化。”
“你如何保证，所有合法的局部拼法，最后都会毫不遗漏地归入那四类 tatile 的结构中？”顾南舟追问道。
江临放下笔，从黑色的笔记本后方，抽出一张折叠好的方格纸，展开，推到顾南舟面前。
那是一张极其详尽的表格。
字迹工整，逻辑严密。
表头清晰地写着。
Local patches (局部邻域类型) | Valid (是否合法) | Forced tatile (归属强迫元砖) | dead End (死胡同终止条件)
表格里，密密麻麻地列出了数十种顶点周围的拼接组合。
每一行，都像是对某种可能性下达的判决书。
博士生看到这张表，眼角的肌肉忍不住抽搐了一下。
他研究铺砌三年，导师课题组里第二号人物，王氏砖的不可判定性他能从头推到尾。
所以他下意识地想要去挑刺，去找漏洞。
局部邻域怎么可能枚举得完，组合是指数爆炸的。
可这张折叠的方格纸。
几十种邻域，每一种的合法性、归属、死亡条件，列得整整齐齐。
他要问的那个漏洞，在表格第十七行，已经被叉掉了。
满腹话语说到嘴边，变成了一句：“同学，你提前算过这个？”
“算过一部分。”江临回答。
“不，这不是一部分。”顾南舟打断了博士生的话，目光像扫描仪一样快速掠过表格上的数据，“所有导致拓扑发散的关键邻域，全在这里了。”
没有人再随口插话。
当局部边界的约束条件、有限邻域的穷举排除、以及合法的强迫归类赤裸裸地摆在桌面上时，任何感性的怀疑都显得苍白无力。
第一层的几何强迫。
第二层的结构继承。
在这张纸上，它已经呈现出一种很难随口击穿的结构闭合。
这已经绝不是什么课堂上的信手涂鸦。
c216教室里，剩下的几个学生全都围了过来，却没有人说话。
他们看着那张纸上的怪异十三边形，就像在看一个从外星坠落的造物。
顾南舟目光灼灼地盯着江临，问：“第三步呢？”
“反证周期性。”
江临拿回纸笔，在最右侧的空白处写下一个简洁的公式。
t+v=t
“假设，存在一个非零的平移向量v，使得这整张无限大的铺砌图案，在沿着v平移之后，能够与原图案严密重合，这就是周期性的定义。”
他说完，在左侧画出了第一层tatile的边界示意图。然后用虚线在外面框出第二层。
接着是第三层。
一层嵌套一层，每一层的尺度都在以固定的比例放大。
“刚才的第二步已经证明，任何合法的铺法，都不会是混乱的，它一定会被局部边界的强迫力量，严格分解成第一层的tatile。”
“第一层，又会被强迫组合成第二层。”
“第二层组合成第三层，这种具有固定结构的层级，将向外无限延伸。”
顾南舟看着那个嵌套的图形，手心微微出汗。
他已经完全预判到了江临接下来的逻辑走向。
那将会是临门一脚。
江临继续推进逻辑的锁扣：“既然如此，如果存在这个周期向量v，那么它平移的，不仅仅是底层的单砖。”
“它还必须保持每一层tatile的分解边界不发生改变。”
“因为一旦改变，平移后的图案就会导致原本的层级边界错位，这与所有合法铺法必然符合该强迫层级的结论相矛盾。”
他在纸上写
然后在这个块体旁边标上了一个字母：h（hex）。
紧接着，他利用不同的拼接方式，又画出了另外三种由单砖组成的复合块体，分别标上：t（turtle）、p（propeller）、F（Fang）。
它们无一例外，边缘都带有极具特征的几何齿。
那个博士生眉头微微皱起，低声喃喃：“这是在造超大号的砖？”
顾南舟抬起手，示意他安静。
江临没有理会外界的声音，继续在白纸上推演。
“这四种块体，属于第一层级的tatile。”
他在h块体的旁边，开始画下一层级的替代图（substitution p）。
“根据这块单砖的几何特性，h块体本身，可以被更小的h、t、p、F 按照一种不可更改的拓扑结构拼凑而成。”
“t也可以。”
“p和F也一样。”
笔尖在纸上快速游走，每一条边每一个转角的比例都异常精准。
“每一种更高层级的块体，都能由上一层的这四类tatile严密组合出来。”
画到第三层级替代的时候，纸面上的结构已经变得相当复杂，但无论内部如何交错，整体的边界依然保持着最初设定的拓扑特征。
这一刻没有人再随口质疑。
因为从这一刻开始，问题已经从这是不是涂鸦，变成了这张局部邻域表有没有漏项。
刚才那个博士生更是已经处于屏气凝神状态，死死盯着那些咬合的缝隙。
“这是一套严格的substitution rule（替代规则）？”顾南舟小声问道。
“对。”江临停下笔，“只要这套替代规则可以在数学上无限迭代，就意味着这个平面可以被尺度越来越大，直至趋于无穷的tatile完全覆盖。”
他在纸的边缘写下：
level 0: tile
level 1: h/t/p/F
level 2: substituted h/t/p/F
...
level n→∞: tiles the plane
“能铺满，第一步闭合。”江临淡淡地说。
“你现在只证明了，依靠这套替代规则，这块砖有一种非周期味道很强的铺法。”顾南舟盯着江临的眼睛，“我在课上说过，这远远不够。”
江临点头：“我知道。”
“所以你要证明，不是你在上帝视角选择了这个层级拼法，而是这块砖本身的几何边界，被迫且只能长成这个层级。”
“所以，第二步不是铺。”
江临将画满替代规则的A4纸往旁边推了推，又抽出一张新纸。
在纸的中央单独画出那块十三边形单砖。
“是强迫（Forcing）。”
他用笔尖圈出单砖边界上的三个关键凹角，接着，又圈出对应的几个凸角。
“我们不看全局，只看局部。在严密铺砌的约束下，平面不允许留下任何缝隙，也不允许任何重叠。这意味着，单砖上的每一个凹角，都面临着生死存亡的选择，它必须被另一块砖的某一种凸角咬住。”
他在凹角周围，画出了第一种邻接砖的拼法。
“第一种补法，合法。”
接着是第二种。
“第二种，合法。”
第三种。
“第三种，合法。”
然后，他画出了第四种拼法。
这块砖在凹角处完美贴合，但在另一端，却突兀地伸出了一截。
江临毫不犹豫地在它旁边打了一个巨大的叉。
“这类局部填法，表面上看在一个顶点处接上了，但只要再往外延伸一圈，它的另一端就会形成一个30°的死角。而我们的单砖系统里，不存在能填补30°缺口的凸起，这是一条死路。”
博士生忍不住插嘴：“等一下，你怎么能确定局部邻域只有这几种拼接可能？平面的组合是指数级爆炸的。”
“因为角度资源是有限的。”江临连头都没抬，“在一个平面内，围绕任意一个顶点的角度和必须严格等于2π。这块砖能提供的内角和外角，都在30°和90°的整数倍系统内。”
“它能贡献的角度组合是有限集，因此，围绕任何一个顶点的局部邻域，其种类也是一个有限集。”
“能闭合并向外延伸的，只有我列出的这几类。”
“不能闭合的，会在第一圈或第二圈迅速暴露死角，无法继续铺设。”
顾南舟忍不住点了点头。
他很清楚这段推导的分量。
这才是单砖问题最难的地方，不是人为设计，而是几何形体自发的剪枝。
江临继续在纸上扩展第一种合法的局部拼法。
第一圈补完后，几块砖组合在一起，中心外围不可避免地形成了一个更大的，呈现特定形状的凹槽区域。
“看到这个新的边界了吗？”江临用笔尖敲了敲那个大凹槽，“这个凹槽的形状，它不能被单砖随意填补。经过刚才的角度排除法，填补它的唯一合法途径，就是将其组合成我刚才在第一步里定义的h块体，或者t块体。”
他一边快速勾勒，一边陈述几何法则：“单砖的局部相容性约束，逼出了第一级tatile。”
“而第一级tatile组合后形成的新边界，依然带有同样类型的凹凸约束，且尺度放大，这会继续逼出第二级tatile。”
“这个过程一旦启动，就无法停止，底层的几何规则强迫上层建筑按唯一指定的路线演化。”
“你如何保证，所有合法的局部拼法，最后都会毫不遗漏地归入那四类 tatile 的结构中？”顾南舟追问道。
江临放下笔，从黑色的笔记本后方，抽出一张折叠好的方格纸，展开，推到顾南舟面前。
那是一张极其详尽的表格。
字迹工整，逻辑严密。
表头清晰地写着。
Local patches (局部邻域类型) | Valid (是否合法) | Forced tatile (归属强迫元砖) | dead End (死胡同终止条件)
表格里，密密麻麻地列出了数十种顶点周围的拼接组合。
每一行，都像是对某种可能性下达的判决书。
博士生看到这张表，眼角的肌肉忍不住抽搐了一下。
他研究铺砌三年，导师课题组里第二号人物，王氏砖的不可判定性他能从头推到尾。
所以他下意识地想要去挑刺，去找漏洞。
局部邻域怎么可能枚举得完，组合是指数爆炸的。
可这张折叠的方格纸。
几十种邻域，每一种的合法性、归属、死亡条件，列得整整齐齐。
他要问的那个漏洞，在表格第十七行，已经被叉掉了。
满腹话语说到嘴边，变成了一句：“同学，你提前算过这个？”
“算过一部分。”江临回答。
“不，这不是一部分。”顾南舟打断了博士生的话，目光像扫描仪一样快速掠过表格上的数据，“所有导致拓扑发散的关键邻域，全在这里了。”
没有人再随口插话。
当局部边界的约束条件、有限邻域的穷举排除、以及合法的强迫归类赤裸裸地摆在桌面上时，任何感性的怀疑都显得苍白无力。
第一层的几何强迫。
第二层的结构继承。
在这张纸上，它已经呈现出一种很难随口击穿的结构闭合。
这已经绝不是什么课堂上的信手涂鸦。
c216教室里，剩下的几个学生全都围了过来，却没有人说话。
他们看着那张纸上的怪异十三边形，就像在看一个从外星坠落的造物。
顾南舟目光灼灼地盯着江临，问：“第三步呢？”
“反证周期性。”
江临拿回纸笔，在最右侧的空白处写下一个简洁的公式。
t+v=t
“假设，存在一个非零的平移向量v，使得这整张无限大的铺砌图案，在沿着v平移之后，能够与原图案严密重合，这就是周期性的定义。”
他说完，在左侧画出了第一层tatile的边界示意图。然后用虚线在外面框出第二层。
接着是第三层。
一层嵌套一层，每一层的尺度都在以固定的比例放大。
“刚才的第二步已经证明，任何合法的铺法，都不会是混乱的，它一定会被局部边界的强迫力量，严格分解成第一层的tatile。”
“第一层，又会被强迫组合成第二层。”
“第二层组合成第三层，这种具有固定结构的层级，将向外无限延伸。”
顾南舟看着那个嵌套的图形，手心微微出汗。
他已经完全预判到了江临接下来的逻辑走向。
那将会是临门一脚。
江临继续推进逻辑的锁扣：“既然如此，如果存在这个周期向量v，那么它平移的，不仅仅是底层的单砖。”
“它还必须保持每一层tatile的分解边界不发生改变。”
“因为一旦改变，平移后的图案就会导致原本的层级边界错位，这与所有合法铺法必然符合该强迫层级的结论相矛盾。”
他在纸上写