每日算法 — 使用java实现推箱子：BFS与死锁检测
一、游戏介绍与问题建模 推箱子（Sokoban）是一款经典的益智游戏，最早由日本游戏设计师 Thinking Rabbit 于 1982...
标签： 死锁检测
每日算法 — 使用java实现推箱子：死锁模式库与SAT归约求解
引言 推箱子（Sokoban）被公认为计算复杂度最高的益智游戏之一——即使在一个小型地图中，其状态空间也可能爆炸式增长。传统的 BFS 或 A*...
每日算法 — 使用java实现推箱子：DFS回溯与死锁检测
游戏介绍...
