WXYZ-ウィング
WXYZ-ウィングは、2つのほぼロックセットにわたってちょうど4つの異なるマスと4つの異なる候補数字を持つALS-XZ構造です。重ならないセットでは、マス数の分割は3+1または2+2です。セットは制限共通候補Xを共有します。一方のセットのすべてのX出現は他方のセットのすべてのX出現を見るため、Xは両方のセットに現れられません。他の共有数字Zは、両方のセットのすべてのZ出現を見る外部マスから消去できます。
WXYZ-ウィングとは？
ほぼロックセット（ALS）は、1つの領域 — 行、列、またはブロック — 内のk個の未解決マスで、その組み合わせた候補がちょうどk+1個の異なる数字を含みます。WXYZ-ウィングはALS-XZルールの4マス4数字の特殊化です。その2つのALSは合わせてちょうど4つの異なるマスと4つの異なる候補数字を含みます。重ならないALSでは、可能なマス数の分割は3+1 — 3マスのALSと二値マス — または2+2 — 2つの2マスALS — です。このウォークスルーは3+1形を使用します。他の2 ALS構造もALS-XZルールを満たす場合がありますが、ちょうど4つの異なるマスと4つの異なる候補数字を含まない限り、WXYZ-ウィングではありません。
解説付きの実例
WXYZ-Wingの実例：制限付き共通候補（RCC）で結ばれた2つのAlmost Locked Set（ALS）により、共有数字が少なくとも一方の集合に含まれることを証明します。
ステップ 1
これら4つのセルを確認してください。
ステップ 2
4つのセル A8, E8, I8, A4 は WXYZ-ウィング を形成します。 3のセル A8, E8, I8 は ALS A を形成します: 4個の異なる候補値を持つ 3のセルです。二値セル A4 は1セルの ALS B です。ALS A 内の 4 のすべての出現は ALS B でのその出現を見ているため、4 はそれらの制限共通候補 (RCC) です (E8, I8 は 4 を含まないため、下では直接対象になりませんが、ほぼロックされたセットの一部として引き続きカウントされます)。 - 4 が ALS A にあれば、ALS B は自由度を失い、8 を含むロックセットになります。 - 4 が ALS B にあれば、ALS A は自由度を失い、8 を含むロックセットになります。 - 4 がどちらのセットにもなければ、両方の ALS が 8 を含むロックセットになります。 いずれにせよ、8 は ALS A または ALS B に必ず存在します。
ステップ 3
したがって 8 の少なくとも1つの Wing の出現は真でなければなりません。外部の候補 8 は、8 のすべての Wing の出現を見る場合に削除できます。どの出現が真であっても、そうでなければそれと衝突します。
この実例はWXYZ-Wingの3+1形（3マスALSと2値ALSが制限付き共通候補Xと別の数字Zを共有する構造）を示しています。Xは両方の集合に同時に現れることができないため、Zは少なくとも一方の集合に現れなければなりません。この制約により、両集合内のすべてのZの出現から見える候補からZを消去できます。現在の候補状態を表示したまま練習するには、数独を無料でプレイことができます。
見つけ方
ALS AとALS Bを特定します。そのマスは合計ちょうど4つで、その和集合はちょうど4つの異なる数字を保持します。各セットの候補を列挙し、AのすべてのX出現がBのすべてのX出現を見る共有数字Xを見つけます。次に別の共有数字Zを見つけます。提案されたターゲットは、両方のセットのすべてのZ出現を見る場合にのみ有効です。一方のALSのすべてのマスが他方のすべてのマスを見ることを要求しません。
論理
Xは両方のALSに現れられないため、少なくとも1つのALSはXを使用しません。Xなしでは、そのALSはマスとちょうど同じ数の残りの候補数字を持ち、Zを含めてそれぞれを使用しなければなりません。したがって、Zは2つのALSの少なくとも一方に現れます。両方のセットのすべてのZ出現を見る外部マスはZを含めません。