每日算法 — 使用java实现杀手数独：约束传播与候选数排除
引言 杀手数独（Killer...
标签： 约束传播
每日算法 — 使用java实现水排序：约束传播与图着色判定
水排序（Water Sort...
每日算法 — 使用java实现模拟城市：元胞自动机与贪心区域规划算法
一、游戏背景与核心机制...
每日算法 — 使用java实现数回：回路约束传播与并查集连通检测
一、游戏背景与规则 数回（Slitherlink / 回线拼图）是日本 Nikoli...
每日算法 — 使用java实现娃娃机：几何抓取规划与概率控制算法
引言 娃娃机（Claw...
每日算法 — 使用java实现扫雷：SAT求解器归约与DPLL单元传播判定
引言 扫雷（Minesweeper）不仅是一款经典益智游戏，还被证明是NP完全问题。本文使用Java将扫雷局面归约为布尔可满足性问题（SAT），并应用经典的DPLL算法配合单元传播（Unit...
