XY翼

描述

XY翼（也常被叫作 Y-Wing）是一种“删候选”的短链技巧：它由 1 个枢纽格和 2 个翼组成。
我们把 wing 叫作“翼”。

它的结构长这样：

• 枢纽格（蓝色）：只有两个候选 x、y
• 两翼（黄色）：分别是 {x、z} 和 {y、z}

结论也很简单：所有同时看见两翼的格子里，候选 z 都可以删除。

---

详解

先看上图：要删除的是 r7c9 里的候选数字 8（红色）。
蓝色枢纽是 r4c2，它只有候选 3、4。
两条黄色翼分别是：

• r4c9：候选 4、8
• r7c2：候选 3、8

为什么 r7c9 中的 8 能删？看一个很短的反证就够了：

• 假设 r7c9 = 8（红色候选为真）
• r7c9 能同时看见两翼，所以两翼里的 8 都会被排除：
  • r4c9 只能变成 4
  • r7c2 只能变成 3
• 这样一来，枢纽格 r4c2 就麻烦了：
  • r4c9 = 4 ⇒ r4c2 不能是 4（同一行冲突）
  • r7c2 = 3 ⇒ r4c2 不能是 3（同一列冲突）
  • r4c2 只剩 {3、4}，两边都被排除 ⇒ 无数可填（矛盾）

所以假设不成立：r7c9 不能是 8，候选数字 8 可以删除。

---

例子

下面三张图是其他 XY翼 的例子，你可以直接对照“枢纽（蓝）/ 两翼（黄）/ 删数（红）”的结构来观察：

---

如何寻找 XY翼？

一句话：先找一个双值枢纽 {x、y}，再找两条双值翼 {x、z}、{y、z}，最后删掉“同时看见两翼”的 z。

在游戏里你可以按这个顺序找：

1. 找一个只有 2 个候选的格子当枢纽（蓝色）
2. 找到两个都能看见枢纽的格子，它们也都只有 2 个候选，并且分别形如 {x、z}、{y、z}（黄色）
3. 找“同时看见两翼”的格子：它里面的候选 z 就是常见的删数点（红色）