强制兜底

穷举强制：逐一尝试源单元格或区域的每个备选，只保留所有分支共有的结论。

强制链

一条证明填入或排除的开放混合 X/Y 蕴含链。

一个单值假设被矛盾所推翻。

一个源格子中的每个候选数都导致相同结论。

某数字在一个区域中的每个可能位置都导致相同结论。

链中发现候选数后果产生新的蕴含。

一条可使用额外一级子规则的动态链。

强制链推理嵌套在另一条强制链中。

这些方法有意识地使用分情况分析。强制网从“恰好一个”的约束出发——一个单元格的所有候选数，或一个区域内某数字的所有位置——只保留所有分支共有的结论。Nishio 测试单个候选数，当分支违反该数字的规则时将其撤回。

动态强制链允许分支中发现的蕴含扩展分析，嵌套形式允许一条链在内部调用另一条链。它们是本参考中最强大的条目，也是最接近试错法的条目：每个页面都明确写出源集合与共有结论，使推理仍可验证。