第93章 用游標卡尺量山（6 / 9）
“嗯。”
“为了解决状態替代和规模放大的问题，你再查到了substitution（替代系统）。”
“嗯。”
“最后，你不可避免地撞到了这个领域的终极问题，你查到了 monotile（非周期单砖问题）。”
“对。”江临点点头。
这一刻，逻辑闭环。
顾南舟没有再问下去，他颤抖著手，把笔记本往回翻。
开始以一种全新的视角，审视这本笔记本上的內容。
明面上，他看见的是一页页草图，实际上，那属於人类智慧跨越学科鸿沟的实证录。
最开始，是计算机科学的圆圈和有向箭头。
中间，是代数结构的等价状態合併表。
再往后，线条开始扭曲，变成了一块块被画成极其不规则的齿状边缘的几何轮廓。
那些轮廓还很粗糙，带著强烈的工程学审美的粗暴感。
有些多边形旁边，用红笔写著：dead。
有些形状相似的区块旁边，被圈在一起，標註著：same class。
还有一些几个形状咬合在一起的组块，旁边用惊嘆號標註著：forced larger block。
这些绝对不是数学系正统教科书里会使用的正式数学符號。
没有同调群，没有流形，没有代数数论。
但顾南舟已经完全看懂了它们的意思。
死路， 同类， 强迫成更大的块。
这哪里是一个数学初学者在画砖。
这是一个工程师，一个物理学家，试图把他写出来的搜索器里庞大而抽象的状態剪枝逻辑，硬生生地用二维平面的物理边界给画出来。
顾南舟猛地抬起头。
“草稿纸上的那块十三边形，就是从这些算法的边界状態图里，自己长出来的？”
“是。”江临回答得很篤定。
“它绝对不是你从penrose（彭罗斯）的风箏与飞鏢铺砌，或者任何已有的aperiodic set（非周期集合）里，反推或者修改出来的？”
“不是。”江临摇了摇头，语气里带著些许对这种低效方法的否定，“用已有的集合反推，会陷入先入为主的几何直觉陷阱。而且……”
他顿了一下。
“我今天下午，才第一次系统地看这个问题。”
c216再次陷入了死寂。 ↑返回顶部↑
“为了解决状態替代和规模放大的问题，你再查到了substitution（替代系统）。”
“嗯。”
“最后，你不可避免地撞到了这个领域的终极问题，你查到了 monotile（非周期单砖问题）。”
“对。”江临点点头。
这一刻，逻辑闭环。
顾南舟没有再问下去，他颤抖著手，把笔记本往回翻。
开始以一种全新的视角，审视这本笔记本上的內容。
明面上，他看见的是一页页草图，实际上，那属於人类智慧跨越学科鸿沟的实证录。
最开始，是计算机科学的圆圈和有向箭头。
中间，是代数结构的等价状態合併表。
再往后，线条开始扭曲，变成了一块块被画成极其不规则的齿状边缘的几何轮廓。
那些轮廓还很粗糙，带著强烈的工程学审美的粗暴感。
有些多边形旁边，用红笔写著：dead。
有些形状相似的区块旁边，被圈在一起，標註著：same class。
还有一些几个形状咬合在一起的组块，旁边用惊嘆號標註著：forced larger block。
这些绝对不是数学系正统教科书里会使用的正式数学符號。
没有同调群，没有流形，没有代数数论。
但顾南舟已经完全看懂了它们的意思。
死路， 同类， 强迫成更大的块。
这哪里是一个数学初学者在画砖。
这是一个工程师，一个物理学家，试图把他写出来的搜索器里庞大而抽象的状態剪枝逻辑，硬生生地用二维平面的物理边界给画出来。
顾南舟猛地抬起头。
“草稿纸上的那块十三边形，就是从这些算法的边界状態图里，自己长出来的？”
“是。”江临回答得很篤定。
“它绝对不是你从penrose（彭罗斯）的风箏与飞鏢铺砌，或者任何已有的aperiodic set（非周期集合）里，反推或者修改出来的？”
“不是。”江临摇了摇头，语气里带著些许对这种低效方法的否定，“用已有的集合反推，会陷入先入为主的几何直觉陷阱。而且……”
他顿了一下。
“我今天下午，才第一次系统地看这个问题。”
c216再次陷入了死寂。 ↑返回顶部↑