Sokoban AI Solver

推箱子是 1980 年代的仓库谜题，要把所有箱子推到目标格；这里多了一条，搬运工自己也必须停在目标格上。所以每张图的目标格总比箱子多一个。你可以用方向键、WASD 或屏幕按钮亲自推，一步步撤销，也可以交给求解器，用三挡速度看它演示答案。这个求解器是作者把自己写的 C++ 原生引擎移植成纯 JavaScript 的版本，给出的不是随便一条解法，而是已证明步数最少的解法。它以推箱动作而非搬运工的单步作为搜索单位，把走到推动位置的最短步数加一作为代价，并把箱子位置压进 32 位掩码以保持状态紧凑。全部计算都在页面内完成，不涉及服务器。