W翼

描述

W翼是一种“删候选”的短链技巧：它通常从 两个相同的双值格开始（我们也把它们叫作两翼）。

它的核心直觉是：

• 两翼里都只有同一对候选数（例如 {a、b}）
• 如果某个格子的候选 b 为真，会把两翼里的 b 都排除掉
• 两翼就会被迫都变成 a，从而在某个行/列/宫里制造矛盾

所以这个格子里的候选 b 就可以删除。

---

详解

先看上图：要删除的是 r3c5 里的候选数字 8（红色）。
两翼是 r3c6 与 r6c5，它们都是双值格，候选数都是 1、8。
图中黄色高亮的是 第 9 行，用来表示“如果两翼都变成 1，会让这一行里 1 没地方可填”。

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

• 假设 r3c5 = 8（红色候选为真）
• r3c5 能看见两翼，所以两翼里的 8 都会被排除：
  • r3c6 只能变成 1
  • r6c5 只能变成 1
• 于是第 9 行会被“堵死”：黄色高亮的第 9 行里，数字 1 的所有位置都会与这两翼冲突，导致 第 9 行没有 1 可填（矛盾）

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

---

例子

下面三张图是其他 W翼 的例子，你可以直接对照“两翼 / 删数点 / 矛盾行列宫”的结构来观察：

---

如何寻找 W翼？

一句话：先找两格相同的双候选当两翼，再找一个能同时看见两翼的删数点，最后确认“两翼被迫同取某数”会制造矛盾。

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

1. 先找两个双值格，它们的候选数完全相同（两翼）
2. 找到一个格子能同时看见两翼，并且它包含两翼中的某个候选（常见就是要删除的候选）
3. 做一次快速反证：假设这个候选为真 → 两翼被迫同取另一个数字 → 在某个行/列/宫里出现“该数字无处可放”的矛盾
4. 矛盾成立就可以删数