回溯法简介及示例
回溯法是递归算法的一种特殊形式,回溯法的基本思想是:对一个包括很多结点,每个结点有若干个搜索分支的问题,把原问题分解为对若干个子问题求解的算法。当搜索到某个结点、发现无法再继续搜索下去时,就让搜索过程回溯(即退回)到该节点的前一个结点,继续搜索这个节点的其他尚未搜索的分支;如果发现这个节点也无法再继续搜索下去时,就让搜索过程回溯到这个结点的前一个结点继续这样的搜索过程;这样的搜索过程一直进行到搜索到问题的解或搜索完全部可搜索分支没有解存在为止。回溯法和简单的递归算法不同的是:对于回溯算法, 当对一个结点的子分支搜索失败时,要考虑回溯(即退回)至该结点,继续对该结点的其他尚未搜素过的分支进行搜索;而简单的递归算法不需要考虑这些问题。
示例:设计求解迷宫问题的函数及测试。
一个迷宫是一些互相连通的交叉路口的集合,给定一个迷宫入口,一个迷宫出口,当从入口到出口存在通路时输出其中的一条通路,当从入口到出口不存在通路时输出无通路存在。每个交叉路口除进来的路之外有三个路口,分别是向左、向前和向右。为简化设计,假设迷宫中不存在环路。下图为迷