XYZ-ウィング
XYZ-ウィングは、3マス3数字のALS-XZ構造です。2マスのALS Aと1マスのALS Bを組み合わせます。ここでXは制限共通候補（RCC）、Zは消去数字、Yは3番目の異なる数字です。Zは3マスすべてに候補として存在します。X上の弱リンクが2つのセットを接続し、少なくとも一方にZがあることを保証します。3つすべてを見る外部マスはZを含めません。
XYZ-ウィングとは？
ほぼロックセット（ALS）は、1つの領域 — 行、列、またはブロック — 内の未解決マスのグループで、マスより1つ多い異なる候補数字を持ちます。このXYZ-ウィングを4つの部分として読みます：
- ALS A：セル {X,Y,Z} とセル {Y,Z}。領域を共有し、2つのセルに3つの異なる候補数字を持ちます。
- ALS B：単一のセル {X,Z}。この二値セルは可能な限り小さいALSで、1つのセルに2つの候補数字です。
- RCC X：ALS Aの {X,Y,Z} セルとALS Bの {X,Z} セルに出現します。これらのセルは互いに見えるため、2つのX出現間に弱いリンク（弱推論）を与えます。Xは一方のセットに置けるか、どちらにも置けませんが、両方には置けません。
- 削除数字Z：Zは3つのセルすべての候補です。両ALSの外側にあるターゲットは3つすべてを見る必要があります。
解説付きの実例
この例では、ALS A は I2 {1,2,6} と I7 {1,2} を含み、ALS B は H2 {2,6} です。制限付き共通候補（RCC）は X = 6、消去数字は Z = 2 です。I2 と H2 の候補6は互いに見える位置にあり、弱リンクを形成します。Z は3つすべてのマスの候補です。
ステップ 1
これら3つのセルを確認してください。三値セル I2 (1, 6, 2) と I7 (1, 2) は領域を共有し、合わせて3つの候補値を持ちます — 2セルのほぼロックセット、ALS A です。二値セル H2 (6, 2) は1セルの ALS B で、I2 はそれを見ています。
ステップ 2
数字 6 は ALS A と ALS B の間の制限共通候補 (RCC) です: ALS A のすべての 6 は ALS B のすべての 6 を見ているため、6 は2つのセットのうち高々1つでしか真になれません。 - 6 が ALS A にあれば、ALS B は自由度を失い、2 を含むロックセットになります。 - 6 が ALS B にあれば、ALS A は自由度を失い、2 を含むロックセットになります。 - 6 がどちらのセットにもなければ、両方の ALS が 2 を含むロックセットになります。 いずれにせよ、2 は ALS A または ALS B に必ず存在します。
ステップ 3
したがって 2 は I2、I7、H2 の3つのセルすべてを見る任意のセルから削除できます: 2 はそのすべてに現れ、どれが 2 を含んでいてもそのような候補と衝突します。
ここで ALS A は {X,Y,Z} と {Y,Z} のマスを含み、ALS B は {X,Z} のマスです。RCC である X が両者間の弱リンクを与えます。Z は3つすべてのマスの候補であり、そのうち少なくとも1つは Z を含まなければなりません。したがって、3つすべてから見える外部マスから Z を消去できます。現在の候補状態を表示したまま練習するには、数独を無料でプレイすることができます。
見つけ方
まずALS Aを構築します。1つの領域で{X,Y,Z}マスと{Y,Z}マスを見つけます。次にALS B、つまり{X,Y,Z}マスを見る{X,Z}マスを見つけます。この可視性がRCC Xとその弱リンクを確立します。最後に、3マスすべてを見る外部のZ候補を探します。それぞれがZ候補を持つからです。
消せる理由
ALS Bは単一の{X,Z}マスなので、XかZのどちらかを含まなければなりません。Zを含む場合、構造はすでにZを持っています。Xを含む場合、弱リンクがALS AのXを排除します。ALS Aは2マスにYとZが残り、両方の数字を使用しなければなりません。どちらの場合でも、3マスの少なくとも1つがZを含まなければなりません。
Zの可能な位置の3つすべてを見る外部セルはZを含むことができません。どの位置がZを使っても、それと矛盾します。その外部セルからZを削除します。ALSのセル自体からは削除しません。