5-1回溯-计算机求解问题.pdf

用计算机求解问题 问题空间 现实求解过程 实际解 对象的定义 算法与程序的设计 状态空间 机器求解过程 机内解 用计算机求解的过程 在状态空间寻找机内解可以看成是从初始状态出发搜索目标状态 (解所在的状态)的过程。 初始状态 搜索 目标状态 状态空间 搜索的过程可描述为：S S …S ，其中S 为初态，S 为终 0 1 n 0 n 态。或者说ψ(S )且φ(S )，这里ψ称为初始条件，φ称为终止条件。 0 n 求解是状态空间的搜索 求解的过程可以描述为对状态空间的搜索 S S 0 0 其中S 为初始状态， 0 不妨设S 为终止状态 ni … S11 S12 S1k … … … … … … …… …… Sn1 SSnini Snm 于是问题的求解就是通过搜索寻找出一条从初始状态S0 到终止状态Sni 的路径。 几种搜索方法 状态空间的搜索实际上是一种树的搜索，常用的方法有： 广度优先的搜索 从初始状态开始，逐层地进行搜索。 深度优先的搜索 从初始状态开始，逐个分枝地进行搜索。 启发式的搜索 从初始状态开始，每次选择最有可能达到终止状态的结点进行搜索。 三种搜索的优劣之处 一般来说，三种搜索方法各有优劣之处： 广度优先搜索 优点：一定能找到解； 缺点：空间复杂性和时间复杂性都大。 深度优先搜索 优点：空间复杂性和时间复杂性较小； 缺点：不一定能找到解。 启发式搜索是最好优先的搜索。 优点：一般来说能较快地找到解，即其时间复杂性更小； 缺点：需要设计一个评价函数，并且评价函数的优劣决定了 启发式搜索的优劣。 树搜索的一般形式 SearchTree(Space T) //表L用来存放待考察的结点 { unfinish = true; L = T.initial; // unfinish表示搜索未结束，先将初始状态放入L while (unfinish || L≠Φ) { a = L.first; //从L中取出第一个元素 if (a is goal) unfinish = false //若a是终态则结束 else Control-put-in(L, Sons(a));} //否则，将a的儿子们以某种控制方式放入L中 } 三种搜索的不同之处 树的三种搜索方法的不同就在于它们对表L使用了不同控制方式： L是