知识表示与问题求解(状态空间法).ppt

* 迭代加深(深度约束=2) 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 4 1 2 3 8 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 5 6 7 1 2 3 8 4 8 1 3 2 4 5 6 7 Goal: * 迭代加深(深度约束=3) 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 4 1 2 3 8 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 5 6 7 1 2 3 8 4 8 1 3 2 4 5 6 7 Goal: * 迭代加深(深度约束=4) 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 3 4 5 6 1 2 3 6 7 8 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 Goal 1 2 3 8 4 5 6 7 1 2 3 8 4 5 6 7 4 1 2 3 8 5 6 7 8 1 3 2 4 5 6 7 Goal: 问题：当⊿d 1 时， 是否能保证找到最优解？ 有界深度优先搜索的思路---迭代加深 盲目搜索---迭代加深优先搜索算法 2.2.3 状态空间法 例2.2.3.3：修道士和野人问题 在河的左岸有三个修道士、三个野人和一条船，修道士们想用这条船将所有的人都运过河去，但受到以下条件的限制： 1）修道士和野人都会划船，但船一次最多只能运两个人； 2）在任何岸边野人数目都不得超过修道士，否则修道士就会被野人吃掉。 2.2.3 状态空间法 1、问题的状态 可以用一个三元数组来描述： S＝(m, c, b) m：左岸的修道士数 c：左岸的野人数 b：左岸的船数 右岸的状态不必标出，因为： 右岸的修道士数 m’＝ 3－m 右岸的野人数 c’＝ 3－c 右岸的船数 b’＝ 1－b 例2.2.3.3：修道士和野人问题 2.2.3 状态空间法 状态 m, c, b 状态 m, c, b 状态 m, c, b 状态 m, c, b S0 3 3 1 S8 1 3 1 S16 3 3 0 S24 1 3 0 S1 3 2 1 S9 1 2 1 S17 3 2 0 S25 1 2 0 S2 3 1 1 S10 1 1 1 S18 3 1 0 S26 1 1 0 S3 3 0 1 S11 1 0 1 S19 3 0 0 S27 1 0 0 S4 2 3 1 S12 0 3 1 S20 2 3 0 S28 0 3 0 S5 2 2 1 S13 0 2 1 S21 2 2 0 S29 0 2 0 S6 2 1 1 S14 0 1 1 S22 2 1 0 S30 0 1 0 S7 2 0 1 S15 0 0 1 S23 2 0 0 S31 0 0 0 状态不合法 2.2.3 状态空间法 例2.2.3.3：修道士和野人问题 2.操作集F＝{p01, p10,p11,p02,p20,q01,q10,q11, q02,q20} q20 b=0, (m=0,c=2)或(m=1,c=1) b=1, m=m+2 q02 b=0, m=0或3, c≤2 b=1, c=c+2 q11 b=0, m=c, c≤2 b=1, m=m+1, c=c+1 q10 b=0, (m=0,c=1)或(m=2,c=2) b=1, m=m+1 q01