非局部水晶交换谜题求得精确 93 步解法

研究人员针对《Order of the Sinking Star》中 11*11 棋盘的水晶交换谜题，确定了求解所需的最少方向指令数为 93 步。通过成本有界广度优先搜索及可采纳启发式剪枝，计算排除了所有更短路径，共保留 605,349,215 个占位集合与 1,863,925,136 个状态。该研究提供了完整的计算机辅助证明、源代码、执行日志与复现程序。