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

W-Wing

W-Wing

上一页XY-Wing 及推广的残缺逻辑下一页唯一矩形(UR)

最后更新于2个月前

前面的内容我们已经介绍过了 XY-Wing 的推理,以及规格的推广,和残缺模式。下面我们来介绍另外一个、从 XY-Wing 推广,但结构不太相同的技巧。

基本推理

如图所示。这个结构将原有的 XY-Wing 的拐点单元格改造成了一个区域的两个填数位置。这次我们和之前的假设完全一样,不过讨论 b2 的填数。

  • 如果 r1c6 = 4,则因为 r1c9 <> 4 的关系,此时 r1c9 = 6;

  • 如果 r3c6 = 4,则因为 r3c1 <> 4 的关系,此时 r3c1 = 6。

我们恰好发现,r1c9 和 r3c6 具有完全一样的候选数,所以在假设 r1c6 和 r3c6 的两种填数位置的情况时,最终结论那一边的单元格必定填的是相同的数字 6。

这能看出来什么呢?显然这两个情况里的结论必须有至少一个成立,因为他们都是走 b2 里所有数字 4 的全部填数位置派生出来的情况。而这两种情况必定指向了要么 r1c9 要么 r3c1 填 6 的结论。所以,r1c23 是不能填 6 的——这两个单元格但凡有一个是 6,都会同时让 r1c9 和 r3c1 这两个刚刚才得到必须至少有一个 6 的结论直接破掉,于是就矛盾了。

所以,r1c23 <> 6 是这个题的结论。

这个技巧的推理逻辑的整理来自于一个名为 Woods 的人,因此为了纪念他对这个数独技巧的贡献,就沿用了名字作为技巧名称,并由于它类似于 XY-Wing 的推理过程,所以将 XY-Wing 的“XY”部分剔除,改成 Woods,即 Wood's Wing。而一般在称呼此技巧时,我们用的是这个技巧的简称,即 W-Wing。

和之前 XY-Wing 也一样,因为它也不太好翻译,所以也没有中文名。中文环境下也使用的是 W-Wing 在称呼这个技巧。

下面我们再来看一个例子,不过就自己推理吧。如下图所示。

多分支 W-Wing(Multi-Branch W-Wing)

下面我们来推广 W-Wing 的分支。

如图所示。和前面的例子几乎一致,只是 r2 这里用到的原本是两个数,现在改成了三个数。所以需要讨论三种情况:

  • 如果 r2c1 = 3,则 r6c1 = 5;

  • 如果 r2c2 = 3,则 r7c2 = 5;

  • 如果 r2c4 = 3,则 r4c4 = 5。

显然,这三种情况必须有一个成立,所以 r6c1、r7c2 和 r4c4 里至少会有一个位置填 5。所以,r4c2 是不能填 5 的,否则会直接矛盾。因此,这个题的结论是 r4c2 <> 5。

我们把这个称为多分支 W-Wing(Multi-Branch W-Wing)。我们再来看一个例子,这个例子也希望你自己理解。如图所示。

至此,W-Wing 的内容就结束了。还算比较容易理解的,对吧?

W-Wing 结构
W-Wing,另一个例子
多分支 W-Wing
多分支 W-Wing,另一个例子