第92章 一块不该存在的砖（6 / 19）
底层逻辑是相通的。
一个多小时的读书班转眼结束。
顾南舟宣布散会，但没有人立刻离开。
学术討论的余温还在。
几个学生围在长桌前，研究顾南舟带来的一些高清列印图纸。
有人在爭论准晶体衍射图谱的对称性，有人在討论十次对称轴在实际材料中的稳定性。
刚才那个提问的研二学生拿了支铅笔，在草稿纸上隨手画著各种扭曲的多边形，试图凑出一个不规则的形状。
“要是真有这么一块符合条件的单砖，它到底会长成什么鬼样子？”
他一边画一边摇头，语气轻鬆，全当是一个消遣的数学玩笑。
而江临呢？
他当然不是第一次见到这种问题。
mps的状態空间爆炸，逼著他反覆想一件事。
怎样把看似无穷的路径，压成有限几类状態。
阿里预赛里的磁性几何魔方，也曾逼他把纷乱的空间构型压成连接图与上界。
拆盲盒那道题，则让他再一次確认，只要对称性足够强，状態就不该按具体对象命名，而该按还缺几种这样的等价类命名。
他脑海中，mps v0.2的那三个问题。
哪些状態可以合併？
哪些死路可以提前砍掉？
砍掉之后，怎么证明自己没有误杀真正的解？
顾南舟刚才讲的 metatile，像是突然给这三个问题换了一套几何外壳。
转移，不再是 compare-swap，而是一块砖贴上另一块砖。
死路，也不再是跑不通的候选程序，而是一个无法填补的角缺口。
他原本为 mps 画过许多状態转移草图。
有些草图，为了看清边界，已经被他画成了几何拼接。
现在，这些草图忽然有了新的名字。
metatile。
substitution。
forced hierarchy。
所以他第一眼想的不是图案好不好看。
而是三个问题。 ↑返回顶部↑
一个多小时的读书班转眼结束。
顾南舟宣布散会，但没有人立刻离开。
学术討论的余温还在。
几个学生围在长桌前，研究顾南舟带来的一些高清列印图纸。
有人在爭论准晶体衍射图谱的对称性，有人在討论十次对称轴在实际材料中的稳定性。
刚才那个提问的研二学生拿了支铅笔，在草稿纸上隨手画著各种扭曲的多边形，试图凑出一个不规则的形状。
“要是真有这么一块符合条件的单砖，它到底会长成什么鬼样子？”
他一边画一边摇头，语气轻鬆，全当是一个消遣的数学玩笑。
而江临呢？
他当然不是第一次见到这种问题。
mps的状態空间爆炸，逼著他反覆想一件事。
怎样把看似无穷的路径，压成有限几类状態。
阿里预赛里的磁性几何魔方，也曾逼他把纷乱的空间构型压成连接图与上界。
拆盲盒那道题，则让他再一次確认，只要对称性足够强，状態就不该按具体对象命名，而该按还缺几种这样的等价类命名。
他脑海中，mps v0.2的那三个问题。
哪些状態可以合併？
哪些死路可以提前砍掉？
砍掉之后，怎么证明自己没有误杀真正的解？
顾南舟刚才讲的 metatile，像是突然给这三个问题换了一套几何外壳。
转移，不再是 compare-swap，而是一块砖贴上另一块砖。
死路，也不再是跑不通的候选程序，而是一个无法填补的角缺口。
他原本为 mps 画过许多状態转移草图。
有些草图，为了看清边界，已经被他画成了几何拼接。
现在，这些草图忽然有了新的名字。
metatile。
substitution。
forced hierarchy。
所以他第一眼想的不是图案好不好看。
而是三个问题。 ↑返回顶部↑