← 返回小游戏
数独研习室中文本地教程
极难

数字强制链

拿同一个候选做两次独立推演:一次假设它真,一次假设它假。如果两种情况都沿合法链推出同一个结论,这个结论就可以直接使用。

先记住一句话

这个候选真也好、假也好,结论都一样。

怎样找到这个突破口

  1. 选一个候选,把问题分成完整的两种情况:“这个候选为真”和“这个候选为假”。
  2. 在第一张临时记录里,沿原盘面的静态强弱关系推导,记录各候选的真假。
  3. 回到完全相同的原盘面,在第二张记录里从相反假设出发;不要沿用第一张记录删过的候选。
  4. 比较两张记录:同一格的同一候选,若两边都推出真,就可以填入;若两边都推出假,就可以删除。

为什么这样做成立

一个候选只有成立与不成立两种状态,已经穷尽所有可能。因此,两种情况共同支持的结论不依赖我们选定哪一种起始状态。

这里可以比较跨数字的结果。“数字强制链”在本地的起点是同一个候选的真假,并不是随意枚举某数字的几个位置。

对照例题:边看题,边学方法

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

对照例题 1

数字强制链 · 对照示范 1

去盘面练习 ↗

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

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

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

自己动手:5 道巩固练习

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

本课已完成 0 / 5 题

巩固练习 1 / 5

数字强制链 · 巩固练习 1

打开这题,自己做 ↗

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

同结构变式 · 上下镜像 · 数字重新编号 · 来源:同一候选开或关的共同结论

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

先回想本课口诀:“这个候选真也好、假也好,结论都一样。” 图中已保留本题完整候选,先找结构,暂时不要展开答案。

做完后,对照答案与理由

所有分支(r5c1=3;r5c1≠3)已穷尽可能性;每一条静态强弱链都推出 r5c5 不是 4,因此可以删除这个候选。

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

    分支 1:r5c1 的 3 为真

    1. r5c1 的 3 为真
    2. r9c1 的 3 为假
    3. r9c1 的 8 为真
    4. r9c5 的 8 为假
    5. r9c5 的 4 为真
    6. r5c5 的 4 为假

    分支 2:r5c1 的 3 为假

    1. r5c1 的 3 为假
    2. r5c1 的 4 为真
    3. r5c5 的 4 为假

最容易弄错的地方

  • 只有一边到达目标,另一边没到达,不能称为共同结论。
  • 两边必须是同一个候选的同一种真假状态;“一边推出这里有 3,另一边推出那里有 3”不是同一结论。
  • 两条记录必须独立开始,不能把相反假设下的临时删数混用。
本地支持的具体范围

本地两个分支都使用原盘面已有的静态强弱关系,并保留各自到目标的真实路径;不通过动态重算或任意搜索补足缺失分支。

和孩子一起说一说

把纸分成“真”和“假”两栏。最后只圈出两栏完全一样的那句话,问孩子:“还需要知道起点是哪种情况吗?”

学会了吗?做个小检查

假设 A 真时推出候选 B 假,假设 A 假时也推出 B 假。可以确定什么?