なぜ数独の解は1つなのか
正しい数独には純粋な論理でたどり着ける解がちょうど1つ — それが当て推量を不要にする保証です。
正しい数独を定める性質は唯一性です:すべてのルールを満たす盤面の埋め方がちょうど1通りあります。これはあれば良いものではなく — パズルを論理で解けるものにするものです。なぜなら各ステップで正しい一手が、選ばれるのではなく強制されるからです。
解が2つ以上ある盤面は本物の数独ではなく、ゼロのものもそうです。信頼できるパズルは出版前にソルバーを通し、論理でたどり着ける唯一の解があることを確認します。
なぜ唯一性が重要か
もしパズルに解が2つあれば、ある時点で一方の分岐を選ぶ論理的な理由のない本当の選択に直面します — 当て推量せざるをえません。唯一性の保証はそれを取り除きます:行き詰まったときはいつでも、次の推論は存在し、まだ見つけていないだけです。
唯一性はどう保証されるか
生成器は数字を置き、それからヒントを1つずつ取り除き、各除去の後に盤面がまだちょうど1つの解を持つか確認します。あるヒントを取り除くと2つ目の解が生じてしまう瞬間、そのヒントは残されます。したがって出版されるパズルはほぼ極小で、唯一であることが証明されています。
- 解が2つ ⇒ 強制された当て推量 ⇒ 正しい数独ではない。
- 生成器は出版前に唯一の解を確認する。
- 一部の高度なテクニック(ユニークレクタングル、BUG)はこの保証を直接利用する。
よくある質問
- 数独に解が2つ以上あることはありますか?
- 正しいものにはありません。盤面に複数の完成のしかたがあれば、解くのに任意の当て推量が必要になるので、正しい数独ではありません。出版されたパズルは唯一であることが確認されています。
- 数独で当て推量が必要になることはありますか?
- いいえ。解が唯一なので、すべてのステップは論理で強制されます。当て推量したくなったら、まだ見つけていない推論があるのです。
関連記事
参考リンク
オンラインで練習
ヒント、メモ、4段階の難易度がある無料パズルで実践しましょう。
数独をプレイ