研究者证明水晶交换谜题93步最优

研究者 Zilai Wang 为游戏 Order of the Sinking Star 的 11×11 水晶交换谜题给出了显式 93 条指令解法，并用精确代价有界广度优先搜索排除了所有更短解，构成该实例的计算机辅助证明。 搜索以 17 个占用格和 1 个活动格表示局面，最终保留 605,349,215 个占用集合与 1,863,925,136 个状态。论文附有源码、执行日志与复现驱动。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。