回溯 编辑
回溯法是暴力搜寻法中的一种。
1
相关
DPLL算法，是一种完备的、以回溯为基础的算法，用于解决在合取范式中命题逻辑的布尔可满足性问题；也就是解决CNF-SAT问题。
在计算机科学中，X算法可用来求解精确覆盖问题。此名称最早在高德纳的论文《舞蹈链》中出现，他认为此算法是“试错法中最显而易见”的。 就技术而言，X算法是一个深度优先搜索的不确定性回溯算法。由于X算法是一个解决精确覆盖问题的简洁方法，高德纳希望通过该算法体现舞蹈链数据结构的高效性，他把使用后者的X算法称为DLX。