《Order of the Sinking Star》晶体交换谜题的精确 93 步最优解

研究者对游戏《Order of the Sinking Star》中一个 11×11 棋盘的晶体交换谜题给出精确最优解：一个显式 93 条指令的通关方案，并通过代价受限的广度优先搜索排除了所有更短解。搜索最多保留 605,349,215 个占用集合与 1,863,925,136 个状态，配合可采纳启发式与剪枝条件构成计算机辅助证明，作者公开了源代码与执行日志以供复现。