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

高亮、着色与手动画线

给自己看见的关系做观察标记。

先记住一句话

画了线,只代表你做了标记。
高亮、着色与手动画线操作流程1在候选操作中选择高亮、着色或连线2着色可用十种颜色3连线先点起点再点终点,实线表示你标记的强关系,虚线表示弱关系4可导入最多四条不同颜色的观察链
操作流程示意;完整步骤见下方。

怎样找到这个突破口

  1. 在候选操作中选择高亮、着色或连线。
  2. 着色可用十种颜色;同色重复点击可取消。
  3. 连线先点起点再点终点,实线表示你标记的强关系,虚线表示弱关系。
  4. 可导入最多四条不同颜色的观察链;端点必须是当前现有候选。
  5. 标记可以清除、撤销,并用JSON保留。

为什么这样做成立

手工标注不经过证明,所以求解器不会把它当作约束。真正的自动推理关系由当前数字和候选重新计算。

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

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

操作对照例题

高亮、着色与手动画线 · 对照示范 1

在此题上跟做 ↗

在四个双候选格的候选盘上练习着色和画线,区分自己画的标记与已核验的推理关系。

高亮、着色与手动画线 · 对照示范 1 · 先看盘面列号在上方,行号在左侧。显示这张题的完整候选笔记。黄色为观察格,红色划线可删除,绿色大数字为确定填数。12123456789123456789123456789231234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891234567891412345678912345678912345678934123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789123456789112233445566778899

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

  1. 给一个双候选格的两个小数字着不同颜色。
  2. 在格内两候选之间标记强关系,并说出“恰好一个”的理由。
  3. 找一对同区域同数字候选画弱关系,说明它们最多一个为真。
  4. 切换颜色、撤销或清除标记,确认没有删除候选。
  5. 如要保存标记,导出 JSON;不要把标记当成新增的题目约束。

自己动手:5 道巩固练习

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

本课已完成 0 / 5 题

巩固练习 1 / 5

高亮、着色与手动画线 · 巩固练习 1

打开这题,自己做 ↗

在四个双候选格的候选盘上练习着色和画线,区分自己画的标记与已核验的推理关系。

同结构变式 · 原方向 · 数字重新编号 · 来源:手工观察:给双候选关系做标记

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

先检查端点都是真实存在的候选。画线是观察记录,不会让一个关系自动变真。

做完后,对照操作清单

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

  1. 给一个双候选格的两个小数字着不同颜色。
  2. 在格内两候选之间标记强关系,并说出“恰好一个”的理由。
  3. 找一对同区域同数字候选画弱关系,说明它们最多一个为真。
  4. 切换颜色、撤销或清除标记,确认没有删除候选。
  5. 如要保存标记,导出 JSON;不要把标记当成新增的题目约束。

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

最容易弄错的地方

  • 画了强线就以为两个端点必有一个真。
  • 把导入的观察链当成已经核实的证明。

和孩子一起说一说

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

学会了吗?做个小检查

手动画出的强线会让求解器相信这个关系吗?