人工智能第三章介绍.ppt

第三章 产生式系统的搜索策略  回溯策略  图搜索策略：无信息的图搜索 启发式的图搜索;;;一、回溯算法BACKTRACK ;BACKTRACK过程;带来的问题及解决方案;四皇后问题：4枚皇后放在4?4的国际象棋棋盘上，如何放置使得它们不能相互俘获。 俘获：同行；同列；同对角线;;;四皇后问题;课堂练习：;三、BACKTRACK算法的修改与补充;两层以上的回溯;;一、相关概念;;;;;二、一般的图搜索过程GRAPHSEARCH;;;3.3 无信息的图搜索过程;无信息的图搜索过程;A;一个简单二叉树的宽度优先搜索过程;3.4 启发式图搜索过程 ;启发式搜索;;估价函数;例：八码难题;练习：;估价函数的选择对搜索结果起着重要作用 ;一些概念;A算法和A*算法;3.5 A*算法的可采纳性;定理1 GRAPHSEARCH对有限图必然终止。 证明：GRAPHSEARCH算法将在第3步将OPEN表中的节点用光而结束；或在第5步，找到目标节点而结束。 在算法的每一次循环中，都要从OPEN表中删除一个节点，若是目标节点，则再第5步算法结束，否则将该节点的某些后继加到OPEN表中。 对有限图来说， OPEN表中节点个数是有限的，因此，若算法不在第5步成功终止，则一定在第3步因OPEN表中的所有节点全部取光而终止。 ;引理1 若A*不终止，OPEN表中节点的估价函数值可以 无限变大。 证明：设n是OPEN表中的任意节点，d*(n)是隐含图中从s到n的最短路的长度，因为图中每条弧的费用都大于某一个小的正数e， 于是有 g*(n)≥d*(n) · e， 又g(n)≥g*(n)≥d*(n) · e ， f(n)= g(n)+h(n) ，且h(n) ≥0 因此 f(n)≥ g(n)≥ d*(n) · e 若A*不终止，OPEN表中节点的d*值会不断增大，因此f值也会不断增大。 ;定理2 若存在s到目标的解路径，则算法A*终止前的任何 时刻，OPEN表中总存在一个节点n’， n’在从s到 目标的最佳解路径上，且满足f(n’) ≤f*(s) 证明：设P：n0,n1,……,nk是一条最佳解路径，其中， nk是目标点，n0=s. 在A*结束之前，从左向右扫描序列P，令n’是P中第一个在OPEN表中的节点。 (这样的n’是存在的：因为开始n0在OPEN表中，算法结束前，若扩展ni，ni≠ nk，则ni+1在OPEN表中)。;因n’的所有祖先都在CLOSED表中，所以(n0,n1,……, n’)是已被搜索出的从s到n’的最佳路，故 g(n’)= g*(n’) 又由A*算法定义知：h(n’)≤h*(n’)， 故 f(n’)= g(n’)+ h(n’)≤g*(n’)+h*(n’)= f*(n’) 而对最佳路上任意一点n’，有：f*(n’)= f*(s) 因此，f(n’)≤f*(s) 证毕。;定理3 若存在解路径，则A*算法必终止。 证明：反证。若算法A*不终止， 由引理1知，OPEN表中任意节点的f值随着算法A*的运行可以任意增大。 由定理2知，算法A*终止前的任何时刻，OPEN表中总存在一个节点n’， 使得f(n’) ≤f*(s) 。 矛盾。;推论 OPEN表中的任一满足f(n)f*(s)的 节点n，最终将被算法A*选作扩展节点。 证明： 若A*算法停在第3步，则OPEN表中的任一节点都被扩展； 若A*算法停在第5步，即找到目标t而结束，下面用反证法。假设存在OPEN表中满足f(n) f*(n)的节点n，而未选n为扩展点，因对目标t，有f(t) ≥ f*(s)，而f(n) f*(s)，故f(n) f(t)，因此A*一定选n扩展而不选t，与A*结束在点t矛盾。 证毕。;定理4 算法A*是可采纳的。 （若解路径存在,A*一定找到最佳解路径而终止）． 证明：由定理3知，算法A*必终止。 由定理2知，算法A*终止前的任何时刻，OPEN表中总存在一个节点n