数独是经典的约束满足问题：

• 变量：每个空格子
• 值域：1-9
• 约束：同行/同列/同宫不重复

CSP 广泛应用于排课、地图着色、电路布线等实际问题中。

1. 找到下一个空格子
2. 尝试填入一个满足约束的数字
3. 递归地尝试解决剩余格子
4. 如果卡住（无合法数字），回退上一步，换一个数再试

回溯 = 深度优先搜索 + 剪枝。每一步排除不可能的分支， 避免盲目遍历所有 9⁸¹ 种可能。

在格子里标注"候选数字"（笔记），就是在手动做约束传播—— 每填入一个数字，其所在行、列、宫中的候选值都会被排除。 本游戏会在你填数时自动清理相关笔记。

数独是带额外"宫"约束的拉丁方（Latin Square）。 拉丁方只要求每行每列不重复，数独额外要求每个 3×3 子格也不重复—— 这使得可行解从天文数字锐减到约 6.67×10²¹ 个。