数独ソルバー

キーボードで問題を入力するか、81桁の数字として貼り付けてください。空きマスは0またはドットで表します。ソルバーが問題を確認して解き、難易度も表示します。

ソルバーはどのように動作しますか？
候補が最も少ないマスから数字を試し、矛盾が出たら引き返します。これにより、既知の最難問でも数ミリ秒で解けます。最初の解のあとも探索を続け、2つ目の解があるかどうかも判定します。

数独の解はなぜ1つでなければならないのですか？
正式な数独の解はちょうど1つで、論理だけで解けるようになっています。解が1つになるには最低17個のヒントが必要であることが、2012年に証明されました。

難易度はどのように評価されますか？
問題を人間の解法だけでもう一度解きます：候補が1つ、隠れたシングル、ペア、ブロックと行の消去法です。最後に必要になった解法でレベルが決まり、それで足りなければエキスパートです。