实用算法实现-第 14 篇 启发式搜索
2011-10-23 00:15 myjava2 阅读(289) 评论(0) 编辑 收藏 举报14.1 A*搜索
A*(A star)算法是一种很好的树搜索策略,在许多人工智能的书籍中有所介绍。比如《人工智能,一种现代方法》和《人工智能,复杂问题求解的结构和策略》。
[i]文介绍到,A*算法使用估价函数F(N)来估算从初始状态S到当前状态N,再到目标状态T需要的最小步数。有公式:
F(N) = G(N) + H(N)
其中,G(N)是起始状态S到当前状态的实际代价G(N),它比最佳路径的代价G*(N)大。
H(N)是从当前状态到目标状态T的实际代价的估算值H*(N),它比实际代价H(N)大。
对于一个起始状态到当前状态的实际路径,G(N)是已经决定的。H(N)的选择则至关重要。有两个限制:
1. H(N)一定要小于等于当前结点N至目标结点T的实际代价。
2. 任意结点的F值必须大于其父辈状态的F值,即F单调递增。
当估价函数F满足以上两个限制条件,则启发式搜索算法一定能得出问题的最优解。
14.1.1 实例
PKU JudgeOnline, 1077, Eight.
14.1.2 问题描述
15数码游戏就是完成类似下面的转换的一种游戏:
1 2 3 4 1 2 3 4 1 2 3 4 1 2 3 4
5 6 7 8 5 6 7 8 5 6 7 8 5 6 7 8
9 x 10 12 9 10 x 12 9 10 11 12 9 10 11 12
1314 11 15 13 14 11 15 13 14 x 15 13 14 15 x
r-> d-> r->
8数码游戏类似,只不过只有8个数码而已。
给出8数码游戏的一个初始状态,求达到目标状态的一个解,不要求是最优解。如果没有解,输出“unsolvable”。
14.1.3 输入
2 3 4 1 5 x 7 6 8
1.1.4 输出
ullddrurdllurdruldr
14.1.5 分析
《人工智能,一种现代方法》对使用A*算法解决八数码问题进行了深入的分析。提出了两种启发函数的策略:
1. h1 = 不在位的棋子的总数。
2. h2 = 所有棋子到其目标位置的曼哈顿距离的总和。
并且通过实验,得到h2的性能总是优于h1。
具体实现中,用到最小堆实现的优先队列。
这里还需要用到一个排列到整数的映射方法,以判断一种状态是不是已经遍历过。一个具体的映射方法如下:
把9看成插到8的排列中,那么有9种插法,可以把362880等分成9段,分别代表一个位置,每段递归处理。
令pos(a)为数字a在排列中排在a前面并且小于a的数字的个数,那么有伪代码:
int n=1;
for (int i=1; i<10; i++)
{
n+=pos(i)*(i-1)!;
}
下面程序中int calPos1(node *temp)和int calPos(node *temp)就是两种映射方法。
也许[ii]中介绍的排列的“反序”概念,能很好地用来解释上面这个算法。
14.1.6 程序
14.2 IDA*搜索
A*算法减少存储需求的最简单的方法就是将迭代深入的思想用在启发式搜索上,形成迭代深入A*算法,即IDA*。
使用BFS搜索需要实用一个队列,这个队列如果过大就可能超出内存限制。用DFS代替BFS,可以减少存储需求。
IDA*算法实际上是在迭代加深的深度优先搜索的基础上进行的一种改进。迭代加深的深度优先搜索使用当前搜索深度来判断是否停止搜索,而IDA*算法则使用A*算法的估价函数F(N) = G(N) + H(N)来判断是否停止搜索。可以知道,此时的G(N)就是当前搜索深度,H(N)则是对于从当前结点N至目标结点T的实际代价一种乐观估计。说H(N)乐观,是因为在设计估价函数的时候,H(N)被约束为小于等于实际代价。由此可知,相对于朴素的迭代加深的深度优先搜索,IDA*算法省去了一些不必要的搜索。
14.2.1 实例
PKU JudgeOnline, 2286, The Rotation Game.
14.2.2 问题描述
如上图一种游戏,给定初始状态,通过拉动A到H的,对该行或列进行旋转。目标是使得中间的八个数字相等。
输出字典序最小的最优解的旋转过程,及其最终状态时中间的数字。
14.2.3 输入
11 1 1 3 2 3 2 3 1 3 2 2 3 1 2 2 2 3 1 2 1 3 3
11 1 1 1 1 1 1 2 2 2 2 2 2 2 2 3 3 3 3 3 3 3 3
0
14.2.4 输出
AC
2
DDHH
2
14.2.5 分析
对搜索的深度给一个步数限制。每次在状态空间里进行DFS搜索的时候,如果遇见当前状态决定了已经不可能在限制内找到解,就返回,而不再搜索其子状态。如果这次DFS没找到,就继续放宽限制,重新对状态空间进行DFS。如此反复直到找到一个解。
显然这个解是最优的解。
确保解字典序最小的办法是DFS中顺次地从A到H中选择子状态。