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 は、両端の どちらも 見渡すどのセルからも排除できます。