翅膀

每种翼技背后的核心原则

所有翼技巧都基于一个共同的基本理念:如果一个候选数字必须出现在多个单元格中的至少一个里,而该数字的每一个实例都能从某个特定目标 单元格 被看到,那么该目标 单元格 就不能包含这个数字。 枢纽通常是一个双值 单元格,它在逻辑上起到分叉的作用。翼单元格是在枢纽决策的某个分支下被强制取特定数字的单元格。无论枢纽选择哪个分支,消除数字(Z)都必须落在至少一个翼单元格中。 限制公共候选数(RCC)形式化了枢纽与翼之间的联系。RCC 是枢纽和翼组之间共有的数字,且所有该数字的实例都能被枢纽看到,从而确保它们之间的互斥。

XY翼: 经典三单元格翼

该 XY翼 使用三个双值单元格。枢纽 {A, B},翼1 {A, C},翼2 {B, C}。两翼均能看到枢纽,但彼此无需相互看到。 若枢纽 = A,则翼1必须为C。若枢纽 = B,则翼2必须为C。无论如何,C至少出现在一个翼中。可从同时看到两个翼的单元格中消除C。 评级为6级(困难)。其强大之处在于两个翼无需共享一个宫,从而实现跨网格消除。

W翼: 强链接连接

两个相同的双值单元格 {X, Y} 通过数字 X 的共轭对连接。它们不能共享一个宫。至少有一个必须是 Y。从同时看到两者的单元格中消除 Y。 难度等级 6(困难)。比 XY翼 更容易发现,因为您需要扫描重复的双值单元格。

XYZ-Wing:三候选数在中心点

中心单元 {X, Y, Z},翼1 {X, Z},翼2 {Y, Z}。这三个单元格都包含 Z。 在每个 单元格 中,这三个单元格中至少有一个是 Z。从同时看到这三个单元格的单元格中排除 Z。这比 XY翼 更受限制,因为目标必须也能看到中心单元格。 难度等级 7(非常困难)。

扩展翼族:从WXYZ-Wing到STUVWXYZ-Wing

当翼边扩展为一个几乎锁定集(ALS)时,同样的逻辑仍然适用。支点仍然是一个双值 单元格;翼边是一个ALS。 XY翼:3个单元格,第6级 WXYZ-Wing:4个单元格,第8级 VWXYZ翼:5个单元格,第10级 UVWXYZ翼:6个单元格,第10级 TUVWXYZ-Wing:7个单元格,第11级 STUVWXYZ-Wing:8个单元格,第11级 命名规则按逆字母顺序添加字母。每个字母代表翼边ALS中额外的一个 单元格。

如何找到翼形图案

步骤 1:识别双值单元格作为潜在的枢纽。 步骤 2:检查 XY翼 模式(两个双值翼共享枢纽中的一个候选数)。 步骤 3:检查 W翼 模式(两个相同的双值单元格通过共轭对连接)。 步骤 4:检查 XYZ-Wing 模式(三候选枢纽,带有两个双值翼)。 步骤 5:检查扩展翼(双值枢纽,带有 ALS 翼)。 提示:从双值单元格开始。寻找重复的数字。仔细验证 RCC 限制。

难度进展

XY翼: 难度 6,困难 W翼: 难度 6,困难 XYZ-Wing: 难度 7,非常困难 WXYZ-Wing: 难度 8,专家 VWXYZ翼: 难度 10,大师 UVWXYZ翼: 难度 10,大师 TUVWXYZ-Wing: 难度 11,极端 STUVWXYZ-Wing: 难度 11,极端

翅膀与几乎锁定的集合:代数联系

扩展翼家族在数学上等价于ALS-XZ,其中一个ALS是单个双值单元格。实现ALS-XZ的引擎会自动找到所有扩展翼模式。 XY翼是退化的单元格,其中两个ALS都是双值单元。XYZ-Wing具有三候选数的枢纽,更应被视为一个独立的模式。

摘要

翼家族提供从XY翼到STUVWXYZ-Wing的排除工具。每个成员都依赖于相同的底层逻辑:一个枢纽产生双向分支,无论选择哪条分支,某个特定候选数必须出现在至少一个翼部单元格。看到该数字所有可能位置的单元格可以排除该数字。 从XY翼开始,理解其逻辑,更大的翼结构便会自然掌握。