翼

すべての翼技の背後にある核心原則

すべてのウィングテクニックは、1つの基本的な考え方に基づいています：ある候補の数字が複数のセルの少なくとも1つに存在しなければならない場合、その数字のすべてのインスタンスが特定のターゲットセルから見えるならば、そのターゲットセルにはその数字は入らない。ピボットは通常、2つの値を持つセルであり、論理の分岐点として機能します。ウィングは、ピボットの決定の1つの分岐において特定の数字を取ることを強制されるセルです。削除される数字（Z）は、ピボットがどちらの分岐を選んでも、少なくとも1つのウィングに存在しなければなりません。制限付き共通候補（RCC）は、ピボットとウィングの間の接続を形式化します。RCCは、ピボットとウィンググループの両方に共通する数字であり、すべてのインスタンスがピボットから見えるため、相互に排他的であることが保証されます。

XY-Wing: 3つのセルを用いたクラシックな翼

XY-Wing は3つの二値セルを使用しています。ピボット {A, B}、ウイング1 {A, C}、ウイング2 {B, C}。ウイングはピボットを確認できますが、互いに確認する必要はありません。ピボット = A の場合、ウイング1はCでなければなりません。ピボット = B の場合、ウイング2はCでなければなりません。どちらの場合も、Cは少なくとも1つのウイングに現れます。両方のウイングが見ているセルからCを除外します。難易度レベル6（ハード）。このテクニックの強力な点は、2つのウイングが同じハウスを共有する必要がないため、グリッド間の除外が可能になることです。

Wウィング: ストロングリンク接続

同じ値を持つ2つの二値セル {X, Y} が、数字Xの共役ペアを通じて接続されている。これらは同じハウスを共有してはならない。少なくとも一方はYでなければならない。両方のセルが見えるセルからYを除外する。レートレベル6（難）。 XY-Wingより発見しやすい。二値セルの繰り返しをスキャンすることで見つけやすい。

XYZ-Wing: ピボットに3つの候補

ピボット {X, Y, Z}、ウイング1 {X, Z}、ウイング2 {Y, Z}。3つのセルすべてにZが含まれる。すべてのセルにおいて、3つのセルのうち少なくとも1つはZでなければならない。3つのセルすべてと接するセルからZを除外する。これは、ターゲットがピボットも見なければならないという点で、XY-Wingよりも制約が厳しい。難易度レベル7（非常に難しい）。

拡張ウィング・ファミリー：WXYZ-Wing から STUVWXYZ-Wing まで

翼側が Almost Locked Set (ALS) に拡張された場合にも同じ論理が適用されます。ピボットは二値のセルのままです；翼は ALS です。 XY-Wing: 3セル、レベル6 WXYZ-Wing: 4セル、レベル8 VWXYZ-Wing: 5セル、レベル10 UVWXYZ-Wing: 6セル、レベル10 TUVWXYZ-Wing: 7セル、レベル11 STUVWXYZ-Wing: 8セル、レベル11 名前付けは逆アルファベット順に文字を追加します。各文字は翼の ALS に1つの追加されたセルを表します。

ウィングパターンの見つけ方

ステップ1：二値セルを潜在的なピボットとして特定する。ステップ2：XY-Wingパターンを確認する（ピボットと1つの候補を共有する2つの二値ウェイン）。ステップ3：Wウィングパターンを確認する（同一の二値セルが共役ペアを通じて接続されている）。ステップ4：XYZ-Wingパターンを確認する（3候補ピボットと2つの二値ウェイン）。ステップ5：拡張ウェイン（二値ピボットとALSウェイン）を確認する。ヒント：二値セルから始めること。繰り返し現れる数字を探す。RCC制約を慎重に確認すること。

難易度の進展

XY-Wing: レベル 6、ハード Wウィング: レベル 6、ハード XYZ-Wing: レベル 7、非常にハード WXYZ-Wing: レベル 8、エキスパート VWXYZ-Wing: レベル 10、マスター UVWXYZ-Wing: レベル 10、マスター TUVWXYZ-Wing: レベル 11、エクストリーム STUVWXYZ-Wing: レベル 11、エクストリーム

翼とほぼ閉鎖された集合：代数的つながり

拡張ウィング族は、数学的に ALS-XZ と等価であり、そのうち1つのALSが単一の二値セルである。ALS-XZ を実装したエンジンは、すべての拡張ウィングパターンを自動的に発見する。 XY-Wing は、両方のALSが二値セルである退化したセルである。XYZ-Wing は三候補のピボットを持ち、独自のパターンとして理解するのがより適切である。

要約

ウィングファミリーは、XY-WingからSTUVWXYZ-Wingまでスケーリングする削除ツールを提供します。すべてのメンバーは同じコアロジックに依存しています：ピボットが二方向の分岐を作り、どちらの分岐を取っても、特定の候補は少なくとも一方のウィングに存在しなければなりませんセル。その数字のすべての可能性のある位置を確認するセルは、その数字を削除できます。 XY-Wingから始め、そのロジックを内面化し、より大きなウィングは自然に理解できます。