第92章 一块不该存在的砖（8 / 19）
能不能周期铺，哪是看几块手绘图就能断言的。
顾南舟没有將这位博士生的话听进去，他正盯著纸上那几块拼接的图形出神。
那些凹角、凸角和几条斜边的组合关係，正在顾南舟脑海中快速重组。
半晌，他拉开旁边的一把椅子坐下，看著江临，沉吟道：“要不要试著证明一下看看？”
江临点点头。
因为这不是他刚才在教室里灵光一闪的涂鸦。
在过去几天里，他为了mpsv0.2反覆画过很多局部状態图。
有些是程序里的状態。
有些被他顺手画成了平面上的边界。
他原本只是想找一种可视化方式，帮助自己理解哪些路会死，哪些路会被迫归入同一类。
直到顾南舟讲到metatile，他才意识到，那些被自己当成辅助图的边界草稿，本身就可以变成一个几何问题。
他只是缺乏一套正统的数学语言去包装它。
而今天下午，顾南舟的读书班，刚好把这套语言递到了他手里。
substitution（替代规则）。
forced hierarchy（强迫层级）。
metatile（元砖）。
这些词汇，如同坚固的模具，將他那些原本只是用来辅助理解死路、归类、继承的边界草图，压入了一个能被当代离散几何学界审视的框架內。
“第一步，我不会直接证明非周期，而是先证明它能够铺满整个平面。”
江临说话的时候，在纸的左侧，画了几个单砖，將它们拼合在一起，形成了一个更大的，轮廓依然带有特定凹凸特徵的块体。
然后在这个块体旁边標上了一个字母：h（hex）。
紧接著，他利用不同的拼接方式，又画出了另外三种由单砖组成的复合块体，分別標上：t（turtle）、p（propeller）、f（fang）。
它们无一例外，边缘都带有极具特徵的几何齿。
那个博士生眉头微微皱起，低声喃喃：“这是在造超大號的砖？”
顾南舟抬起手，示意他安静。
江临没有理会外界的声音，继续在白纸上推演。
“这四种块体，属於第一层级的metatile。”
他在h块体的旁边，开始画下一层级的替代图（substitution map）。
“根据这块单砖的几何特性，h块体本身，可以被更小的h、t、p、f 按照一种不可更改的拓扑结构拼凑而成。”
“t也可以。”
“p和f也一样。” ↑返回顶部↑
顾南舟没有將这位博士生的话听进去，他正盯著纸上那几块拼接的图形出神。
那些凹角、凸角和几条斜边的组合关係，正在顾南舟脑海中快速重组。
半晌，他拉开旁边的一把椅子坐下，看著江临，沉吟道：“要不要试著证明一下看看？”
江临点点头。
因为这不是他刚才在教室里灵光一闪的涂鸦。
在过去几天里，他为了mpsv0.2反覆画过很多局部状態图。
有些是程序里的状態。
有些被他顺手画成了平面上的边界。
他原本只是想找一种可视化方式，帮助自己理解哪些路会死，哪些路会被迫归入同一类。
直到顾南舟讲到metatile，他才意识到，那些被自己当成辅助图的边界草稿，本身就可以变成一个几何问题。
他只是缺乏一套正统的数学语言去包装它。
而今天下午，顾南舟的读书班，刚好把这套语言递到了他手里。
substitution（替代规则）。
forced hierarchy（强迫层级）。
metatile（元砖）。
这些词汇，如同坚固的模具，將他那些原本只是用来辅助理解死路、归类、继承的边界草图，压入了一个能被当代离散几何学界审视的框架內。
“第一步，我不会直接证明非周期，而是先证明它能够铺满整个平面。”
江临说话的时候，在纸的左侧，画了几个单砖，將它们拼合在一起，形成了一个更大的，轮廓依然带有特定凹凸特徵的块体。
然后在这个块体旁边標上了一个字母：h（hex）。
紧接著，他利用不同的拼接方式，又画出了另外三种由单砖组成的复合块体，分別標上：t（turtle）、p（propeller）、f（fang）。
它们无一例外，边缘都带有极具特徵的几何齿。
那个博士生眉头微微皱起，低声喃喃：“这是在造超大號的砖？”
顾南舟抬起手，示意他安静。
江临没有理会外界的声音，继续在白纸上推演。
“这四种块体，属於第一层级的metatile。”
他在h块体的旁边，开始画下一层级的替代图（substitution map）。
“根据这块单砖的几何特性，h块体本身，可以被更小的h、t、p、f 按照一种不可更改的拓扑结构拼凑而成。”
“t也可以。”
“p和f也一样。” ↑返回顶部↑