Sokoban: 寻找推箱子最优解的AI求解器
Show HN: Sokoban AI Solver

这是一款基于A*算法的Sokoban(推箱子)AI求解器,由Menachem Kornreich开发。它不仅是简单的游戏辅助,更是能在毫秒级内计算出数学上证明的最少步数解法的强大工具。项目将原生C++最优求解器移植为纯JavaScript,利用紧凑的位掩码状态和Dial bucket队列技术,在浏览器中高效处理数百万状态。前14关实时求解,第15关则回放了离线计算的最优解。无论是想挑战极限步数,还是研究算法实现,这都是一个极佳的开源项目。
它返回的是经过数学证明的最少步数解,而不仅仅是一个可行解。