数独游戏

三大公理（规则约束）：

• 行唯一性：每行必须包含 1-9 各一次
• 列唯一性：每列必须包含 1-9 各一次
• 宫唯一性：每宫（3×3 区块）必须包含 1-9 各一次

推导技巧：

• 唯一余数法 — 单元格行列宫已有 8 个不同数字，剩下的即为答案
• 隐性唯一法 — 某数字在行/列/宫中只有一个可能的位置
• 试数法/回溯 — 假设一个数字，检验是否导致矛盾