每日算法 — 使用java实现推箱子：死锁模式库与SAT归约求解
引言 推箱子（Sokoban）被公认为计算复杂度最高的益智游戏之一——即使在一个小型地图中，其状态空间也可能爆炸式增长。传统的 BFS 或 A*...
标签： 布尔可满足性
每日算法 — 使用java实现扫雷：SAT求解器归约与DPLL单元传播判定
引言 扫雷（Minesweeper）不仅是一款经典益智游戏，还被证明是NP完全问题。本文使用Java将扫雷局面归约为布尔可满足性问题（SAT），并应用经典的DPLL算法配合单元传播（Unit...
