查看示例网格
Forcing Chain 分别假设一格的两个候选数，沿两条分支推理。如果两种情况都要求同样的排除，不必选择哪种情况为真，也能确定结论。
两格共享行、列或 3×3 宫，就称为互相看到。排除候选需要说明中的具体位置关系确实成立。
看一个应用中的例子
C7只有候选数6, 8，其中恰好一个成立。接下来依次考察两种情况，不先选定答案。
每种假设可能迫使更多Naked Single成立。最后比较两种情况下被排除的候选数，只有共同的排除才能应用到原始网格。
仅作假设：令C7 = 6，观察由此确定的单数。实际网格不会改变。
在此假设下，C2只可能是4。在假设网格中填入这一Naked Single。
在此假设下，C3只可能是7。在假设网格中填入这一Naked Single。
在此假设下，C1只可能是1。在假设网格中填入这一Naked Single。
在此假设下，B1只可能是5。在假设网格中填入这一Naked Single。
在此假设下，I1只可能是4。在假设网格中填入这一Naked Single。
在此假设下，D1只可能是2。在假设网格中填入这一Naked Single。
在此假设下，E1只可能是7。在假设网格中填入这一Naked Single。
在此假设下，B7只可能是8。在假设网格中填入这一Naked Single。
在这一情形中，这些笔记不可能成立：E7: 8; B8: 8; C8: 8。
回到原始网格。第二种情形改为假设C7 = 8，不保留第一种情形中的填数。
回到未被改变的原始网格，假设推理证明可以排除这些笔记：E7: 8; B8: 8; C8: 8。实际网格中只改变这些笔记。
图片展示与这一步相关的候选数。某个笔记没有显示，并不代表它已经被逻辑排除。
在课程中继续练习
每条分支只能继续必然成立的步骤。预览不修改原网格，最后只应用已经证明的共同结论。
在应用的对应课程中，可以跟着推理，再独立尝试。面对新题目时，要从那张网格的实际候选数重新判断。
Forcing Chain 常见问题
Forcing Chain 只是猜测吗？
不是。两种可能会分别接受有理由的检查。最后只应用不依赖最初选择的结论。
为什么例子从两个候选开始？
两个分支必须涵盖起始格的全部可能。如果还有未检查的第三个候选，就无法推出该结论。
分支中可以继续哪些步骤？
只能继续必然成立的步骤，不能再自由增加假设。例子追踪由此产生的 Naked Single。
只有一个分支排除就足够了吗？
不够。同一个排除必须在两种情况都成立，才能成为共同结论。
第一分支的数字会留给第二分支吗？
不会。第二分支从未改变的原始网格重新开始。临时填入并不是实际游戏的一步。
在 Unisu 中继续练习
下载 iPhone 或 Android 版 Unisu，解一道数独，或跟着课程练习这项技巧。
