原理说明
WXYZ翼(WXYZ-Wing)是XY翼的进一步扩展。枢纽格含四个候选数{W,X,Y,Z},三个翼格分别含{W,Z}、{X,Z}和{Y,Z},且四者两两在同行/列/宫。无论枢纽格填入W、X还是Y,Z必然出现在至少一个翼格中,因此四者公共可见格中的Z候选数可被删除。
一个四候选枢纽格和三个双候选翼格形成WXYZ关系,可删除四者公共可见格中的共有候选数。
WXYZ翼(WXYZ-Wing)是XY翼的进一步扩展。枢纽格含四个候选数{W,X,Y,Z},三个翼格分别含{W,Z}、{X,Z}和{Y,Z},且四者两两在同行/列/宫。无论枢纽格填入W、X还是Y,Z必然出现在至少一个翼格中,因此四者公共可见格中的Z候选数可被删除。
WXYZ翼非常罕见,因为需要枢纽格恰好有四个候选数且三个翼格严格满足条件。但在特殊构造的谜题中,它能提供精确的候选数排除。
WXYZ翼是 XY 翼的自然扩展:枢纽格从两个候选数增加到四个,翼格从一个增加到三个。其核心仍是"分类讨论+必有其一"的思想。
已知条件:
枢纽格 P 只能填入 W、X、Y、Z 中的一个。我们分四种情况讨论:
无论枢纽格填入 W、X、Y 还是 Z,四个格子(P、A、B、C)中必有一个是 Z。因此,同时被 P、A、B、C 四个格子"看到"的外部格子(公共可见格)不可能是 Z,可以安全删除 Z 候选数。
提示:WXYZ翼的关键是找到"四候选枢纽格 + 三个双候选翼格"的组合,且四个格子共享候选数 Z。这与 XY 翼(双候选枢纽+两翼格)和 XYZ 翼(三候选枢纽+两翼格)的逻辑一脉相承。
枢纽格和三个翼格都位于同一个 3×3 宫内。这种形态最容易识别,因为四个格子集中在同一宫,公共可见格也主要分布在宫内。但出现频率较低。
枢纽格与三个翼格通过行、列、宫的混合关系连接。例如一个翼格同行、一个翼格同列、一个翼格同宫。这是最常见的 WXYZ 翼形态,识别难度较高。
当某个翼格含三个候选数(而非标准的两个)时,结构退化为更复杂的形式。这通常不属于标准 WXYZ 翼,可能需要用 ALS-XZ 等更高级策略来处理。
误区一:翼格不是双候选
WXYZ 翼的三个翼格必须只含两个候选数({W,Z}、{X,Z}、{Y,Z})。如果某个翼格含三个或更多候选数,就不是标准 WXYZ 翼。识别时务必确认每个翼格都是双候选。
误区二:候选数组合不匹配
三个翼格的候选数组合必须与枢纽格的候选数严格对应:每个翼格共享枢纽格的一个非 Z 候选数,加上共享的 Z。如果翼格共享的不是枢纽格的候选数,结构不成立。
误区三:枢纽格与翼格不可见
枢纽格必须与三个翼格都"可见"(同行/列/宫)。如果枢纽格和某个翼格之间没有直接的共享单元关系,那么这个结构就不是 WXYZ 翼。
误区四:删错候选数
WXYZ 翼删除的是四个格子的公共可见格中的候选数 Z(即共享的那个候选数),而不是 W、X 或 Y。删除其他候选数是错误的。
WXYZ翼是XY翼系列的最高阶扩展(枢纽格四候选、三翼格)。它与ALS-XZ策略有深层联系,WXYZ翼可被视为ALS-XZ的一个特例。从 XY 翼到 XYZ 翼再到 WXYZ 翼,枢纽格的候选数从两个增加到四个,翼格从一个增加到三个,但核心逻辑始终是"分类讨论+必有其一"。WXYZ 翼是这个系列的顶点,也是通往 ALS(几乎锁定集)策略的桥梁。
策略家族关系: