问题规约法教材课程.pptVIP

2.2.2 问题规约法;例 “梵塔问题” ; a 初始状态 b 目标状态 梵塔问题;状态空间描述： 三个盘子的位置列表(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= 1,2,3; j= 1,2,3 约束： c=i,? Move(x,j,i), x=a,b b=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) → (k j j); “梵塔难题”; “梵塔难题”;3）与或图;与或图节点定义 起始节点：原始问题状态； 终叶节点：本原问题状态； 可