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