全民数独XY Wing技巧解析,XYZ Wing高级攻略

suxz.com 0

本期小编和大家说说全民数独标准数独进阶篇②,这次主要给大家深入解析XY-Wing与XYZ-Wing这两种结构,还有它们具体的删数逻辑,里面会结合实例图解,给大家展示如何通过链式推理去解决那些复杂的局面,学会这些能很好地帮助大家提升解题技巧,关于XY Wing和XYZ Wing的高级攻略今天就介绍到这里。

详细名词解释请参见①。

XY-Wing是一种数独技巧,由三个单元格组成,候选数分别为ab、bc和ac。其中ab为中心格,与bc和ac分别形成关联。通过bc和ac的共同作用格,可以排除候选数c。其逻辑是:若该作用格为c,则中心格ab将无法放置任何数字,从而实现删减候选数的目的。

图2中蓝色方框标出的是一个xywing结构,其中r6c2、r8c2和r9c3三个格子构成了23/12/13的组合,中心格为r8c2。r6c2与中心格同列于c2,r9c3与中心格同宫于b7。可删除候选数的格子为r456c3和r9c2,即r6c2与r9c3共同作用的区域。当这些删数格中某格确定为3时,无论哪一个格子为3,都会使得r6c2为2,r9c3为1,从而导致中心格r8c2无数可填。

红框结构看似类似xywing,但因无法确定中心格位置,故不能称为xywing。

--------

xyzwing 与 xywing 的逻辑基本一致,结构上表现为三个单元格的候选数分别为 abc、bc 和 ac,其中 abc 位于中心位置。bc 与 abc、ac 与 abc 存在交集。删除的候选数为三个单元格共同影响格中的 c。其删数原理在于,当共同作用格中 c 为真时,中心格 abc 将无法找到可行解。

图3中蓝框标出的是一个xyzwing结构,其中r4c8与r6c4、r6c7三个格子构成了23/12/123的组合关系。r6c7为中心格,r6c4与它同在r6行,r4c8则与中心格同属b6区块。删数格为r6c89,即r6c47与r4c8共同作用影响的区域。当删数格中的某格为2时,不论该格属于哪一位置,r6c4将确定为1,r4c8将确定为3,从而导致r6c7无数字可填。

我们之前提到过,XY-Wing也可以通过链的方式来表达。现在我们来看如何用链来呈现XY-Wing的逻辑结构。在图4中展示了XY-Wing的链表达形式,为了便于理解,我对链进行了简化。

从黄色圆圈中的数字3为假的假设开始,那么下一个节点中的1必须为真(这两个数字之间为强关系,记作r6c2(3)=r8c2(1),如果两者同时为假,则c2列中将出现两个2,这显然不成立)。接下来,该节点的1必须为假(因为如果为真,b7宫中将出现两个1,因此它们之间为弱关系,记作r8c2(1)-r9c3(1))。此时,下一个节点中的3必须为真(r9c3格中候选数1和3若同时为假,则该格将无数可填,因此它们之间为强关系,记作r9c3(1=3))。

整条链以强关系开始,也以强关系结束。从3为假开始,最终得出3为真,因此可以删除链头与链尾共同作用格中的3。用文字形式表示为:

r6c2(3)=r8c2(1)-r9c3(1=3) ? r456c3,r9c2<>3

图5展示了该xywing链的完整连线方式,具体文字描述因篇幅较长在此不再赘述。链中各单元格之间的强弱关系逻辑如下:r6c2中的2和3不能同时为假,否则该单元格无数字可填,因此二者构成强关系;r6c2和r8c2中的2不能同时为真,否则列c2中将出现两个2,因此它们之间为弱关系;r8c2中的1和2也不能同时为假,否则该单元格无法填数,因此1和2之间为强关系;r8c2和r9c3中的1不能同时为真,否则宫b7中将出现两个1,因此它们之间为弱关系;r9c3中的1和3同样不能同时为假,否则该单元格无解,因此二者之间为强关系。

由于篇幅限制,xywing及其相关变体请自行查阅教材或观看视频了解。