什么是回溯？ -技术百科的定义

定义-回溯是什么意思？

回溯是一种用于捕获给定计算问题（尤其是约束满足问题）的部分或全部解决方案的算法。 该算法只能用于能够接受“部分候选解决方案”概念并允许快速测试以查看候选解决方案是否可以作为完整解决方案的问题。 回溯被认为是解决约束满足问题和难题的重要技术。 它也被认为是一种很好的解析技术，并且构成了许多逻辑编程语言的基础。

技术百科解释了回溯

回溯通过找到第一个子问题的解决方案，然后基于第一个问题的解决方案递归地尝试解决其他子问题，从而有助于解决总体问题。 如果当前问题无法解决，则回退该步骤，并将下一个可能的解决方案应用于先前的步骤，然后继续进行。 实际上，回溯中的关键之一就是递归。 它也被视为使用分而治之的穷举搜索方法。 当第一个子问题没有更多解决方案时，回溯算法将结束。

回溯是一种可以帮助实现不确定性的算法。 它需要对给定的发布空间进行深度优先搜索。 它主要用于逻辑编程语言（例如Prolog）中。 无论在哪里可以应用回溯，它都比蛮力技术更快，因为它可以通过一次测试消除大量候选人。