候補消去・ネイキッドシングル・ネイキッドペア・ポインティングペア——これらを使い切ってもパズルが行き詰まるなら、次の層に進む時だ。四つのテクニックは、中級・上級で起きる行き詰まりをそれぞれ異なる角度から打開する。
エックスウィングとソードフィッシュは行・列の対称性を軸に組み立てられている。エックスワイウィングは三つのセルをつなぐ論理連鎖だ。フォーシングチェーンは推測ではなく、両方の可能性を追い、矛盾のない唯一の結論へたどり着く手法である。四つとも純粋に論理的で、当てずっぽうの要素はまったくない。
この記事のテクニックを使うには候補メモが必須だ。候補消去・ネイキッドシングル・ネイキッドペアの知識も必要になる。まだこれらが身についていなければ、先に基本テクニックガイドを確認してほしい。
エックスウィング
エックスウィングは二つの行と二つの列の交点で機能するテクニックだ。名前の由来はアルファベットの「エックス」の形にある。二つの行で同じ数字の候補がまったく同じ二列だけに集まっているとき、その四つのセルはエックスを描く——そして、その二列にある他のすべてのセルからその数字を除去できる。
論理はこうだ。第二行でこの数字は三列か七列のどちらかに入る。第六行でも同様に三列か七列のどちらかだ。どの組み合わせが成立しようとも、三列と七列の残りのセルはその数字を持てない。
グリッド例 — エックスウィング
ステップごとの解法
列ベースのエックスウィング
エックスウィングは行ベースに限らない——同じ論理は列にも使える。二つの列で同じ数字の候補がまったく同じ二行だけに集まっているなら、その二行の残りのセルからその数字を除去できる。方向は違っても、論理は同じだ。
数字を一つずつ追っていく。七なら全行をスキャンして、どの行で七の候補が二列だけに収まっているかを確かめる。この問いを一から九まで各数字に問いかけるほうが、漠然とエックスウィングを探すよりずっと速く見つかる。初めてエックスウィングを見つけたとき、パズルより先に頭の中で何かがはまる感覚がある——二回目はその感覚がずっと早く来る。
ソードフィッシュ
ソードフィッシュはエックスウィングを三行に拡張したものだ。エックスウィングは二行×二列で四隅だった。ソードフィッシュは三行×三列で最大九隅になるが、すべての交点が埋まっている必要はない。重要なのは、三つの行でその数字の候補がすべて最大三列に収まっているかどうかだ。
「最大」という言葉が肝心だ。三行のうち一行でその数字の候補が一列しかなくてもソードフィッシュは崩れない。条件はこうだ：三行でその数字の候補をすべて集めたとき、出てくる列が最大三つなら、ソードフィッシュが成立する。
グリッド例 — ソードフィッシュ
ステップごとの解法
エックスウィングは二行を比べるだけで、脳はそれを視覚的に保持できる。ソードフィッシュは三行を同時に保ちながら列の和を計算しなければならない。このワーキングメモリの負荷が、熟練者でさえ見逃すことがある原因だ。実践的な対策：一度に一つの数字だけに集中してメモを取り、三行を一つずつスキャンする。
エックスワイウィング
エックスワイウィングはエックスウィングと名前が似ているだけで、論理はまったく別物だ。三つのセル、三組の二候補リスト、そしてセル間の可視関係——それだけでできている。
用語を整理しよう。一つのピボットセルと二つのピンサーセルがある。ピボットは両方のピンサーから見える。ピンサー同士は直接見えなくてもよいが、共通の候補を持っている。その共通候補を、両ピンサーから見えるセルすべてから除去できる。
構造と論理
ピボットセルの候補：{エックス, ワイ}。第一ピンサー：{エックス, ゼット}。第二ピンサー：{ワイ, ゼット}。
なぜゼットを除去できるのか。ピボットはエックスかワイのどちらかになる。ピボットがエックスなら→第一ピンサーはゼットでなければならない。ピボットがワイなら→第二ピンサーがゼットでなければならない。どちらの場合でも、二つのピンサーのどちらかが必ずゼットを持つことが保証される。したがって、両ピンサーから見えるセルはゼットを持てない。
グリッド例 — エックスワイウィング
ステップごとの解法
複数セルが影響を受ける場合
エックスワイウィングは複数のセルに影響することがある——両ピンサーから見えるセルが複数あれば、そのすべてからゼットを除去できる。この状況はピンサーの一方がブロック境界付近にある配置で特によく起きる。
ネイキッドペアは同じユニット（行・列・ブロック）を共有するセルに作用する。エックスワイウィングは異なるユニットのセル間に橋を架ける——ピボットがなければ二つのピンサーは互いを「見えて」いない場合がある。だからエックスワイウィングはより広いグリッド領域に影響し、ネイキッドペアが踏み込めない場所で除去を実現する。
フォーシングチェーン
フォーシングチェーンは推測ではない——二つの可能性を同時に追いかけ、どちらも同じ結論に行き着くことを示すのだ。「このセルが甲なら→こうなる→結果はエックス。乙なら→別の道を通るが→やはりエックス。」二つの道が同じ扉に通じるなら、エックスは確定する。
このテクニックは構造的に他と異なる。除去ではなく推論の連鎖だ。ただし推測と混同しないことが大切だ。推測はある可能性を試し、矛盾が出れば戻る。フォーシングチェーンは両方の分岐を丸ごと追い、矛盾のない共通結論を導く——バックトラックは一切不要だ。
二種類のフォーシングチェーン
最もよく使われる二つの形：バイナリーフォーシングチェーンとユニットフォーシングチェーンだ。
バイナリーフォーシングチェーン：候補が二つのセルを選ぶ。甲だと仮定して連鎖除去を追う。乙だと仮定して追う。どちらの場合でも同じセルが同じ値になるなら、その値は確定だ。
ユニットフォーシングチェーン：ある行・列・ブロックでその数字の位置候補が二つだけある。両方を順に仮定する——どちらが選ばれても別のセルが同じ値になるなら、その値は確定だ。
グリッド例 — バイナリーフォーシングチェーン
ステップごとの適用法
エックスウィング・ソードフィッシュ・エックスワイウィングを使い切った後だ。フォーシングチェーンは強力だが、連鎖を追うには集中力とメモが要る。短い連鎖（三〜四ステップ）なら手で管理できる。長い連鎖には紙かデジタルメモモードが必須だ。数独ネットではメキーで候補メモを常に最新の状態に保つことで、連鎖の追跡が格段に楽になる。
四テクニックの比較
| テクニック | 構造 | できること | 難易度 |
|---|---|---|---|
| エックスウィング | 二行 × 二列 | 二列から数字を除去 | ★★☆☆☆ |
| ソードフィッシュ | 三行 × 三列 | 三列から数字を除去 | ★★★☆☆ |
| エックスワイウィング | ピボット一＋ピンサー二 | ゼットの候補を除去 | ★★★☆☆ |
| フォーシングチェーン | 二分岐・共通結論 | 共通推論を確定させる | ★★★★☆ |
どのテクニックをいつ試すべきか
詰まったときにテクニックを選ぶのは気まぐれではない。順番がある。
- 一まず基本テクニックを使い切る：ネイキッドシングル・ヒドゥンシングル・ネイキッドペア・ポインティングペア。これらが効いているうちは上級テクニックに進む必要はない。
- 二次にエックスウィング：各数字を行ベースでスキャンする。二行で候補が同じ二列に収まるならエックスウィングだ。
- 三その後ソードフィッシュ：エックスウィングが見つからなければ三行に広げる。三行の候補が三列に収まるならソードフィッシュだ。
- 四エックスワイウィング：二候補セルをピボットとして試していく。各ピボットに合う二つのピンサーを探す。
- 五フォーシングチェーンは最後：短い連鎖が見えるなら試す。長い連鎖は候補メモなしでは追えない。
よくある質問
おわりに
この四つのテクニックは同じ土台の上に立っている：数字が置けない場所を体系的に絞り込むことだ。エックスウィングとソードフィッシュは二つか三つの行・列の対称性でそれをやる。エックスワイウィングは三つのセルの間に橋を架けて。フォーシングチェーンは両方の道を歩いて、どこに出るかを確かめることで。
四つとも推測を含まない——だが、それぞれに固有の見え方がある。エックスウィングを初めて見たとき、対称性が頭に刻まれる。エックスワイウィングではピボットとピンサーの関係が具体的になる。フォーシングチェーンでは二つの分岐を同時に頭に持ち続けるそのプロセスが、グリッドを読む眼を永続的に変える。