每日算法 — 使用java实现五子棋：威胁空间搜索与VCF必胜路径检测
引言 五子棋（Gomoku）规则简单但策略深邃。与Minimax搜索不同，高水平五子棋AI通常采用威胁空间搜索（Threat Space Search,...
分类： AI算法
每日算法 — 使用java实现扫雷：SAT求解器归约与DPLL单元传播判定
引言 扫雷（Minesweeper）不仅是一款经典益智游戏，还被证明是NP完全问题。本文使用Java将扫雷局面归约为布尔可满足性问题（SAT），并应用经典的DPLL算法配合单元传播（Unit...
每日算法 — 使用java实现数字华容道：IDA*迭代深化与线性冲突启发式
引言 数字华容道（15-Puzzle）是经典的滑块拼图游戏。由于其状态空间高达 $16! \approx 2 \times 10^{13}$，盲目搜索无法求解。IDA（Iterative Deepening...
