回溯法
通过试错探索解答的算法。遇到死路时回退到之前的状态尝试其他选择。
回溯法 (Backtracking) 是基于深度优先搜索的问题求解算法。在数独求解器中,向空格试填数字,如果产生约束冲突则回退到之前的状态尝试其他数字。由于系统地探索所有组合,只要解存在就一定能找到。
在数独求解器中的作用
当仅靠约束传播无法解决谜题时,回溯法作为最终手段发挥作用。从候选数最少的格子开始试填,产生矛盾时回退。与约束传播结合使用可以大幅缩小搜索空间。
与人类解法的区别
人类倾向于避免回溯 (猜测),只使用能逻辑确定的步骤来求解。这是由工作记忆的限制决定的。同时记忆和管理多个假设状态对人类来说非常困难。数独的难度设计以「人类能否不猜测就解出」为标准。