Skip to content

XY翼 ​

Loading demo...

“XY翼”是由三个双值格构成的翼型交替推理链。

如何识别 ​

  • 观察盘面上的双值格,尝试找到这样三个双值格:
  • 其中两个无法彼此看到,分别包含候选数{x, z}和{y, z}(即它们有一个共同候选数z),称为“翼尖格”。
  • 这两个翼尖格可以共同看到的一个双值格,包含候选数{x, y}(即翼尖格中彼此不同的两个候选数),称为“枢纽格”。
  • 一旦找到这样的三个双值格,则可以从能同时看到两个翼尖格的单元格中删除候选数z。
XY翼示意图

原理 ​

  • 枢纽格是双值格,其中的两个候选数构成强关系,要么填x要么填y。
  • 两个翼尖格也都是双值格,其中的两个候选数也构成强关系,要么填对应的x、y,要么填z。
  • 两个翼尖格中的x或y与枢纽格中的x或y形成弱关系。如果枢纽格填x,则导致包含{x, z}的翼尖格不能填x,只能填z;如果枢纽格填y,则导致包含{y, z}的翼尖格不能填y,只能填z。
  • 这导致两个翼尖格必然有一个必须填z,因此可以从能看到两个翼尖格的单元格中删除z。

实例 ​

35563616167121276868135157357172412451241251241356562312481238365635351361625282684848575723121353656197842534982499738679842197974621399874

在上面的盘面中,R7C7可视为枢纽格。R5C7中的2与R7C7中的2形成弱关系,R7C3中的5与R7C7中的5也形成弱关系,因此R5C7和R7C3可视为两个翼尖格。候选数2、5分别对应x、y(哪个数对应x、哪个数对应y并不影响推理),候选数3对应z。单元格R5C3中的3可以同时与翼尖格R5C7、R7C3中的3形成弱关系,因此可以删除R5C3中的候选数3。

这个例子中的两个翼尖格和枢纽格位于不同宫中,并通过同行或同列的方式与枢纽格形成弱关系。


373573474535734717135945923233737272739273927791271515792591351353598621286614259873481976516542895963841851463468792864

在上面的盘面中,枢纽格和某个翼尖格位于同一宫,利用XY翼可以删除多个候选数。