第2章新基于状态空间图表示的搜索技术.pptVIP

问题的求解框架 （1）叙述性知识：描述问题的状态有关的各种知识。 （2）过程性知识：描述状态之间的变换关系的各种知识。 （3）控制性知识：描述如何在当前状态下选择合适操作的知识。 2.2.1 状态空间图（4） 4.求解 在状态空间表示法中，问题求解过程转化为在图中寻找从初始状态Qs出发到达目标状态Qg的路径问题，也就是寻找操作序列的问题。 状态空间的解为三元组 Qs, a, Qg Qs ：某个初始状态 Qg ：某个目标状态 a：把Qs变换成Qg的有限的操作序列 状态转换图 例2.2 翻转钱币问题（2） 例2.2 翻转钱币问题（3） 例2.3 修道士和野人问题（6） 3.状态空间 给出状态和操作的描述之后，该问题的状态空间是： {{S0}，{ P 01，P 10，P 11，P 02，P 20，Q01，Q 10，Q 11，Q 02，Q 20}，{S31}}。 以全部合法状态为节点，按照操作要求的条件，在节点之间构造有向边。 重排九宫问题的隐式图描述为： （1）有关状态的知识： 状态S的定义： S＝(X0，X1，X2，X3，X4 ，X5， X6 ，X7 ，X8) 其中， Xi?｛0，1，2，3，4，5，6，7，8｝， ，且 。 初始状态： S0 ＝（0，1，2，3，5，6，4，7，8） 目标状态： Sg ＝（0，1，2，3，4，5，6，7，8） 例2.4 重排九宫问题（2） （2）有关操作的知识（规则）： 0组规则 R1(X0=0 ) ? (X2=n ) ? X0 = n ? X2 =0； R2(X0=0 ) ? (X4=n ) ? X0 = n ? X4 =0； R3(X0=0 ) ? (X6=n ) ? X0 = n ? X6 =0； R4(X0=0 ) ? (X8=n ) ? X0 = n ? X8 =0； 1组规则 R5(X1=0 ) ? (X2=n ) ? X1 = n ? X2 =0； R6(X1=0 ) ? (X8=n ) ? X1 = n ? X8 =0； 8组规则: R22(X8=0 ) ? (X1=n ) ? X8 = n ? X1 =0； R23(X8=0 ) ? (X0=n ) ? X8 = n ? X0=0； R24(X8=0 ) ? (X7=n ) ? X8 = n ? X7 =0； 例2.4 重排九宫问题（3） 八数码的状态图可表示为 （{S0}, {R1 , R2 ,… , R24 }, {Sg}） 八数码问题状态图仅给出了初始节点和目标节点，其余节点需用状态转换规则来产生。类似于这样表示的状态图称为隐式状态图，或者说状态图的隐式表示。 例2.4 重排九宫问题（4） （3）隐式图搜索 初始状态S＝（ 0，1，2，3，5，6，4，7，8 ）满足条件X0 =0，故可以使用第0组的四条规则： 如果选择规则R1，则状态转换为：S1＝（ 2，1，0，3，5，6，4，7，8) 例2.5 旅行商问题(TSP)(2) （2）操作描述（状态转换规则）： 规则1 ：如果?=AA1…Ai… Aj…，且|?|? n，但A’??，则置? = ? A’。即没遍历完时，在城市序列中添加一个没 有到过的城市。 规则2 ：如果|?|= n，置? = ?A，即从当前城市返回A城。 （3）隐式图搜索 对于有A、B、C、D四个城市所组成的连通城市网， 初始状态：?=A，|?|=1，满足规则1 ， 则操作的结果为：?=AB 、或?=AC、或?=AD， 继续使用规则1 ，直到生成包含四个城市的序列出现，再使用规则2。 补充例 二阶梵塔问题（1） 一号杆有A、B两个金盘，A小于B。要求将A、B移至三号杆，每次只可移动一个盘子，任何时刻B不能在A上。 补充例 二阶梵塔问题（2） 补充例 二阶梵塔问题（3） （2）有关操作的知识（规则）： A（i，j）表示金盘A从第i号杆移到j号杆，B（i，j）表示金盘B从第i号杆移到j号杆，其中：i,j ?{1,2,3}，但i ?j ，全部操作为： A（1，2），A（1，3）， A（2，1） A（2，3），A（3，1）， A（3，2）