Sudoku Flowすべてのナンプレは当てずっぽうなしで解けるのか
ランダムに作った10,000問のナンプレを、私たちのアプリのヒントエンジンで解きました。大半は推測がまったく不要で、約5問に1問は仮定を慎重にたどるチェーンが必要、さらにその先が必要な問題もわずかにあります。
更新日：2026-11-05
何を推測と呼ぶのか
推測とは、理由を説明できない数字を入れ、それが正しいことを願いながら先に進むことです。間違っていれば、何手も後になってから気づき、それ以降の手をすべて取り消さなければなりません。フォーシングチェーンは違います。数字を1つ仮に置き、そこから必ず導かれることをたどります。その結果、入る数字が1つもないマスができれば、その仮定が間違っていたことが証明されます。証明されていないものは盤面に残りません。これを論理とみなす人もいれば、形を変えた推測とみなす人もいるため、このページでは2つを分けて扱います。
調べたこと
簡単なプログラムと同じ方法で、ランダムな問題を10,000問作りました。盤面をランダムに埋めてから、答えがちょうど1つのままである限り、最初の数字をランダムな順に1つずつ取り除きます。最初に入っている数字は22〜27個です。次に、私たちのアプリのヒントエンジンで1問ずつ解きました。エンジンは常に、知っている解法の中で見つけられる最も簡単な手順を選びます。アプリと私たちのソルバーでヒントを出しているのと同じエンジンです。
結果
79.7%の問題は、シングルからほぼロックされた集合まで、人が使う解法だけで解けました。全体の32.6%では、最も難しい手順がヒドゥンシングルだけでした。19.3%は、少なくとも1回フォーシングチェーンが必要でした。残りの1.0%（102問）は、エンジンのどの解法も使えない状態に行き着きました。これらを解くには、エンジンが知っている解法を超える解法か、より長い仮定のチェーンが必要です。
普段解く問題が違う理由
新聞、本、アプリの問題はランダムではなく、選ばれ、難易度が判定されています。私たちのアプリの問題集にある60,000問は、どれもフォーシングチェーンを使わずに解けます。有名な「世界一難しい」ナンプレはその逆で、チェーンが必要になるように作られています。それらの問題を紹介するページでは、私たちのエンジンがどこでチェーンを使う必要があるかを示しています。
それでも行き詰まったら
知っている解法をすべて試したなら、慎重に仮定を置いてみるのは妥当な次の一手です。入る可能性のある数字が2つだけのマスを選び、そのうち1つを薄く書き込んで、そこから必ず決まることをたどります。矛盾が生じれば、もう1つの数字が正解です。矛盾が生じなければ何も証明されていないので、その数字を消し、もう1つの数字か、別のマスで試しましょう。
練習してみましょう
このサイトの間違い探しには、間違った数字が必ず1個だけあります。どの問題も、そのページですぐに遊べます。
