数独ソルバーでできること
数独ソルバーは標準的な9x9盤面を受け取り、各行、各列、各3x3ブロックに1から9が1回ずつ入る完全な解を計算します。これは数独の3つの基本ルールを満たす答えを探すということです。
詰まった初心者、難しい問題を確認したい上級者、手がかりの妥当性を試したい作問者に役立ちます。特に、手がかりが有効で、きれいな一意解に進むかを確認したいときに便利です。
- 問題が解けるか確認する。
- 完成した盤面を表示する。
- 正しいマスを1つずつ表示する。
- 標準的な文字列形式で共有する。
この数独ソルバーの使い方
マスをクリックして数字を入力するか、インポート欄に81文字の文字列を貼り付けます。この文字列形式は短く、共有しやすく、保存しやすいため、数独コミュニティでよく使われます。
手がかりを入れたら、解くで全体を完成させるか、1手で次の正しいマスだけを表示します。1手モードは、問題全体を見てしまわずに少しだけ助けがほしいときに便利です。
- 盤面に手がかりを入力するか文字列を貼り付けます。
- 解くで完全な答えを表示します。
- 1手で正しいマスを1つ表示します。
- 書き出しで現在の盤面をコピーできます。
- クリアで最初からやり直せます。
文字列、妥当性、一意性
数独文字列は左から右、上から下へ読んだ81文字です。入力済みのマスは1から9、空きマスは0または点を使います。小さくて曖昧さがないため、オンラインで問題を共有するのに向いています。
まず妥当性が重要です。行、列、3x3ブロックに重複がある盤面は有効な数独の状態ではなく、信頼できる解法を続けるべきではありません。検証後、ソルバーは解を探し、可能な場合は複数の答えがないかも確認します。
- 有効な入力には、行内の重複数字がありません。
- 有効な入力には、列内の重複数字がありません。
- 有効な入力には、3x3ブロック内の重複数字がありません。
- よい公開問題は通常、解が1つだけです。
1手ずつ表示する意味
完成図だけを見るのは確認には便利ですが、学習には少し弱いことがあります。1手ずつのツールなら、問題の中に留まりながら次に確定する数字の場所を理解できます。
このため、ページは答えだけを探している人だけでなく、解き方を学びたい人にも役立ちます。よい数独ソルバーの記事は、ツールの使い方と、その周りにある推理の考え方の両方を説明するべきです。
ソルバーの内部の動き
このツールはバックトラッキング探索を使い、候補が最も少ない空きマスを優先して選びます。合法な候補を試し、矛盾が出たら戻るため、難しい盤面でも速く解けます。
一意性チェックでは、有効な完成形が2つ以上あるかを探します。2つ目の答えが見つかれば、その手がかりセットは一意ではありません。盤面が非常に開いている場合は、解は見つかったものの一意性確認をすばやく終えられなかったことを表示します。
数独を手で解く方法
ほとんどの数独はソルバーなしで解けます——このパズルは純粋な論理のために作られています。まず1つの数字を順にスキャンします。ある数字を選び、それがすでにある行・列・3x3ブロックをすべて見て、近くのブロックでその数字が入れる空きマスが1つだけのところを探します。このクロスハッチだけで、驚くほど多くの数字が置けます。
スキャンで行き詰まったら、候補——各空きマスにまだ入りうる数字——を書き込みます。候補が1つだけのマスは裸のシングル、あるユニットで1マスにしか入らない数字は隠れたシングルです。さらに裸のペアやポインティングペアで候補を減らします。ここのソルバーは主に、答えの確認や、詰まったときに次の確定手を示すために使います。
- 数字を1つずつスキャンして、簡単な配置を見つける。
- スキャンが止まったら、空きマスに候補を書き込む。
- 候補が1つのマスは裸のシングル。
- ユニットで1マスにしか入らない数字は隠れたシングル。
- ソルバーで盤面を確認するか、次の一手を表示させる。
数独には何個のヒントが必要？
正しい数独は解が1つで、ここから有名な問いが生まれます。最小で何個の与えられた数字があれば、問題は一意のままでいられるのか？ 答えは17です。2012年、しらみつぶしのコンピュータ探索により、16ヒントだけの数独は一意解を持てないことが証明されました。だから17が絶対的な下限です。
印刷された多くの問題はそれより多く——たいてい22〜30——与えます。ヒントが多いほど論理がやさしくなり、難易度の調整もしやすいからです。どんな盤面でもソルバーに貼り付ければ、ヒントが答えを1つに定めるか、それとも問題が曖昧かを教えてくれます。難易度を上げるためにヒントを削るとき、まさに必要な確認です。
数独ソルバーと数独ヘルパー
このサイトには数独のツールが2つあり、用途が異なります。ソルバーは完成した盤面を受け取り、答え全体を返すか、問題が無効または曖昧だと知らせます。仕上げた盤面の確認、議論の決着、自作の問題が一意解を持つかの確認に使いましょう。
数独ヘルパーはもっと穏やかです。すべてを見せる代わりに、候補メモを表示し、一度に1つだけヒントを出すので、難所を少し押してもらいながら自分で解き続けられます。答えがほしいときはソルバー、学びたいときはヘルパー——2つはよく補い合います。
- ソルバー: 盤面を入力し、完全な解を得る。
- ソルバー: 妥当性と解が一意かを確認する。
- ヘルパー: 候補メモと一度に1つのヒントを表示。
- ヘルパー: すべてを見せず、自分で解き続けさせる。
- 確認はソルバー、学習はヘルパー。