标准数独技巧教程
标准数独技巧教程
  • 数独概述
    • 初来乍到
    • 坐标
    • 数独历史
  • 直观技巧
    • 排除
    • 唯一余数
    • 剩余数的概念
  • 局部标记技巧
    • 割补(LoL)
    • 直观区块
    • 直观数组
      • 直观隐性数组
      • 直观显性数组
    • 直观复杂出数
  • 基础候选数技巧
    • 候选数的概念
    • 直观和局标技巧在全标下的样子
    • 标准鱼
      • 鱼的基本推理
      • 鳍鱼
      • 退化鱼
      • 孪生鱼
      • 鱼的直观和互补性
      • 鱼的命名
    • XY-Wing 及推广
      • XY-Wing 及推广的基本推理
      • XY-Wing 及推广的残缺逻辑
    • W-Wing
    • 唯一矩形(UR)
      • 唯一矩形的基本推理
      • 唯一矩形的类型
      • 残缺唯一矩形
    • 可规避矩形(AR)
    • 唯一环(UL)
      • 唯一环的基本推理
      • 唯一环的形成条件
      • 唯一环的规格推广
    • 拓展矩形(XR)
      • 拓展矩形的基本推理
      • 拓展矩形的规格推广
    • 全双值格致死解法(BUG)
      • 全双值格致死解法的基本推理
      • 全双值格致死解法的其他类型
    • 欠一数组(ALC)
    • 融合待定数组(SdC)
    • 跨区数组(DDS)
    • 伪数组(ESP)
    • 均衡数组
    • 烟花数组
      • 烟花数组的基本推理
      • 烟花数组的各种用法
  • 链理论
    • 双强链
    • 同数链和异数链
      • 同数链和异数链的定义
      • 头尾异数链的删数规则
      • 不连续环的两种模式
      • 有技巧名的异数链
    • 区块链
    • 待定数组链(ALS 链)
      • 链关系的第二定义
      • 有技巧名的待定数组结构
      • 在链里的待定数组
    • 隐性待定数组链(AHS 链)
    • 毛刺数组链
    • 待定唯一矩形链(AUR 链)
    • 待定可规避矩形链(AAR 链)
    • 环
      • 环的基本推理
      • 数组、鱼和欠一数对的环视角
      • 区块环
    • 强制链
      • 强制链的基本推理
      • 有技巧名的强制链
    • 动态链
      • 动态链的基本推理
      • 动态强制链
      • 动态环的删数
  • 附录
    • 术语索引
  • 逻辑学基础
    • 逻辑学简要介绍
    • 分情况讨论和析取消去
    • 反证法
  • 组合数学基础
    • 抽屉原理/鸽巢原理
  • 其他
    • 作者介绍
    • 版权声明
由 GitBook 提供支持
在本页
  • 数组
  • 鱼
  • 欠一数对
  1. 链理论
  2. 环

数组、鱼和欠一数对的环视角

Loop Views of Subset, Fish & Almost Locked Candidates

最后更新于8天前

之前我们学习了环的推理过程,那么接下来我们来看看一些之前学过的数独技巧,它们都有什么样子的环的视角。

本篇的内容不一定非得需要单独学习,因为他们在实战里并不会用到,但为了扩充你对环的理解思维和方式,所以临时添加了这篇内容。

数组

最熟悉的就是数组了。实际上,数组的双值格其实就对应了链的强链关系;而弱链关系则是两个相同数字之间的连接。我们来看一个例子。

如图所示。显性数组如果要用环的方式画出来就得这么画。

尤其需要强调的是,环因为强链关系的缘故,数组暂时只有双值格的数组能转化为环的视角。像是三数组那种单元格是三值格而不是双值格的情况,因为有三种数字的存在,所以是不能转换的。

不过,双值格三数组是可以的。比如这个例子。

如图所示。

另外,隐性数组也是可以的,不过我们需要把强链关系从单元格内调到数字之间,就好比是把刚才显性数对里的那个弱链的位置更换为强链关系即可。

鱼

是的。鱼也是有环的视角的。我们先来看二阶鱼。

如图所示。我们只需要把 r37 这两个作为假设排列的区域改造为强链关系、然后用弱链把四个候选数连起来即可。

和前面数组的要求类似,鱼也需要要求假设排列的地方只能有两处才能转换为强链关系。如果可以的话,更高规格的鱼也是可以转的,比如这个三阶鱼的例子。

如图所示。

欠一数对

还能转为环视角的技巧还有一个,欠一数对。这似乎很意外,但我们来看一个例子就知道了。

如图所示。这是一个欠一数对(的环的画法)。我们刚才大概看出了环视角下强链弱链关系在数组和鱼里的体现,所以对于欠一数对而言,它的体现理应也可以等价改为环里的强弱链关系。比如这个题里,假设我们选取 r6c7 是隐性的一边,而 r9c9 是显性的一边,那么我们需要依赖 c7 上 2 和 8 的位置关系(此时两个数都是共轭对),便会得到这样一个由 6 个节点构成的环。删数是所有弱链的位置可以删的地方,不过不巧的是这个题就只有 r9c8 <> 8 这一个删数。

这便是欠一数对的环的画法。

我相信,三个技巧足以阐述我想表达的东西。下一节我们继续探讨环的使用,不过我们想给各位拓展一些技巧构造,一些不方便放在前面一个大板块里的技巧,用环表明它的使用。

显性数对的环视角
双值格显性三数组的环视角
隐性数对的环视角
二阶鱼的环视角
三阶鱼的环视角
欠一数对的环视角