翅膀
翅膀
每种翼技背后的核心原则
所有翼技巧都基于一个共同的基本理念:如果一个候选数字必须出现在多个单元格中的至少一个里,而该数字的每一个实例都能从某个特定目标 单元格 被看到,那么该目标 单元格 就不能包含这个数字。
枢纽通常是一个双值 单元格,它在逻辑上起到分叉的作用。翼单元格是在枢纽决策的某个分支下被强制取特定数字的单元格。无论枢纽选择哪个分支,消除数字(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翼开始,理解其逻辑,更大的翼结构便会自然掌握。