XY-wing(エックスワイ・ウィング)は最初の真の連鎖テクニックです。共有する数字でリンクされた3つのマスにまたがって何が起こるかを追跡し、結論はどの1つのマスがどの値を取っても強制されます。
仕組み
2値のマスを見つけます。その2つの候補をXとYと呼びます。これがピボットです。次に、ピボットを見ているマス(行・列・ブロックを共有している)で候補が {X, Z} の2値マスを見つけます。さらにピボットを見ていて候補が {Y, Z} の2値マスを見つけます。ZはX以外の共有数字です。ピボットには直接Zは含まれていません。
ここでロジックを追います。ピボットがXを取れば、{X, Z} ウィングはZを取らなければなりません。ピボットがYを取れば、{Y, Z} ウィングはZを取らなければなりません。どちらにしても2つのウィングの1つがZを持ちます。したがって、両方のウィングを見ているマスはZを含むことができません。
いつ探すか
X-wingやフィッシュテクニックが失敗した後です。グリッドには多くの2値マスが必要です。候補セットが収束したエキスパートやエビルの問題の終盤が自然な生息地です。
まずすべての2値マスをリストアップします。それぞれを順番にピボットとして試します。探索は有限で、ほぼ常に数秒以内にウィングを少なくとも1つ見つけます。
ステップバイステップの例
- 候補 {X, Y} を持つ2値マスを選びます。それをピボットと呼びます。
- ピボットを見ている2値マスをリストアップします。そこからXと3番目の数字Zを含む1つを見つけます。それをXウィングと呼びます。
- 同じリストから、YとZを含む別の2値マスを見つけます。それをYウィングと呼びます。
- 両方のウィングがピボットを見ていることを確認します。ウィング同士が見合う必要はありません。
- 両ウィングを同時に見ているマスを見つけます。そこからZを消します。
- 再スキャンします。Zの除外はよく1つのSingleまたは別の連鎖の機会を作ります。
見つけるコツ
- まず2値マスを見つけましょう。連鎖はそこから構築されます。
- ピボットは両ウィングを見ていなければなりません。ウィング同士は見合う必要はありません。
- 3つのマスのそれぞれがちょうど2値でなければなりません。どこかに3つの候補があるとパターンが崩れます。
- Zは除外数字です。常に。
よくある間違い
- 3つの候補があるウィング。構造は各マスにちょうど2つを必要とします。
- ZではなくXやYを除外すること。
- 可視性条件を忘れること。ピボットは両ウィングを見ていなければなりません。
- XY-wingを3値ピボットを持つ XYZ-wingと混同すること。
練習しましょう
エキスパートの数独を試してみましょう。すべての候補を完全にマークして、他の何かをする前に2値マスをリストアップします。それぞれをピボットとして試しましょう。数回解いた後、XY-wingはX-wingが失敗したときに最初に手を伸ばすテクニックになります。次は XYZ-wing と Coloringへ進みましょう。