每日算法 — 使用java实现数织：行列约束传播与回溯搜索求解
数织（Nonogram），又称逻辑绘图、日本拼图，是一种经典的逻辑益智游戏。玩家根据每行每列给出的数字提示，推断出哪些格子需要填充，最终揭示一幅隐藏图案。本文将用...
标签： 回溯搜索
每日算法 — 使用java实现精确覆盖：Dancing Links舞蹈链与X算法
引言 精确覆盖问题（Exact Cover...
每日算法 — 使用java实现DPLL算法：布尔可满足性判定与单元传播优化
问题描述 布尔可满足性问题（Boolean Satisfiability...
每日算法 — 使用java实现骑士巡游：Warnsdorff启发式与回溯剪枝搜索
问题描述 骑士巡游（Knight's Tour）是国际象棋中的经典数学谜题：给定一个 n × n...
每日算法 — 使用java实现填字游戏：交叉约束传播与字典树前缀匹配
引言 填字游戏（Crossword...
每日算法 — 使用java实现Slitherlink：约束传播与回溯搜索求解
引言 Slitherlink（数回/Loop the Loop）是日本 Nikoli 出版社发明的经典逻辑谜题：在由点构成的网格中，部分格子标有数字...
每日算法 — 使用java实现华容道：约束满足问题CSP建模与前向检查回溯
华容道是中国传统的滑块拼图游戏，玩家需要通过滑动棋子，将最大的"曹操"方块移动到出口位置。本文将华容道问题建模为约束满足问题（CSP），并使用前向检查（Forward...
