XY-Wing(XYウイング)

XY-Wingは3マスのパターンです。ピボットマスが{X, Y}を候補に持ちます。2つのウイングマスはピボットを「見て」おり、一方が{X, Z}、もう一方が{Y, Z}を持ちます。ピボットがどちらの数字を取っても、いずれかのウイングがZを持つことになるため、両ウイングを見るマスからZを消去できます。

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を含むことができません。

38291168429961879156159493512451357286458934356127913

いつ探すか

X-wingやフィッシュテクニックが失敗した後です。グリッドには多くの2値マスが必要です。候補セットが収束したエキスパートやエビルの問題の終盤が自然な生息地です。

まずすべての2値マスをリストアップします。それぞれを順番にピボットとして試します。探索は有限で、ほぼ常に数秒以内にウィングを少なくとも1つ見つけます。

ステップバイステップの例

  1. 候補 {X, Y} を持つ2値マスを選びます。それをピボットと呼びます。
  2. ピボットを見ている2値マスをリストアップします。そこからXと3番目の数字Zを含む1つを見つけます。それをXウィングと呼びます。
  3. 同じリストから、YとZを含む別の2値マスを見つけます。それをYウィングと呼びます。
  4. 両方のウィングがピボットを見ていることを確認します。ウィング同士が見合う必要はありません。
  5. 両ウィングを同時に見ているマスを見つけます。そこからZを消します。
  6. 再スキャンします。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へ進みましょう。

よくある質問

数独のXY-Wingとは何ですか?
XY-Wingは、2値マス(候補がちょうど2つのマス)から組み立てる3マスのパターンです。候補XとYを持つ軸(ピボット)マスが、XとZを持つマスとYとZを持つマスという2つのピンサーマスを見ており、各ピンサーが軸とユニットを共有しています。軸がどちらの値を取っても、ピンサーの一方が必ずZになるため、両方のピンサーを見ているどのマスからもZを除外できます。
XY-Wingを見つけるには?
候補XYを持つ2値の軸マスを探し、それが見える他の2つの2値マス、一方がXZ、もう一方がYZを持ち、3マス合わせてちょうどX・Y・Zの3つの数字を使うものを見つけます。見つけたら、両方のピンサーが見えるマスを特定します。そこが共有候補Zを除外できる場所です。必要なマスがユニットを共有している限り、軸とピンサーは行・列・ボックスのどんな組み合わせにあっても構いません。
XY-WingとX-Wingの違いは何ですか?
名前は似ていますが両者は無関係です。X-Wingは2つの行と2つの列にまたがる長方形パターンを使う単一数字のフィッシュ、XY-Wingは3つの異なる候補を含む3つの2値マスの多数字の連鎖です。X-Wingの論理は1つの数字が直線ごとに2回現れることに関するもので、XY-Wingの論理は軸が2つのピンサーの一方に除外用の数字を持たせることを追います。
XY-Wingの除外が必ず機能するのはなぜですか?
軸マスはXかYのどちらかでなければなりません。Xなら、XZのピンサーがZに強制されます。Yなら、YZのピンサーがZに強制されます。いずれにせよ一方のピンサーがZになるため、両方のピンサーを見ているどのマスもZになれず、軸が実際にどちらの値を取るかにかかわらず、その候補を安全に取り除けます。