W-Wing — 数独テクニック

概要

W-Wing は2つの bivalue セルを第3のユニット経由でつなぎます。両端のセルは同じ2つの候補 {X, Y} を持ちます。両者の間のどこか、第3のユニット(行・列・ボックス)の内側で、数字 Y は strong link を持ちます — 候補セルがちょうど 2 つ。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 を見渡す)の 2 つだけです。これが 7 についての strong link。上の論理から、端点のどちらかが最終的に 4 になります。したがって 4 は、R2C3 と R7C8 の 両方 を見渡すどのセルからも排除できます。