翼
翼
每种翼技巧背后的核心原理
所有翼技巧都基于同一个基本思路:如果某个候选数字必须出现在若干单元格中的至少一个里,而该数字的每一个实例都能从某个特定的目标单元格看到,那么该目标单元格就不能包含这个数字。枢纽通常是一个双值单元格,在逻辑中充当分叉点。翼是在枢纽决策的某一分支下被迫取某个特定数字的单元格。无论枢纽走哪一分支,被消除的数字(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个单元格,等级6WXYZ-Wing:4个单元格,等级8VWXYZ翼:5个单元格,等级10UVWXYZ翼:6个单元格,等级10TUVWXYZ-Wing:7个单元格,等级11STUVWXYZ-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翼开始,吃透它的逻辑,更大的翼自然就能掌握。