第92章 一块不该存在的砖（2 / 19）
所有可能的动作序列像决堤的洪水一样漫出来，直接把这个体力无限的工人淹死在了內存里。
靠剪枝撑出来的生机，在指数级的爆炸面前不值一提。
江临听著机箱的轰鸣，捏了捏眉心。
这是结构性的绝症。
已经不是多掛机几个小时能解决的问题了。
要让这套工具链成为核心，他必须解决更底层的逻辑。
哪些状態可以合併？
哪些死路可以提前砍掉？
以及砍掉之后，怎么在数学上证明自己没有误杀真正的最优解？
江临切回日誌文档，敲下几行字。
mpsv0.2目標：不再只会试，要学会合併状態，排除死路，证明剪枝合法。
写完，他停了一下。
光標在末尾有节奏地闪烁。
他又补上一行。
需要数学语言：局部规则，状態转移，全局约束。
这几个词，不知怎么地，就在他脑子里意外接上了另一条线。
让他想起了一个更老的问题。
如果一块形状的物理边界，就是一种天然的局部规则？
如果两次图形的严密拼接，就是一次状態转移？
错误接法会自动走进死路，而正確接法会被迫像长晶体一样，蔓延成越来越宏大的结构。
这跟他在机箱里让mps疯狂试错，本质上没有什么区別。
江临重新把光標放回搜索框。
这一次，他没搜代码，而是敲下了一行英文。
local rules force global structure
回车。
几秒钟后，页面上跳出了几个词：tiling（铺砌）、substitution（替代）、aperiodic（非周期）。
他顺著连结一路点进去。
penrose 铺砌、wang tiles（王氏砖）、准晶体。
最后，在一篇学术综述的边角处，他看见了那个如针尖般锐利的词。
monotile（单一瓷砖）。 ↑返回顶部↑
靠剪枝撑出来的生机，在指数级的爆炸面前不值一提。
江临听著机箱的轰鸣，捏了捏眉心。
这是结构性的绝症。
已经不是多掛机几个小时能解决的问题了。
要让这套工具链成为核心，他必须解决更底层的逻辑。
哪些状態可以合併？
哪些死路可以提前砍掉？
以及砍掉之后，怎么在数学上证明自己没有误杀真正的最优解？
江临切回日誌文档，敲下几行字。
mpsv0.2目標：不再只会试，要学会合併状態，排除死路，证明剪枝合法。
写完，他停了一下。
光標在末尾有节奏地闪烁。
他又补上一行。
需要数学语言：局部规则，状態转移，全局约束。
这几个词，不知怎么地，就在他脑子里意外接上了另一条线。
让他想起了一个更老的问题。
如果一块形状的物理边界，就是一种天然的局部规则？
如果两次图形的严密拼接，就是一次状態转移？
错误接法会自动走进死路，而正確接法会被迫像长晶体一样，蔓延成越来越宏大的结构。
这跟他在机箱里让mps疯狂试错，本质上没有什么区別。
江临重新把光標放回搜索框。
这一次，他没搜代码，而是敲下了一行英文。
local rules force global structure
回车。
几秒钟后，页面上跳出了几个词：tiling（铺砌）、substitution（替代）、aperiodic（非周期）。
他顺著连结一路点进去。
penrose 铺砌、wang tiles（王氏砖）、准晶体。
最后，在一篇学术综述的边角处，他看见了那个如针尖般锐利的词。
monotile（单一瓷砖）。 ↑返回顶部↑