数独中的强制链技巧

强制链从一个或多个可能前提出发，沿候选数推理直到出现矛盾，或所有分支汇合到同一结论。它是完整的逻辑证明，不是随意试数。

什么是强制链？

单条强制链可通过矛盾证明某个前提为假；多重强制链会从一个格子的全部候选数，或一个单位中某数字的全部位置出发。若每个分支都得到相同结果，该结果就必然成立。

示例：所有分支都推出R1C7=4

假设第4行的候选数1只能位于R4C4、R4C6或R4C8：

• R4C4=1 → R8C4=6 → R6C8=6 → R1C8=3 → R1C7=4
• R4C6=1 → R4C7=3 → R1C7=4
• R4C8=1 → R1C8=3 → R1C7=4

三个前提必有一个为真，而全部分支都到达R1C7=4，所以可直接填入4。

共同结论与矛盾

若穷尽所有分支后得到同一结论，就称为共同结论；若某个前提导致格子无候选数、单位无处放置某数字或重复已填数字，则该前提为假。

如何构建强制链？

1. 选择完整的前提集合。
2. 只沿有效强弱关系推理。
3. 分别记录每个分支。
4. 在矛盾或共同结果处停止。
5. 确认覆盖全部前提后再执行结论。

强制链与AIC的区别

AIC通常有明确的强弱交替结构和端点规则；强制链是更宽泛的概念，可包含矛盾链和多分支汇合。强制网还会在分支内部再次分叉，复杂度更高。

常见误区

只检查方便的分支

必须穷尽起点的所有可能情况。

箭头之间缺少逻辑依据

每一步都必须由真实候选数约束推出。

把强制链当作试错

应记录每一步为何被迫成立，并使用完整证明。

总结

覆盖所有可能前提，追踪有效推理，只采用所有分支共同证明或由矛盾推出的结论。

常见问题

强制链属于猜测吗？

不属于，它检查完整的逻辑分支并只保留必然结论。

什么是共同结论？

所有可能起始分支都到达的结果必然为真。

强制网有什么不同？

强制链通常是线性路径，强制网允许分支内部继续分叉。