arXiv · cs.AI· Zilai Wang·· 6 天前AI 评分27
精确证明：非局域晶体交换谜题的最短 93 步解法
An Exact 93-Move Solution to a Nonlocal Crystal-Exchange Puzzle
来源与原文
arXiv · cs.AI
作者：Zilai Wang
发布时间：（北京时间）
阅读原始来源 · arxiv.org ↗完整链接与内容说明
https://arxiv.org/abs/2610.29493v1
本站目前仅有 AI 导读与摘要，未展示原文正文；技术细节、代码和完整结论请查看原始来源。
AI 导读
研究者对《Order of the Sinking Star》中一个 11×11 棋盘的晶体交换谜题给出最短解证明：玩家指令可将自身与同行或同列最近的 crystal 交换，十六个 crystal 全部就位时双门开启。论文给出显式 93 条指令解法，并用代价受限的广度优先搜索排除一切更短解，计算保留 605,349,215 个占用集合和 1,863,925,136 个状态，构成一项计算机辅助证明，并附源代码与执行日志。
来源：arXiv · cs.AI · arxiv.org