W-Wing

这是什么

W-Wing 通过第三单元把两个 bivalue 格连起来。两端的格都含同样的两个候选 {X, Y}。在它们之间的某个第三单元(行、列或宫)里,数字 Y 有一条 strong link —— 恰好 两 个候选格。Strong link 一端能见到端点 A;另一端能见到端点 B。 推理过程:若端点 A 为 Y,那么紧挨着 A 的那一端 strong link 被迫不为 Y,于是 strong link 另一端 必为 Y,这就意味着端点 B 见到了一个 Y,必须为 X。由对称性,若端点 B 为 Y,则端点 A 必为 X。无论哪种,至少有一端为 X。 因此可以从任何同时见到 两端 的格里排掉 X。

何时使用

Expert 和 master 难度下,XY-Wing 和 XYZ-Wing 没有进展时考虑。寻找一对候选集相同的 bivalue 格,并在它们之间的某处找到一条针对其中某个候选的 strong link。

例题解析

端点 A R2C3 = {4, 7},端点 B R7C8 = {4, 7}。第 6 列里,数字 7 只有两个候选格:R2C6(通过第 2 行见到端点 A)和 R7C6(通过第 7 行见到端点 B)。这是一条 7 上的 strong link。按上面的链条推理,两端中必有一端最终为 4。因此可以从任何同时见到 R2C3 和 R7C8 的格里排掉 4。