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