← 返回小游戏
数独研习室中文本地教程
使用指南

自动链探索:从一个假设观察影响

临时假设候选为真或假,查看真假怎样接力。

先记住一句话

图上的真与假,都先建立在起点假设上。
自动链探索:从一个假设观察影响操作流程1在候选数操作中选择“探索推理链”2选择起点假设为真或假,点击一个现有小数字3青色表示在这个假设下为真,红色为假4调整深度1–30
操作流程示意;完整步骤见下方。

怎样找到这个突破口

  1. 在候选数操作中选择“探索推理链”。
  2. 选择起点假设为真或假,点击一个现有小数字。
  3. 青色表示在这个假设下为真,红色为假;黄色表示该网络产生矛盾。
  4. 调整深度1–30;3D允许通过同格候选跨到其他数字。
  5. Shift再点可以叠加独立网络;双色斜纹表示不同网络给出不同判断。
  6. 探索只供观察,不会直接删除笔记。

为什么这样做成立

独立网络分别研究不同的假设,不能把它们当作同时成立。某候选在两个网络里一真一假,只说明分支不同,不是原题矛盾。

如果同一个网络在一个起点假设下严格推出矛盾,才有依据否定那个假设。达到深度或时间上限不能当成证明。

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

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

操作对照例题

自动链探索:从一个假设观察影响 · 对照示范 1

在此题上跟做 ↗

从一个双候选格的小数字出发建立假设网络,观察同格与同区域的传播,再清除网络。

自动链探索:从一个假设观察影响 · 对照示范 1 · 先看盘面列号在上方,行号在左侧。显示这张题的完整候选笔记。黄色为观察格,红色划线可删除,绿色大数字为确定填数。12134567891345678913456789231345678913456789134567891345678912345678912345678912345678912345678912456789123456789123456789123456789123456789123456789123456789123456789123456789124567891234567891234567891234567891234567891234567891234567891234567891234567891245678912345678912345678912345678912345678914123567891235678912356789341235678912356789123567891235678912345678912345678912345678912345678912456789123456789123456789123456789123456789123456789123456789123456789123456789124567891234567891234567891234567891234567891234567891234567891234567891234567891245678912345678912345678912345678912345678912345678912345678912345678912345678912456789123456789123456789123456789123456789112233445566778899

深色为题面提示,蓝色为作答;小数字是完整候选。边看本课步骤,边在这张题上操作。

  1. 在探索推理链操作中点击一个现有候选,并记录起点是真还是假。
  2. 沿第一段传播解释格内或同区域关系,避免只背颜色。
  3. 比较关闭与开启跨数字传播时能看见的影响。
  4. 适当调整探索深度,认识截断不代表无解。
  5. 清除观察网络,确认候选笔记和正式数字仍保持原样。

自己动手:5 道巩固练习

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

本课已完成 0 / 5 题

巩固练习 1 / 5

自动链探索:从一个假设观察影响 · 巩固练习 1

打开这题,自己做 ↗

从一个双候选格的小数字出发建立假设网络,观察同格与同区域的传播,再清除网络。

同结构变式 · 主对角线镜像 · 数字重新编号 · 来源:推理探索:双候选格与跨数字网络

自动链探索:从一个假设观察影响 · 巩固练习 1 · 先看盘面列号在上方,行号在左侧。显示这张题的完整候选笔记。黄色为观察格,红色划线可删除,绿色大数字为确定填数。38123456789123456789123456789781234567891234567891234567891234567891245678912345678912345678912345678912345689123456789123456789123456789123456789124567891234567891234567891234567891234568912345678912345678912345678912345678912456789123456789123456789123456789123456891234567891234567891234567891234567892313456789134567891345678927134567891345678913456789134567891245678912345678912345678912345678912345689123456789123456789123456789123456789124567891234567891234567891234567891234568912345678912345678912345678912345678912456789123456789123456789123456789123456891234567891234567891234567891234567891245678912345678912345678912345678912345689123456789123456789123456789123456789112233445566778899
需要时,看一点提示

网络颜色是“在这个假设下”的结果。不同起点的网络分别阅读,不把它们混成一个证明。

做完后,对照操作清单

本课练习按操作清单自查:

  1. 在探索推理链操作中点击一个现有候选,并记录起点是真还是假。
  2. 沿第一段传播解释格内或同区域关系,避免只背颜色。
  3. 比较关闭与开启跨数字传播时能看见的影响。
  4. 适当调整探索深度,认识截断不代表无解。
  5. 清除观察网络,确认候选笔记和正式数字仍保持原样。

完成后试着向孩子说明每个按钮的作用,再换一道题独立操作。

最容易弄错的地方

  • 不要把青色全部直接填入正式答案。
  • 不要把不同网络的真假冲突合并为一个反证。
  • UR2关系只有核验唯一解后才允许使用,手动画线不参与传播。

和孩子一起说一说

先请孩子做一遍,再让他用自己的话解释这个操作改变了什么。

学会了吗?做个小检查

独立的两个假设网络对同一候选给出相反判断,说明什么?