查看示例网格
Nishio 假设一个候选成立，再跟随被迫确定的步骤。如果某格没有可能数字，或某个必需数字无处可放，原假设就不成立。
看一个应用中的例子
考察C1中的候选数7，暂时只是假定它成立。预览中接下来的所有填数都依赖这一假设。
只沿被迫成立的Naked Single和Hidden Single推理。若某格无数可填，或某必需数字无处可放，就证明假设错误，随后丢弃整个预览。
仅作假设：令C1 = 7，观察由此确定的单数。实际网格不会改变。
在此假设下，H1只可能是8。在假设网格中填入这一Naked Single。
在此假设下，第2行中的8只能放在D2。在假设网格中填入这一Hidden Single。
在此假设下，第2行中的1只能放在F2。在假设网格中填入这一Hidden Single。
在此假设下，第2行中的5只能放在E2。在假设网格中填入这一Hidden Single。
在此假设下，E9只可能是6。在假设网格中填入这一Naked Single。
在此假设下，E8只可能是7。在假设网格中填入这一Naked Single。
第7行中必需的7已无处可填，产生矛盾，因此最初的假设错误。
回到未被改变的原始网格，假设推理证明可以排除这些笔记：C1: 7。实际网格中只改变这些笔记。
图片展示与这一步相关的候选数。某个笔记没有显示，并不代表它已经被逻辑排除。
在课程中继续练习
Unisu 的形式只跟随 Naked Single 和 Hidden Single。之后回到未改动的原网格，只删除被否定的候选。
在应用的对应课程中，可以跟着推理，再独立尝试。面对新题目时，要从那张网格的实际候选数重新判断。
Nishio 常见问题
Nishio 假设的是什么？
暂时把一个候选当作真。之后所有步骤都依赖该假设，不改变实际游戏状态。
什么情况属于矛盾？
例如一格没有候选，或某区域需要的数字已经无处可放。这会否定最初假设。
找不到下一个 Single 就能否定分支吗？
不能。卡住不等于矛盾。没有实际矛盾，不能删除假设的候选。
最后能保留哪些改动？
只保留已证明的起始候选排除。推理中暂时填入的数字全部撤回。
与 Forcing Chain 有什么不同？
Nishio 反驳一个假设。这里展示的 Forcing Chain 比较两种可能，使用两者共同的结论。
在 Unisu 中继续练习
下载 iPhone 或 Android 版 Unisu，解一道数独，或跟着课程练习这项技巧。
