问题规约法课件.pptxVIP

2.2.2问题规约法1)问题的归约描述?初始问题集合：初始状态集合s?弃苻集合：将问题分解为若干子问题的变换集合F? 本原问题集合：目标状态集合G本原问题：具有明显解答的问题。如状态空间描 述中走动一歩可以解决的问题，或具有已知解答 的复杂问题。三元组合：(S , F, G)2）归约求解一个问题可能存在多少归约算符?信.规约多样性子问题的可解算符如何寻找?子问题的解空间搜索（如. ■—状态空间搜索?vw.doci本原问题如何寻找?本原问题状态空间描述?例 《梵塔问题”b 目a初始状态梵塔问题http://Www.ddcinWww.ddcin?. I ■ ■梵塔问题求解过程?状态空间描述：三个盘子的位置列表(a, b, c)a= 1,2, 3; b= 1,2, 3; c= 1, 2, 3初状态：S — (1, 1, 1)目标状态：G二(3, 3, 3)? 算苻集合：Move (x, i, j):x = A, B, C; i= k 2, 3;. j= 1, 2, 3?约 Mc=i, -i Move (x, j, i), x二a, bb二i, -i Move (x, j, i), x=a问题归约①双圆盘问题：（111） 一（122）②单圆色问题(122) — (322)本原③双盘问题：（322）(333)—盘问题:(k i i) —(k j j)双(k i i) 一 (k i j) 一 (k k j) 一 (k k i) 一 (k j i) -(kjj)“梵塔难题”(122)(331)“梵塔难题”(111 ____1) t (iii ____i) ， i=2,3，(111... ii) (iii…ii)......(111…H)i=2,3 i=2,3i=2,3 .--- ___—?―N=l+2+22+24 ...... +263 =264-1=1844674407370955161531558000秒/年1片/秒世界末日约58万亿年Wow3）与成图或节点与或图节点定义起始节点：原始问题状态；终叶节点：本原问题状态；可解解点：?终叶节点? 含有 “或” 节点的非终叶节点, 节点至少有一个可解 [Q . cc?含有“与”节点的非终叶节点， 节点全部可解其所有后继m其所有后继不可解节点：?没有后裔的非终叶节点?含有 “或” 节点的非终叶节点，其所有后继节 点全部不可解?含有 “与” 节点的非终叶节点，其所有后继节 点至少有一个不可解解图 一组构成初始问题解的可解节点组成的连通图起始节点终叶节点4）问题归约举例例：符号积分：对于任意不定积分给出正确解答积分归约形式“与”节点“或”节点= J dv 一^葛/傑，心睥€申3寻）区从对 dx = if(x)dx1=1，=1L茶不一皿。遞Xr就J kf \x)dx = f \x)dxJz2+1』zT+z2+1) Z=H)+1dx _ r dx(x2-4x+I3『(x-2)2+9| .r-4x+l3=(x*-2)+9= sin ycos y)2sin ycosyydy32(1 + 以—2)4 也^ = tgyz = ctgyJ畐也dz z4(l + z2)3-1+ 1―）也f--L w dxJ (1-顷2sin4 y2d s_ J (l-cos2^)5/2dzz十______vv = arctgz名山=j 記 Lfc](Z 2 -1+初始问题：求解不定积分 j—丄ydx J (1-x )本原问题：简单积分丿诃题解答：arcsinx + - ?g3 (arcsinx) - Zg(arcsinx)问题：求解过程的任何一步都有许多可应用 的归约替代算符，算符选择需要启发信息5）归约方法关键算符：问题求解中具有决定性作用的算符求解过程中必定使用的步骤设：f^F为关键算苻Gf 路标集合，gcGff (g)一- 关键算苻f作用于g的结果关键算苻作用检如何寻找关键算符?差另Jj：当前状态与目标状态的E巨离候选算苻：对应差别的状态空间算苻或算苻集合例猴子与香蕉问题S=( a, 0, b, 0 ), G = (c , 1 , c , 1)算符集合： f户goto(U) f2=pushbox(V) f3=climbbox f4=grasp(a,0,b,0) goto(U)(b,0,b,0)|c卩 shbo(U,0,b,0)x 鴨 pra,v,o)N,o,v,o)(c,1,c,0)climbbox grasp(c,1,c,1)1((a,O,b,O),(c,l,c,l))2((a,O,b,O), (c,1,c,0)), g4e Gf4({f4(g4)}，G)3((a,O,b,O),(c