第93章 用游標卡尺量山（5 / 9）
陈彦听到这里，本能地往前跨了半步，打断道：“这不就是算法领域的穷举搜索吗，那这和铺砌到底有什么关係？你总不能把数字排著排著，排成了一块砖吧？”
江临抬起头，淡淡地看了他一眼。
“关係不在排序本身。”
“关係在，搜索器为什么会爆。”
江临伸手將笔记本翻到了另一页。
上面写著——mps v0.2 核心瓶颈： 哪些状態可以被合併？
哪些死路可以被提前砍掉？
砍掉之后，怎么在数学上严谨地证明：我没有误杀掉真正的解？
江临修长的手指悬停在纸面上，指著第一行字。
“如果两个算法状態，在未来无论面临什么样的输入，无论怎么往下走，它们都会面对完全相同的后续选择空间，那么它们就应该被归入同一个等价类。”
手指下移，指向第二行。
“如果某条路径从当前节点开始，无论未来怎么修补、怎么增加比较器，它都不可能超过当前已知的最好结果，那么这条路径就是无效的。它应该在第一步就被提前砍掉，不再占用算力。”
最后，手指重重地点在第三行上。
“但这里有一个问题：当你决定用算法砍掉一类状態时，你必须在全局给出一个证明，证明它绝对不可能参与到任何合法的最终排序网络中。”
他说得很平静。
却让顾南舟原本只是震惊的脸庞上，慢慢爬上了一层近乎惊悚的明悟。
因为江临刚才说的这三句话，如果把主语换一下，换成离散几何与铺砌理论的专属语言，就是另一套令所有数学家浑身发抖的东西。
如果两个局部边界未来的延展方式和约束条件等价，它们就可以被归入同一类超砖。
如果某种局部的拼贴方法，在向外延展一圈时，必然在边缘產生无法闭合的死角，那么它就是一个死路。
你必须在局部邻域和边界延展上证明——它不可能参与任何合法的、覆盖全平面的铺砌。
这不是排序和砖的关係。
这是两个看似风马牛不相及的问题，在最底层的抽象逻辑上，共用著同一套骨架。
陈彦也慢慢听懂了。
他盯著那几页笔记，炙热的目光仿佛要在纸上烧出一个洞来。
“所以你从头到尾，都不是在找砖。”
“我一开始不是。”江临坦然承认。
“那你到底在找什么？”陈彦的声音近乎呻吟。
“找一种数学语言。”江临抬起眼眸，目光深邃得像一台没有感情的精密仪器，“我需要一种语言，能够清晰地说明，为什么那些有限的，只存在於局部的微小约束条件，在向外扩展到很大、甚至扩展到无限的尺度时，依然具有绝对的强迫性。”
顾南舟接过话，他的声音比刚才低沉了许多，仿佛胸腔里压著一块巨石。
“所以，顺著这个逻辑，你查到了tiling（铺砌理论）。” ↑返回顶部↑
江临抬起头，淡淡地看了他一眼。
“关係不在排序本身。”
“关係在，搜索器为什么会爆。”
江临伸手將笔记本翻到了另一页。
上面写著——mps v0.2 核心瓶颈： 哪些状態可以被合併？
哪些死路可以被提前砍掉？
砍掉之后，怎么在数学上严谨地证明：我没有误杀掉真正的解？
江临修长的手指悬停在纸面上，指著第一行字。
“如果两个算法状態，在未来无论面临什么样的输入，无论怎么往下走，它们都会面对完全相同的后续选择空间，那么它们就应该被归入同一个等价类。”
手指下移，指向第二行。
“如果某条路径从当前节点开始，无论未来怎么修补、怎么增加比较器，它都不可能超过当前已知的最好结果，那么这条路径就是无效的。它应该在第一步就被提前砍掉，不再占用算力。”
最后，手指重重地点在第三行上。
“但这里有一个问题：当你决定用算法砍掉一类状態时，你必须在全局给出一个证明，证明它绝对不可能参与到任何合法的最终排序网络中。”
他说得很平静。
却让顾南舟原本只是震惊的脸庞上，慢慢爬上了一层近乎惊悚的明悟。
因为江临刚才说的这三句话，如果把主语换一下，换成离散几何与铺砌理论的专属语言，就是另一套令所有数学家浑身发抖的东西。
如果两个局部边界未来的延展方式和约束条件等价，它们就可以被归入同一类超砖。
如果某种局部的拼贴方法，在向外延展一圈时，必然在边缘產生无法闭合的死角，那么它就是一个死路。
你必须在局部邻域和边界延展上证明——它不可能参与任何合法的、覆盖全平面的铺砌。
这不是排序和砖的关係。
这是两个看似风马牛不相及的问题，在最底层的抽象逻辑上，共用著同一套骨架。
陈彦也慢慢听懂了。
他盯著那几页笔记，炙热的目光仿佛要在纸上烧出一个洞来。
“所以你从头到尾，都不是在找砖。”
“我一开始不是。”江临坦然承认。
“那你到底在找什么？”陈彦的声音近乎呻吟。
“找一种数学语言。”江临抬起眼眸，目光深邃得像一台没有感情的精密仪器，“我需要一种语言，能够清晰地说明，为什么那些有限的，只存在於局部的微小约束条件，在向外扩展到很大、甚至扩展到无限的尺度时，依然具有绝对的强迫性。”
顾南舟接过话，他的声音比刚才低沉了许多，仿佛胸腔里压著一块巨石。
“所以，顺著这个逻辑，你查到了tiling（铺砌理论）。” ↑返回顶部↑