16x16 エクストリーム数独は、標準数独カタログにおける最難関パズルです。最大サイズのフォーマットで最高難度に位置し、唯一解を保証する最小限のヒント数で生成されます。具体的には、256マス中およそ50〜60マスが埋まった状態です。このレベルでは、スクワームバッグを含む完全なフィッシュ階層、XYZ-Wingを含むウィング系の全種、そして15リンク以上の交互推論連鎖(AIC)を、解き始めの時点で1500個を超えることもある候補ネットワーク全体に対して駆使しなければなりません。16×16 エクストリーム数独を完成させることは、世界で最も熱心なパズル解法者にとっての到達点です。無料のエクストリームパズルは SudokuPro でプレイできます。
16x16 エクストリーム数独は、難しさだけでなく、解く人に求められる持続的で複数セッションにまたがる分析的な集中力によって定義されます。
196〜206の空きマスと16種類の記号により、16x16 エクストリームパズルの初期候補グリッドは、48ユニットに分散した合計1500以上の候補をしばしば超えます。下位のあらゆるフォーマットと難度で使う技法がここに集約され、それでもなお、最難関パズルでは解決のために二分岐が必要になります。
16x16 エクストリームパズルでは、C(16,5) = 4,368通りの5行組み合わせを探索できるため、スクワームバッグのパターンはまさに意味のある頻度で現れます。各記号について、その記号を含む候補マスが2〜5個だけ存在する行をすべて特定します。カバレッジ表を使い、候補が合計でちょうど5列以下に収まる5つの行を見つければ、その組み合わせがスクワームバッグです。その記号を、5列すべての他のマスから削除します。16×16グリッド上の1回のスクワームバッグで、最大11マスから同時に記号を消去でき、これは標準数独で利用できる単一ステップのパターン消去として最大級です。
16x16 エクストリームパズルでは、AICチェーンは有用な結論に至るまで12〜18リンクに伸びることがよくあります。この長さのチェーンを構築するには、明確な記法が必要です。各ステップで、セル、連鎖させる記号、リンクの種類(強リンクまたは弱リンク)を記録します。実用的な出発点は、チェーンを構築する前に、対象記号のすべての強リンクをグリッド全体でマッピングすることです。記号がちょうど2候補しかないユニットをすべて特定し、その2つの候補セルを強リンクの両端として記録します。次に、ユニット内でその記号が2か所を超えて現れるセルを弱リンクとして用い、厳密に交互にたどっていき、チェーンの両端が第3のセルと可視関係を共有するまで続けます。そうなったら、その第3のセルに消去を適用します。
スクワームバッグやAICを含む完全な技法階層を使い尽くしてもグリッドが解けない場合、次の道は構造化二分岐です。16×16グリッドでの手順は厳格です。どの分岐に進む前にも、空きマスすべての完全な候補リストを含む、盤面全体の候補状態を完全にスナップショットとして保存します。利用可能な中で最も制約の強いセル(通常は候補がちょうど2つで、他にも制約の強いセルが複数あるユニットに属し、配置した記号の影響を最大化できるもの)を選びます。候補の一方を確定し、利用可能なすべての技法を最大深度まで用いて結果を伝播させ、盤面を評価します。もし矛盾が現れたら — ある記号に対して有効なセルが1つもないユニットがあれば — スナップショットを正確に復元し、もう一方を試します。スナップショットがなければ、200手分の分岐の80手目で矛盾が起きたとき、256マスの盤面で分岐前の状態を信頼できる形で復元する手段がなくなります。
16×16 エクストリーム数独を完成させることは、標準数独で到達できる最高の成果です。これより大きい標準フォーマットも、これより難しい難度ラベルも、このパズルが要求する以上の技法もありません。ここに至るまでの全体像を体験したいなら、フィッシュパターンの習熟のために 16x16 Expert Sudoku を再訪し、交互推論連鎖が最初に発展した 9x9 Extreme Sudoku の古典的な挑戦に触れ、あるいは 4x4 Sudoku に戻って、あなたの技術がどれほど進歩したかを確かめてください。すべてのフォーマットと難度は SudokuPro ホームページ で無料で楽しめ、解法ガイドは SudokuPro How-to-Play にあります。