上級数独テクニック

むずかしいパズルはヒント数字が25〜29個、グリッドの約3分の1しかありません。序盤はシングル（ネイキッド・ヒドゥン）がほとんど使えず、ロック候補だけでは不十分です。むずかしい数独にはサブセット除外が必要です。2〜3マスを同時に扱うテクニックで、数字を直接確定させずに候補を絞り込みます。

むずかしいレベルの核心テクニックはネイキッドペア・ネイキッドトリプル・ヒドゥンペア・ポインティングペアです。最初は馴染みがないかもしれませんが、すぐにパターンとして認識できるようになります。重要な発想の転換は、「Xはどこに入るか？」を探すだけでなく、「Xをどこかから除外できる構造はあるか？」を探すことです。

ネイキッドペアとは、同じグループ（行・列・ボックス）内の2つのマスが、まったく同じ2つの候補だけを持つ状態です。それらの2マスはその2つの値をそれぞれ持つはずなので（どちらがどちらかは不明でも）、その2つの値はグループ内の他のマスには入れません。

除外の論理：

1. 同じグループ内で、まったく同じペア（例：{3、7}）のみを持つ2マスを見つけます。
2. その2つの値はその2マスに「予約」されています。一方が3でもう一方が7です（順不同）。
3. グループ内の他の全マスの候補リストから3と7を削除します。

Row 5 candidates (after initial pencil-mark pass):

  Col 1: {3, 7}      ← pair cell A
  Col 2: {1, 5, 9}
  Col 3: {3, 7}      ← pair cell B — same two values, no others
  Col 4: {1, 5}
  Col 5: {1, 5, 9}
  Col 6: {5, 9}
  Col 7: given
  Col 8: given
  Col 9: {1, 9}

Naked pair {3, 7} in cells (5,1) and (5,3).
→ One of those cells is 3 and the other is 7.
→ Remove 3 and 7 from cols 2, 4, 5, 6, 9 (every other cell in row 5).
   Col 2 becomes {1, 5, 9}  (unchanged — no 3 or 7 to remove)
   Col 9 becomes {1, 9}     (unchanged — no 3 or 7 to remove)
   No eliminations happen here, but in other rows the same pair often frees up moves.

ネイキッドペアによる除外は、同じまたは隣接するグループでネイキッドシングルやヒドゥンシングルを露わにして連鎖反応を起こすことがよくあります。テクニック適用後は必ず影響を受けた行・列・ボックスを再確認しましょう。

ネイキッドトリプルはネイキッドペアを3マスに拡張したものです。同じグループ内の3マスが合わせて3つだけの異なる候補を持つ場合、その3つの値はその3マスにロックされます。グループ内の他の全マスからそれら3つの値を除外します。

各マスが3つの値すべてを持つ必要はありません。3つの外側の値を含まないことだけが条件です。{A、B、C}を使った代表的なパターン：

• {A,B}、{B,C}、{A,C} — 各ペアの組み合わせ
• {A,B,C}、{A,B}、{B,C} — フルトリプルと2つのサブセット
• {A,B,C}、{A,B,C}、{A,B,C} — 全部同じ

ネイキッドトリプルはネイキッドペアより少ないですが、むずかしいパズルでは定期的に現れます。体系的に探すには、まずボックスから、次に行と列の順がおすすめです。他のテクニックが行き詰まったときに信頼できる戦略です。

ヒドゥンペアはネイキッドペアの反対です。候補が2つだけの2マスを探すのではなく、グループ内のちょうど2マスにしか候補として現れない2つの数字を探します（それらのマスには他の候補もある場合でも）。

あるグループ内で数字AとBがマスXとマスYにしか候補として現れない場合、XはAかBのどちらかを持ち、Yはもう一方を持つはずです。マスXとYの他の候補はすべて安全に除外できます。そのペアは余分な候補の中に「隠れて」いたわけです。

Box (rows 4–6, cols 4–6) — scanning for digits 2 and 8:

  (4,4): {1, 2, 5, 8}   ← contains both 2 and 8
  (4,5): {1, 5}
  (4,6): {2, 5, 8}      ← contains both 2 and 8
  (5,4): {1, 5}
  (5,5): {1, 5}          ← no 2 or 8
  (5,6): {1, 5}
  (6,4): {1, 5}
  (6,5): {1, 5}
  (6,6): {1, 5}

Digits 2 and 8 appear as candidates in exactly two cells: (4,4) and (4,6).
→ Hidden pair confirmed: (4,4) must be 2 or 8; (4,6) must be 2 or 8.
→ Remove all other candidates from those two cells:
   (4,4) becomes {2, 8}
   (4,6) becomes {2, 8}
→ Now check: (4,5) = {1, 5} — is either a naked single? Not yet.
   But the box now has fewer candidates; re-scan for new singles.

除外後、ヒドゥンペアのマスがネイキッドシングルになったり新しいネイキッドペアの一部になったりして、さらなる入力への連鎖が起きることがよくあります。ヒドゥンペアはむずかしいパズルを開く突破口になることが多いです。

ふつう数独からのポインティングペア（ロック候補）はむずかしいレベルでも重要です。候補リストが密になるため目立ちにくいですが、論理は同じです。

• 各ボックスで、まだ入っていない各数字が入れるマスをリストアップします。
• それらの位置がすべて1つの行または列に並んでいれば、その行または列のボックス外からその数字を除外します。

むずかしいレベルでは、ネイキッドペアやヒドゥンペアの除外でボックス内の候補が絞られた後にポインティングペアが生まれることがよくあります。以前は見えなかった行・列の並びが露わになるのです。サブセット除外のたびにふつうレベルのチェックリストを実行することが重要です。

ボックスライン削減（ある行または列の数字がすべて1つのボックス内にある状態）もむずかしいレベルで引き続き有効です。ネイキッドペアの除外で候補リストが絞られると、以前は2つのボックスに広がっていた数字が1つに収まり、新しい除外の機会が生まれることがあります。

習慣にしましょう。サブセット除外のたびに、すべての行・列・ボックスでロック候補とボックスライン削減を再実行してください。むずかしいパズルはテクニックの連鎖であり、それぞれが次の手を見えやすくします。

詰まったときはこの判断ツリーを使いましょう。上から下へ進み、成功したら最初から再スタートします。

1. ネイキッドシングルがある？ → 入力してから再スタート。
2. ヒドゥンシングルがある？ → 入力してから再スタート。
3. ロック候補またはボックスライン削減がある？ → 除外してから再スタート。
4. 1つのグループ内にネイキッドペアがある？ → 除外してから再スタート。
5. ヒドゥンペアがある？ → 除外してから再スタート。
6. ネイキッドトリプルがある？ → 除外してから再スタート。
7. まだ詰まっている？ → メモが正確で完全かを確認します。怪しいマスの候補を再導出してみましょう。

このサイクル（入力・除外・ループ）でむずかしい数独パズルの大半は解けます。エラーはほぼ常に不正確な候補リストにあり、テクニックの不足ではありません。