推箱子游戏背后有没有什么数学原理？

看了一些方法，基本是从结果搜开始的路子

Generating Sokoban Puzzle Game Levels with Monte Carlo Tree Search

Procedural Generation of Sokoban Levels                 

一些关卡生成器，感兴趣的话可以再去看算法的具体细节 http://www.erimsever.com/sokoban7.htm