推箱子的最少推动数
推动会改变箱子位置和空间结构，普通移动只改变人物位置，因此游戏优先比较推动数，再比较移动数。
推动与移动
两个解法可能推动数相同、走路长度却不同。最少推动表示不存在推动更少的解；最少移动则还要比较人物的每一步，是更严格的另一项结论。
本站使用的证明
准入求解器把无需推动即可互达的人物位置归为一个区域，再按广度优先遍历所有合法推动。首次完成时的推动深度证明最少推动数。
为何标注参考移动
保存的回放合法且能够完成，但区域归并并不证明相同推动数下的最短走路路线，所以移动数明确标为参考，不冒充全局最优。
如何优化
先达到已证明的推动目标，再保持箱子顺序并缩短人物换边路线。使用提示或撤销仍可完成，但结果会如实标记为 Assisted。