原理说明
XYZ翼(XYZ-Wing)是XY翼的扩展。枢纽格含三个候选数{X,Y,Z},两个翼格分别含{X,Z}和{Y,Z}。三个格子两两同处一个宫。无论枢纽格填入X、Y还是Z,Z必然出现在至少一个翼格中,因此三个格子公共可见的格子中的Z候选数可被删除。
枢纽格含三个候选数XYZ,两个翼格分别含XZ和YZ,可排除三个格子公共可见格的Z候选数。
XYZ翼(XYZ-Wing)是XY翼的扩展。枢纽格含三个候选数{X,Y,Z},两个翼格分别含{X,Z}和{Y,Z}。三个格子两两同处一个宫。无论枢纽格填入X、Y还是Z,Z必然出现在至少一个翼格中,因此三个格子公共可见的格子中的Z候选数可被删除。
XYZ翼比XY翼更罕见,因为需要枢纽格恰好有三个候选数且两个翼格满足条件。但在满足条件时,它是非常优雅且高效的排除策略。
XYZ翼是XY翼的扩展,枢纽格从双候选数升级为三候选数。其核心逻辑是通过对枢纽格的三种可能取值进行分类讨论:
已知条件:
枢纽格 H 的候选数为 {X, Y, Z},我们分析 H 填入不同值时的情况:
无论 H 填入 X、Y 还是 Z,Z 必定出现在 H、A、B 三个格子中的至少一个。因此,同时被 H、A、B 三个格子"看到"的格子(即三者的公共可见格)不可能是 Z,可以安全删除其中的 Z 候选数。
提示:与XY翼的"二选一"不同,XYZ翼是"三选一"逻辑——枢纽格的三种取值都会导致Z出现在三格之一。这也是为什么XYZ翼比XY翼更难触发但逻辑同样严密。
最常见的形态:枢纽格和两个翼格都在同一宫内。这种形态的"公共可见格"主要是同宫的其他格子,以及与三个格子同行/列的格子。识别相对简单。
枢纽格与一个翼格同行,与另一个翼格同列,两个翼格又同宫。这种混合结构识别难度较高,但删除范围可能比纯宫内形态更广。
在某些高级场景中,XYZ翼可以与链式策略结合,形成更长的推导链。例如通过外部强链接扩展翼格的覆盖范围,但这已属于高级策略范畴。
误区一:忽略三格互相可见的要求
XYZ翼要求枢纽格与两个翼格两两互相可见(同行/列/宫)。如果某个翼格与枢纽格不在同一行/列/宫,则无法保证推导成立,Z 的删除无效。
误区二:候选数组合错误
正确的候选数组合是:枢纽 {X,Y,Z},翼格 A {X,Z},翼格 B {Y,Z}。如果翼格组合为 {X,Y} 和 {Y,Z},则公共候选数变成 Y 而非 Z,删除对象完全不同。务必仔细核对候选数组合。
误区三:删除范围扩大化
只能删除三个格子公共可见的格子中的 Z。不要误删只被其中两个格子看到的格子,也不要误删只被一个格子看到的格子。公共可见格的判定要严格。
误区四:与XY翼混淆
XY翼的枢纽格是双候选格,XYZ翼的枢纽格是三候选格。两者的推导步数和删除逻辑不同,不能混用。看到双候选格作为枢纽时应用XY翼,看到三候选格作为枢纽时才考虑XYZ翼。
XYZ翼是XY翼在枢纽格含三候选时的扩展,与W翼、WXYZ翼同属翼类策略家族。它也可以被视为一个简化的ALS-XZ特例。XYZ翼在翼类策略家族中处于"中间"位置——比XY翼多一个候选数,比WXYZ翼少一个候选数,体现了翼类策略从双候选枢纽到多候选枢纽的渐进扩展。与W翼依赖外部强链接不同,XYZ翼完全依赖格子间的直接可见性,结构更"内聚"。
策略家族关系: