传教士野人问题参考答案.docx

传教士野人问题参考答案 传教士 -野人问题 有 N 个传教士和 N 个野人要过河，现在有一条船只能承载 K 个人（包括野人） ， KN ，在 任何时刻，如果有野人和传教士在一起，必须要求传教士的人数多于或等于野人的人数。 设 M 为传教士的人数， C 为野人的人数，用状态空间发求解此问题的过程如下： M、 C = N， boat = k，要求 M=C 且 M+C = K 初始状态 L R M 3 0 C 3 0 B 1 0 目标状态 L R M 0 3 C 0 3 B 0 1 (1) 用三元组来表示（ ML , CL , BL ） 其中 0=ML , CL = 3 , BL ∈{ 0 , 1} (3 , 3 , 1) (0 , 0 , 0) (2) 规则集合 P10 if ( ML ,CL , P01 if ( ML ,CL , P11 if ( ML ,CL , P20 if ( ML ,CL , P02 if ( ML ,CL , Q10 if ( ML ,CL , Q01 if ( ML ,CL , Q11 if ( ML ,CL , Q20 if ( ML ,CL , Q02 if ( ML ,CL , BL=1 ) BL=1 ) BL=1 ) BL=1 ) BL=1 ) BL=0 ) BL=0 ) BL=0 ) BL=0 ) BL=0 ) then ( ML –1 , CL , BL –1 ) then ( ML , CL –1 , BL –1 ) then ( ML –1 , CL –1 , BL –1 ) then ( ML –2 , CL , BL –1 ) then ( ML , CL –2 , BL –1 ) then ( ML+1 , CL , BL+1 ) then ( ML , CL+1 , BL +1 ) then ( ML+1 , CL +1, BL +1 ) then ( ML+2 , CL +2, BL +1 ) then ( ML , CL +2, BL +1 ) (3) 寻找一个启发式函数引导规则的选用 右岸总人数 6 –ML –CL f= f –∞ 1 / 4 两岸中传教士数目 =野人数目 其它 （ （ 3， 2， 0） 传教士野人问题参考答案 f=2 P11 （2， 2， 0） f=1 Q11 f=4 Q01 （ 0， 2， 1） f=3 Q01 （ 3， 3， 1） f=1 P01 f=2 P02 （ 3， 1， 0） f=1 Q01 （ 3， 2， 1） f=3 P02 （ 3， 0， 0） f=2 Q01 （ 3， 1， 1） f=4 P20 （ 1， 1， 0） f=2 Q11 （2， 2， 1） f=4 P20 （ 1， 1， 0） f=2 Q11 （2， 2， 1） f=4 P20 （ 0， 2， 0） f=3 Q01 （ 0， 3， 1） f=5 P02 （ 0， 1， 1） f=4 Q 10 （ 1， 1， 1） f=3 Q01 （ 0， 0， 0） 2 / 4 状 状 态 S24 S25 S26 S27 S28 S29 S30 S31 状 态 S0 S1 S2 S3 S4 S5 S6 S7 传教士野人问题参考答案 6.2.3 用状态空间法求解传教士和食人者问题 例 6-2 传教士和食人者问题 （The Missionaries and Cannibals Problem ）。 在河的左岸有 3 个传教士、 1 条船和 3 个食人者，传教士们想用这条船将所有的成员运过河去，但是受到以 下条件的限制： （1）传教士和食人者都会划船，但船一次最多只能装运两个； （2）在任何岸 边食人者数目都不得超过传教士， 否则传教士就会遭遇危险： 被食人者攻击甚至被吃掉。 此 外，假定食人者会服从任何一种过河安排，试规划出一个确保全部成员安全过河的计划。 解 我们按上述步骤来进行求解分析。 （ 1）设定状态变量及确定值域。 为了建立这个问题的状态空间，设左岸的传教士数为 m，则有 m={0， 1， 2， 3}； 对应右岸的传教士数为 3— m；左岸的食人者数为