推測せずに伝統的な数独パズルを解くアルゴリズムはありますか?
ここでの推測とは、候補を試して、それがどこまで進むかを確認することを意味し、推測に矛盾が見つかった場合は、推測のステップに戻って別の候補を試すことを意味します。すべての候補が成功せずに使い果たされた場合、前の推測ステップに戻ります (存在する場合、そうでない場合、パズルの証明は無効です)。
EDIT1：返信ありがとうございます。
従来の数独とは、81 ボックスの数独を意味し、その他の制約はありません。解決策が一意であることがわかっているとしましょう。後戻りせずに解決できることを保証できるアルゴリズムはありますか? バックトラックは普遍的なツールであり、私はそれについて何の問題もありませんが、数独を解くために普遍的なツールを使用すると、数独パズルを解読する価値と楽しさが減少します.
人間は、いわゆる「世界一難しい数独」をどのように解くことができるでしょうか? 推測する必要がありますか?
一部の研究者は、あるデータ分析のアルゴリズムがすべての数独を解決できることを偶然発見したと聞きました。それは本当ですか、彼らも推測する必要がありますか?