arXiv cs.AI· Zilai Wang·· 12 小时前AI 评分18
非局部水晶交换谜题的最优 93 步解法
An Exact 93-Move Solution to a Nonlocal Crystal-Exchange Puzzle
AI 导读
研究者为游戏 Order of the Sinking Star 的 11*11 水晶交换谜题给出了显式 93 条指令解法，并用精确代价有界广度优先搜索排除了所有更短解。搜索以 17 个占用格和 1 个活动格表示局面，最终保留 605,349,215 个占用集合与 1,863,925,136 个状态，构成该实例的计算机辅助证明，并附源码、执行日志与复现驱动。
正文 · AI 翻译
摘要：我们确定了解决《沉星教团》某一关卡所需的最少方向指令数，该关卡被建模为 11*11 棋盘上的水晶交换谜题。一条指令会将玩家与所选行或列中最近的水晶交换，无论距离多远；只有空射线才允许普通的单位行走。两道门仅在全部十六颗水晶都占据其目标格时，才允许玩家进入出口。我们给出了一个显式的 93 条指令解法，并通过精确的、代价有界广度优先搜索排除了所有更短的解法。该搜索用十七个被占据格和一个活动格表示一个局面。其可采纳启发式将指令代价划分为压缩核心抽象与残余移动两部分，并由一个必要的激活绕行和一个角落访问条件加以强化。完整的计算保留了 605,349,215 个占据集合和 1,863,925,136 个状态。我们证明了这些归约和剪枝条件，描述了精确的存储方案，并提供了源代码、执行日志和复现驱动程序。该结果是针对指定实例的计算机辅助证明，并具有明确的实现信任边界。
| 学科： | 人工智能（cs.AI）；组合数学（math.CO） |
| 引用为： | arXiv:2610.29493 [cs.AI] |
| （或 arXiv:2610.29493v1 [cs.AI] 用于此版本） | |
| https://doi.org/10.48550/arXiv.2610.29493 由 DataCite 颁发的 arXiv DOI（待注册） |
提交历史
来自：Zilai Wang [查看电子邮件]
[v1]
2026 年 10 月 21 日星期三 09:49:13 UTC（39 KB）
来源：arXiv cs.AI · arxiv.org