每日算法 — 使用java实现逻辑谜题：命题逻辑约束满足与回溯求解框架
引言 约束满足问题（Constraint Satisfaction Problem,...
标签： 单元传播
每日算法 — 使用java实现扫雷：SAT求解器归约与DPLL单元传播判定
引言 扫雷（Minesweeper）不仅是一款经典益智游戏，还被证明是NP完全问题。本文使用Java将扫雷局面归约为布尔可满足性问题（SAT），并应用经典的DPLL算法配合单元传播（Unit...
