ナンプレの数学：盤面数・ヒント数・唯一解

有効な9x9の完成盤面は6,670,903,752,021,072,936,960通りあり、およそ6.67 x 10^21です。解が一つだけになるまま、ヒントを17個より少なくできる問題はありません。そして、よくできた問題の解は、必ずちょうど一つです。このページでは、これらの数値と、誰が証明したのか、そしてヒント数と難易度について当サイトのカタログから何が見えるかを紹介します。盤面の裏にある数字に興味のあるプレイヤーに向いています。（英語圏では、米国では「sudoku math」、英国式の綴りでは「sudoku maths」と検索されます。）

ナンプレの盤面は何通り？

ここでいう「盤面」とは、行、列、ブロックのルールを満たして完全に埋まったボードのことです。Bertram FelgenhauerとFrazer Jarvisが「Enumerating possible Sudoku grids」（2005年）でこれを数え、6,670,903,752,021,072,936,960という数を得ました。

そのうちの多くは、同じ盤面が姿を変えたものです。数字を付け替える（すべての1とすべての2を入れ替える）、盤面を回転や反転させる、三行の帯の中で行を入れ替える、といった操作をすると、見た目は違っても構造の同じ盤面になります。Ed RussellとFrazer Jarvisは、こうした対称性を取り除いた後に残る盤面を「There are 5,472,730,538 essentially different Sudokus」（2006年）で数えました。答えは題名にある数、5,472,730,538です。

ナンプレの問題は何通り？

盤面より多く、広く認められた単一の数字はありません。問題とは、いくつかの数字を隠した盤面のことなので、一つの盤面から膨大な数の問題ができます。そのうち、解がちょうど一つのままのものだけが、正式な問題として数えられます。この確認は、問題ごとに行う必要があります。遊ぶうえでの実用的な答えは、「一生かけても解ききれないほど多い」です。当サイトのカタログは全体の数ではなく標本で、レベルとモードごとに最大1,000問を、難易度順に収めています。

ナンプレの最少ヒント数は？

17です。2012年に、Gary McGuire、Bastian Tugemann、Gilles Civarioが「There is no 16-clue Sudoku: solving the Sudoku minimum number of clues problem」で、ヒント16個で解が一つの問題は存在しないことを証明しました。探索は網羅的で、非常に長いコンピューター時間がかかりました。そのため、この問いは何年も未解決のままでした。

それ以前から、17個のヒントの問題は知られていました。Gordon Royleが公開のコレクションを管理していましたが、16個の問題は一つも見つかっていません。この証明で問いは決着し、17が下限です。

十七は数学的な限界であって、遊ぶときの基準ではありません。そこまで薄い問題は珍しく、おもに研究者の関心の対象です。当サイトのクラシックで最もヒントの少ない問題は19個で、一般的な問題は20台の半ばです（下の表）。

ナンプレの解は必ず一つ？

いいえ。数字を取り除いた盤面は、ゆるい意味ではどれも「問題」ですが、そうしたボードの多くには、有効な完成形が二つ以上あります。きちんと作られたナンプレの解は、ちょうど一つで、これが標準的な決まりです。ナンプレを日本で広めた出版社のNikoliは、これを必須としていました（ナンプレの歴史を参照）。

唯一であることが大切なのは、実用的な理由からです。解が一つなら、純粋な論理の一手一手はそこへ向かい、推測する必要はありません。解が二つあれば、すべての手順で正しくても、「間違った」答えで終わってしまうことがあります。

確認の方法：このサイトのすべての問題は、公開前にちょうど一つの解を持つことが証明されています。ソルバーが解を探し、次に二つ目の解を探して、二つ目があれば問題は却下されます。各問題はSudoku Explainerの移植版でも評価され、必要な最も難しい論理の手順が記録されます。キラーと16x16の問題にも同じ唯一性の確認を行っています。

ナンプレは数学？

クラシックのナンプレに計算は出てきません。数字は九つの異なる記号にすぎません。九つの文字や九つの色に替えても何も変わりません。解くことは論理で、可能性の消去なので、計算というより推理パズルに近いものです。16x16の盤面で、9のあとにAからGを使えるのはそのためです。

数学は、パズルの中ではなく背後にあります。盤面を数えること、対称性、最少ヒント数の証明は、組み合わせ論とコンピューター探索です。17個のヒントの結果は、網羅的な計算で解かれたヒッティングセット問題の一例です。

計算が出てくるのは、バリエーションです。キラーナンプレでは、各ケージの数字の合計が目標の数にならなければならないので、合計と、それを作れる数字の組み合わせについて考えます。

ヒントが少ないほどナンプレは難しい？

必ずしもそうではありません。ヒント数が示すのは教えてもらう量であって、論理の深さではありません。ここに、当サイトのクラシック9x9の問題について、2026年9月29日時点のカタログから、レベルごとのヒント数を示します。

目立つ点が二つあります。ヒントの平均は初級から達人にかけて減っていきますが、伝説級は、より難しい評価なのに、達人（24.4）より平均のヒントが多い（25.3）のです。また、上級の問題にヒントが44個あることもあります。難易度は、問題が強いる最も難しいテクニックに従い、それはSudoku Explainerのスケールで測ります。ヒント数では決まりません。各範囲が何を求めるかは、難易度レベルを見てください。

キラーでは、この点がさらにはっきりします。当サイトの超上級、達人、伝説級のキラーには、ヒント数字がまったくありません。ケージだけで解が決まります。

その効果を自分で確かめたいなら、伝説級の問題に挑戦して、与えられるヒントがいかに少ないか、それでもどれだけの論理が必要かを見てみましょう。最難関のナンプレは、それをさらに押し進めます。ルールが初めてなら、ナンプレの遊び方から始めてください。