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