第92章 一块不该存在的砖（3 / 19）
江临盯著这个词看了足足半分钟，眼神发亮。
隨后在搜索框里重新输入：aperiodic tiling monotile。
……
下午，江临去了江大图书馆，借了四本书。
一本有限自动机，一本组合优化，一本符號动力系统。
以及一本封皮都有些卷边的离散几何讲义。
他想找一种证明方式，一种能说明有限的局部约束，怎样在无限扩展中仍然有效的数学语言。
翻到离散几何讲义的中间部分时，他的目光停在一个章节名上。
aperiodic tilings（非周期铺砌）。
他快速扫过。
先是 wang tiles，再是 penrose tilings，接著是 substitution tilings。
最后，在这一章快要结束的地方，讲义用极短的一段话提到了一个概念：
einstein problem: whether a single tile can force aperiodicity.
（爱因斯坦问题：是否存在单一形状的瓷砖，能迫使铺砌呈现非周期性。）
一块砖。
仅仅凭藉自身的几何形状，就能铺满无限的平面，但所有铺法永远不可能產生周期性的重复。
这简直就是mps思想完美的几何实体化。
程序里，局部动作排除错误路径，把搜索器逼进唯一的可行域。
几何里，一块砖的局部边界排除所有错误拼法，把无限的平面逼进一种深邃的层级结构。
一虚一实，严丝合缝。
江临合上那本封皮卷边的离散几何讲义，从图书馆出来的时候，脑海中依然盘旋著局部规则、状態转移和全局约束这三个词。
原本在微程序搜索器（mps）中遇到的状態空间爆炸问题，此刻在几何学的语境下，似乎被投射成了一个具象的实体。
穿过林荫道，他本打算直接去车棚取自行车回七中，余光瞥见路旁公告栏上的一张海报。
离散几何读书班
主题：非周期铺砌、准晶与单砖问题——局部规则，如何强迫出全局结构。
地点：数学学院c楼 216
主持：顾南舟（副教授）
时间：15:30
江临的脚步一下子停住了。
局部规则，如何强迫出全局结构？ ↑返回顶部↑
隨后在搜索框里重新输入：aperiodic tiling monotile。
……
下午，江临去了江大图书馆，借了四本书。
一本有限自动机，一本组合优化，一本符號动力系统。
以及一本封皮都有些卷边的离散几何讲义。
他想找一种证明方式，一种能说明有限的局部约束，怎样在无限扩展中仍然有效的数学语言。
翻到离散几何讲义的中间部分时，他的目光停在一个章节名上。
aperiodic tilings（非周期铺砌）。
他快速扫过。
先是 wang tiles，再是 penrose tilings，接著是 substitution tilings。
最后，在这一章快要结束的地方，讲义用极短的一段话提到了一个概念：
einstein problem: whether a single tile can force aperiodicity.
（爱因斯坦问题：是否存在单一形状的瓷砖，能迫使铺砌呈现非周期性。）
一块砖。
仅仅凭藉自身的几何形状，就能铺满无限的平面，但所有铺法永远不可能產生周期性的重复。
这简直就是mps思想完美的几何实体化。
程序里，局部动作排除错误路径，把搜索器逼进唯一的可行域。
几何里，一块砖的局部边界排除所有错误拼法，把无限的平面逼进一种深邃的层级结构。
一虚一实，严丝合缝。
江临合上那本封皮卷边的离散几何讲义，从图书馆出来的时候，脑海中依然盘旋著局部规则、状態转移和全局约束这三个词。
原本在微程序搜索器（mps）中遇到的状態空间爆炸问题，此刻在几何学的语境下，似乎被投射成了一个具象的实体。
穿过林荫道，他本打算直接去车棚取自行车回七中，余光瞥见路旁公告栏上的一张海报。
离散几何读书班
主题：非周期铺砌、准晶与单砖问题——局部规则，如何强迫出全局结构。
地点：数学学院c楼 216
主持：顾南舟（副教授）
时间：15:30
江临的脚步一下子停住了。
局部规则，如何强迫出全局结构？ ↑返回顶部↑