每日算法 — 使用java实现扫雷：约束传播与概率推理
一、游戏介绍与问题建模 扫雷（Minesweeper）是微软 Windows 系统自带的经典益智游戏，最早出现在 1990 年的 Windows Entertainment Pack 中，随后成为 Windows...
标签： 扫雷
每日算法 — 使用java实现扫雷：SAT求解器归约与DPLL单元传播判定
引言 扫雷（Minesweeper）不仅是一款经典益智游戏，还被证明是NP完全问题。本文使用Java将扫雷局面归约为布尔可满足性问题（SAT），并应用经典的DPLL算法配合单元传播（Unit...
