エキスパート数独テクニック

エキスパートのパズルはヒント数字が20〜24個しかなく、グリッドの4分の1未満です。序盤にネイキッドシングルやヒドゥンシングルがほとんど使えません。複数の行・列・ボックスにまたがるグローバルなパターンを探す必要があります。X-Wing、Swordfish、XY-Wingのような構造で、数字が入る場所を直接示さずに候補を除外します。

エキスパートを解くことは、体系的な探偵作業です。完全な候補マップを作り、除外を強制する構造パターンを探します。除外のたびに次の手が連鎖し、パズルが解けていきます。根気と正確なメモは不可欠です。候補の抜けや誤りは有効なパターンを見えなくします。

X-Wingとは、ある候補数字が2つの異なる行それぞれにちょうど2マスしかなく、それらのマスが同じ2つの列を共有している状態です。これにより4マスが長方形を形成し、その数字は対角線の2マスに入ります。

X-Wingで除外できる理由：

• 行Aではその数字が列Xか列Yに入ります。
• 行Bではその数字が残った列（列Yか列X）に入ります。
• どちらの場合も、列Xと列Yはそれぞれこの数字を1つずつ受け取ります。
• したがってその数字は列Xと列Yの他のどのマスにも入れません。それら2つの列の他の全マスから除外します。

Scanning candidate 7 across all rows:

  Row 1: cols 2, 6, 8  (three cells — not eligible)
  Row 2: cols 3, 7     ← exactly two cells
  Row 3: cols 1, 4, 9  (three cells — not eligible)
  Row 4: cols 3, 7     ← exactly two cells, same columns as row 2!
  ...

X-Wing on digit 7: rows 2 & 4, columns 3 & 7.

  Either: (2,3)=7 and (4,7)=7  — diagonal A
  Or:     (2,7)=7 and (4,3)=7  — diagonal B

In both cases, column 3 gets a 7 (from row 2 or row 4)
           and column 7 gets a 7 (from row 4 or row 2).

→ Eliminate 7 from every other cell in column 3 (rows 1,3,5,6,7,8,9).
→ Eliminate 7 from every other cell in column 7 (rows 1,3,5,6,7,8,9).

SwordfishはX-Wingを3行（または3列）に拡張したものです。ある候補数字が3つの行それぞれに2〜3マスしかなく、それらのマスが合わせて3つ以下の列にしかまたがらない場合、その数字はその3行のその3列にロックされます。それら3列の他の全マスからその数字を除外できます。

Swordfish on digit 3 — scanning rows:

  Row 1: cols 2, 5     (candidates for 3)
  Row 4: cols 2, 5, 8  (candidates for 3)
  Row 7: cols 5, 8     (candidates for 3)

Three rows, candidates spanning exactly three columns: 2, 5, 8.

  Digit 3 must go in one of {(1,2),(1,5)}, {(4,2),(4,5),(4,8)}, {(7,5),(7,8)}.
  Collectively these cells cover only cols 2, 5, and 8.

→ Eliminate 3 from every other cell in columns 2, 5, and 8
  (any row that is not row 1, 4, or 7).

主要な条件：

• ちょうど3行（または3列）が関与します。
• それらの行の候補が最大3列（2列でも4列でもなく）にまたがります。
• 関与する各行にはその数字が2〜3マスなければなりません（1マスだけは不可）。

SwordfishはX-Wingより少ないですが、適用できると強力です。見つかった後の除外はシングルへの連鎖を起こし、残りのパズルの多くが解けることがよくあります。

XY-Wingは3マス（ピボットと2つのピンサー）を使って、両方のピンサーを見ることができるマスから候補を除外します。

• ピボット：候補がちょうど2つ {X、Y}。
• ピンサーA：ピボットとグループを共有し、候補がちょうど {X、Z}。
• ピンサーB：ピボットと別のグループを共有し、候補がちょうど {Y、Z}。

強制の論理：

• ピボット = X の場合 → ピンサーAはXになれない → ピンサーA = Z。
• ピボット = Y の場合 → ピンサーBはYになれない → ピンサーB = Z。

どちらの場合も、ピンサーのどちらかがZを持ちます。ピンサーAとピンサーBの両方を見ることができるマスはZになれません。そのマスからZを除外します。

XY-Wing — three cells:

  Pivot  (2,4) = {3, 7}
  Pincer A  (2,8) = {3, 5}   ← shares row 2 with pivot; common value = 3
  Pincer B  (6,4) = {5, 7}   ← shares col 4 with pivot; common value = 7

Logic:
  If pivot = 3 → pincer A cannot be 3 → pincer A = 5.
  If pivot = 7 → pincer B cannot be 7 → pincer B = 5.
  Either way, one of the two pincers is 5.

Any cell that can see BOTH pincer A and pincer B cannot be 5.
Cell (6,8) is in row 6 (sees pincer B) and col 8 (sees pincer A).
→ Eliminate 5 from (6,8).

XY-Wingを見つけるには：候補が2つのマスをすべてピボット候補としてスキャンします。各ピボットについて、同じ行・列・ボックス内でピボットと1つの値を共有し、互いに共通する値（「ウィング値」Z）を持つ2候補マスを探します。

正しい数独パズルには解が1つしかありません。ユニーク長方形のテクニックはこの保証を使って候補を除外します。特定のパターンが解消されずに残ると2つの有効な解が生まれてしまいますが、それは正しく作られたパズルでは不可能です。そのためそのパターンは特定の方法で解消されなければなりません。

最もシンプルな形（タイプ1）：

1. ちょうど2行2列にまたがり、4マスすべてが最大2つの3×3ボックス内に収まる長方形を見つけます。
2. 4マスのうち3マスがまったく同じ2候補 {A、B} のみを持ちます。
3. 4番目のマスは {A、B} に加えて少なくとも1つの追加候補を持ちます。
4. 4番目のマスが {A、B} だけなら、長方形は2つの解を許してしまいます（AとBが対角に入れ替わられる可能性）。これを防ぐため、4番目のマスはその追加候補を取らなければなりません。AとBをそのマスから除外します。

ユニーク長方形は形を知ればすぐに見つかります。2行×2列の長方形で3つのコーナーが同じ2候補マスになっている場合、4番目のコーナーに追加候補があるか確認します。

シンプルカラーリングは共役ペアを持つ数字を対象とします。同じグループ内に候補の位置がちょうど2マスしかないペアで、どちらかが正解でもう一方は不正解です。

テクニックの手順：

1. ある数字のすべての共役ペアを見つけます（候補マスがちょうど2つのグループ）。これらが連鎖を形成します。
2. 連鎖に沿って交互に色を付けます（例：青・オレンジ・青・オレンジ）。
3. 次の2つの結論を探します。

• 色の矛盾：同じ色の2マスが同じグループを共有している場合、その2マスは同時にその数字にはなれません。そのためその色全体が不正解です。逆の色の全マスにその数字を入力します。
• 外部除外：色のついていないマスが青1マスとオレンジ1マスの両方を見ることができる場合、どちらの色が正解でも、そのマスからその数字を除外できます。

カラーリングはX-WingとSwordfishでグリッドが主に共役ペアに絞られた後、特に効果的です。

エキスパートのパズルが1つのテクニックだけで解けることはほとんどありません。典型的な解法の順序：

1. まずすべてのネイキッドシングルとヒドゥンシングルを入力します。
2. ロック候補とボックスライン削減を適用します。
3. ネイキッドペア・ヒドゥンペア・トリプルを探します。
4. すべての数字についてX-Wing（行基準、次に列基準）を探します。
5. 全2候補マスをピボット候補としてXY-Wingを探します。
6. 2候補マスのグループの中でユニーク長方形を確認します。
7. 共役ペアが多い数字にシンプルカラーリングを適用します。
8. X-Wingが見つからない場合はSwordfishを探します。
9. どれかの除外の後は、ステップ1から再スタートします。

習熟とは各パターンの視覚的な特徴を認識することから来ます。X-Wingの対称的な長方形、XY-Wingのピボットとピンサーをつなぐ三角形、ユニーク長方形の2ボックスにまたがる形。パターン認識は繰り返しで育ちます。毎日練習を続ければ、数週間でX-Wingが自然に目に入るようになります。

最初は1日1問のエキスパートパズルから始め、30〜60分かかることを想定しておきましょう。メモは完全で正確に保ちましょう。候補の抜けは有効なテクニックを見えなくする最も多い原因です。タイマーはプレッシャーの源ではなく、データポイントとして使いましょう。目標は速さではなく、正確な完解です。