★ 1
arXiv 论文给出《Order of the Sinking Star》谜题 93 步最优解证明
研究者将游戏关卡建模为 11×11 棋盘上的晶体交换谜题，用带成本上界与可采纳启发式的广度优先搜索，证明 93 条指令为最短解，并排除所有更短方案。论文公开源码、执行日志与复现脚本，属计算机辅助证明。
arXiv cs.AI11 天前
共 1 篇相关资讯，按重要度与时间排序，每 3 小时更新。
研究者将游戏关卡建模为 11×11 棋盘上的晶体交换谜题，用带成本上界与可采纳启发式的广度优先搜索，证明 93 条指令为最短解，并排除所有更短方案。论文公开源码、执行日志与复现脚本，属计算机辅助证明。