XY-Wing 解き方 - 3 マスの連鎖で候補を除外する上級テクニック

·約 2 分で読めます

XY-Wing は、2 候補だけを持つ 3 つのマスが Y 字型に連鎖し、特定の数字を強制的に除外できる上級テクニックである。X-Wing が「列・行の 4 マス矩形」を扱うのに対し、XY-Wing は「異なる候補ペアの連鎖」を扱う。本記事ではピボット概念の理解から実践的な発見手順までを解説する。

XY-Wing の基本構造

XY-Wing は 3 つのマスで構成される。中心となる「ピボット」は候補が {X, Y} の 2 つだけのマス、両端の「ピンサー」はそれぞれ {X, Z} と {Y, Z} の 2 候補だけのマスである。ピボットと各ピンサーは同じユニット (行・列・ブロック) を共有していなければならない。この 3 マス構成が成立すると、ピボットが X か Y のどちらに確定しても、必ず一方のピンサーで Z が確定する。結果として、両ピンサーから「見える」第三のマスからは Z を除外できる。Y 字型の論理連鎖を扱うため、XY-Wing と呼ばれる。

なぜ Z が除外できるのか

論理を分解すると明確になる。ピボットの値が X の場合、ピボットと同ユニットを共有するピンサー (候補 {X, Z}) からは X が排除され、Z に確定する。逆にピボットが Y の場合、もう一方のピンサー (候補 {Y, Z}) で Y が排除され Z に確定する。つまり「ピボットの値が X か Y かに関わらず、いずれかのピンサーは必ず Z」という結論が導かれる。両ピンサーが同時に見えるマス (両ピンサーと同ユニット関係にあるマス) には、確実にどちらかのピンサーから Z 確定の影響が及ぶため、そのマスから Z を除外できる。これは古典論理の選言三段論法を盤面上で実行している形である。

X-Wing との違い

<a href="/ja/articles/x-wing-technique/">X-Wing</a> と XY-Wing は名前が似ているが、論理構造は全く異なる。X-Wing は同じ数字 X が 2 行 × 2 列の矩形に閉じ込められる構造を利用し、その列または行から X を除外する。マス数は 4 つで、扱う候補は 1 種類 (X のみ) である。一方 XY-Wing は 3 マスで 3 種類の候補 (X, Y, Z) が絡む。X-Wing が「同一数字の位置制約」、XY-Wing が「異なる候補間の論理連鎖」と理解すれば混同しない。難易度的には XY-Wing のほうが発見が難しく、Expert 以上のパズルで決定打になることが多い。

実践的な発見手順

XY-Wing を効率的に発見する手順は以下の通りである。手順 1: 盤面上で候補が 2 つだけのマスを全て特定する。Master 難易度では 5-15 個程度存在することが多い。手順 2: それらの中からピボット候補となる任意のマスを選ぶ (候補 {X, Y})。手順 3: ピボットと同ユニットを共有し、{X, ?} の候補を持つマスを探す。「?」が見つかったらそれを Z とする。手順 4: ピボットと別ユニットを共有し、{Y, Z} の候補を持つマスを探す。手順 5: 両ピンサーが同時に見えるマスがあれば、そこから Z を除外できる。手順 6: 除外できるマスがなければ別のピボット候補で繰り返す。慣れれば数分で盤面全体を走査できるようになる。

陥りやすい誤りと検証

XY-Wing で起きる典型的な誤りは 3 つある。第一に「ピンサー候補の片方が 3 つ以上の候補を持っている」ケース。XY-Wing は 3 マス全てが厳密に 2 候補でなければ成立しない。3 候補のマスを含めると論理が崩れる。第二に「両ピンサーがピボットと同じユニットを共有している」ケース。両ピンサーは互いに別のユニットを通じてピボットと繋がっていなければならない (例: 一方が行で繋がり、もう一方が列で繋がる)。第三に「除外対象マスが片方のピンサーしか見ていない」ケース。両ピンサーから同時に見えなければ除外できない。発見した XY-Wing が実際に有効か、3 つの条件を必ず確認すること。なお、XY-Wing を一般化すると XYZ-Wing や WXYZ-Wing といった派生形があり、より長い連鎖を扱える上位テクニックへと発展する。

二択の論理を盤面で使う

XY-Wing の本質は、ピボットが X か Y かという二択が、必ずどちらかのピンサーで Z を確定させるという、選言三段論法を盤面の上で実行することにある。ピボットがどちらの値に転んでも、結論として Z がいずれかのピンサーに現れる。だからこそ、両方のピンサーから同時に見える第三のマスには Z が入る余地がなく、除外できる。重要なのは、これが当て推量ではなく、二つの場合をどちらも検討した上で共通して導かれる確実な結論だという点だ。一見複雑だが、もし X ならこうなる、もし Y ならこうなる、どちらでも Z は消える、と順を追えば、論理は明快である。

発見と検証のチェックリスト

XY-Wing を正しく使うには、三つの条件を必ず確認する。第一に、ピボットと二つのピンサーが、いずれも候補をちょうど二つだけ持つこと。三候補のマスを混ぜると論理が崩れる。第二に、二つのピンサーが、それぞれ別のユニットを通じてピボットとつながっていること。第三に、除外したいマスが、両方のピンサーから同時に見える位置にあること。片方からしか見えないマスは除外できない。実戦では、まず候補が二つだけのマスをすべて洗い出し、その中からピボットとピンサーの組を探すと効率がよい。これらの条件を一つずつ確かめる慎重さが、誤った除外による盤面の破壊を防ぐ。