四好导航
天气预报日历
← 返回小游戏
数独研习室中文本地教程
极难

Nishio 强制链

只做一个“这个候选为真”的假设。若从它出发的两条合法链，分别把另一个候选推成真和假，起始假设就发生矛盾，应当删除。

先记住一句话

一个起点，两路打架；删的是起点。
先学会：交替推理链 AIC

怎样找到这个突破口

  1. 选择一个现有候选，临时假设它为真，并写清起点。
  2. 从这个起点沿静态强弱关系走出第一条链，找到一个被强制为真的候选。
  3. 仍从同一个起点出发，寻找另一条链，是否能把刚才的同一候选强制为假。链中可以跨数字，但每段都必须有合法关系。
  4. 若同一候选在该假设下同时真和假，就删除起始候选；不要把假设过程中的真假直接当成最终填数。

为什么这样做成立

同一假设的必然推导不允许自相矛盾。两条链并不是两种互相独立的猜法，而是同一个假设必须同时承担的两个后果。

因为起点一成立就产生冲突，所以起点不可能成立。发现矛盾的是中间候选，真正获得确定排除的是最初的假设候选。

对照例题：边看题，边学方法

先自己观察，再按步骤对照。解题方法的题例保留完整候选，用于练习当前这一步；操作指南的题例用于跟做本课功能。候选结构练习可能有多个完整解。

对照例题 1

Nishio 强制链 · 对照示范 1

去盘面练习 ↗

先找相关区域，再说清楚结构为什么成立。

Nishio 强制链 · 对照示范 1 · 先看盘面列号在上方，行号在左侧。显示这张题的完整候选笔记。黄色为观察格，红色划线可删除，绿色大数字为确定填数。121234567891234567891234567891312345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678912345678923123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789112233445566778899

先自己观察。这是完整的数独候选盘，可以直接和文字步骤对照。

自己动手：5 道巩固练习

先不看答案，打开练习盘完成本课目标，再回来核对理由。练习通过数字替换、旋转或镜像形成同结构变式，帮助你换个位置也能认出来。

本课已完成 0 / 5 题

巩固练习 1 / 5

Nishio 强制链 · 巩固练习 1

打开这题，自己做 ↗

使用“Nishio 强制链”找到一步可以确定填数或删除候选的推理；先指出观察格，再说明理由。

同结构变式 · 副对角线镜像 · 数字重新编号 · 来源：一个假设引出两路矛盾

Nishio 强制链 · 巩固练习 1 · 先看盘面列号在上方，行号在左侧。显示这张题的完整候选笔记。黄色为观察格，红色划线可删除，绿色大数字为确定填数。123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789491234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891412345678912345678912345678919112233445566778899
需要时，看一点提示

先回想本课口诀：“一个起点，两路打架；删的是起点。” 图中已保留本题完整候选，先找结构，暂时不要展开答案。

做完后，对照答案与理由

假设 r5c5=4，两路静态强弱链却分别推出 r5c9=4 为真和为假；假设不成立，删除 4。

Nishio 强制链 · 巩固练习 1 · 查看结论列号在上方，行号在左侧。显示这张题的完整候选笔记。黄色为观察格，红色划线可删除，绿色大数字为确定填数。123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789491234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891412345678912345678912345678919112233445566778899
  • 第5行第5列删除候选 4
    • 展开这张例题的完整推理记录

    起点假设：r5c5 的 4 为真

    分支 1

    1. r5c5 的 4 为真
    2. r5c9 的 4 为假

    分支 2

    1. r5c5 的 4 为真
    2. r9c5 的 4 为假
    3. r9c5 的 1 为真
    4. r9c9 的 1 为假
    5. r9c9 的 9 为真
    6. r5c9 的 9 为假
    7. r5c9 的 4 为真

最容易弄错的地方

  • 不能分别在相反的两个起点假设下推导 B 真与 B 假，再说存在矛盾；那只是不同情况。
  • 必须冲突在同一格的同一候选上，不能只因两个不同格有同一种数字就认定矛盾。
  • 该方法并不要求全程只看一个数字；强关系成立时可以跨数字。
本地支持的具体范围

本地保留同一起点通向另一个候选真与假的两条静态链，不限定单数字；只在两条路径均已找到时返回。

和孩子一起说一说

让孩子把起点用方框圈住，把冲突点用圆圈圈住。问：“圆圈里打架了，证明方框里的哪句话不能成立？”

学会了吗？做个小检查

从“候选 A 真”出发，两条链分别推出候选 B 真和 B 假。最终能直接删除哪个候选？