BUILD · 解题程序
让程序找到答案，也解释为什么
从回溯搜索到约束传播，理解数独求解器的核心方法，并找到可直接使用的工具与代码。
四类常见实现
回溯搜索
选择空格，尝试合法数字；遇到冲突就撤销。配合最少候选优先可显著减少分支。
候选数传播
持续维护候选集合，把唯一候选、唯一位置和区块关系转化为规则。
Algorithm X / DLX
把盘面编码为精确覆盖问题，再用 Dancing Links 高效搜索可行解。
SAT / CSP / ILP
把规则表达为变量与约束，交给通用求解器处理，便于扩展变体规则。