传教士和野人问题实验报告
一实验小组：
小组负责人：杨伟棚
小组成员：杨伟棚蓝振杰罗平罗伟谷
本实验主要参与人：全体成员
二实验题目：
传教士与野人问题求解（宽度搜索算法）
三问题背景：
从前有一条河，河的左岸有m个传教士(Missionary)和m个野人(Cannibal)，和一艘最多可乘n人的小船。约定左岸，右岸和船上或者没有传教士，或者野人数量少于传教士，否则野人会把传教士吃掉。
四实验内容：
编程，接收m和n，搜索一条可让所有的野人和传教士安全渡到右岸的方案，例如下图:
（M表示传教士(Missionary)，C 表示野人(Cannibal)）
初态目标
Left Bank River Right
bank
Left
Bank
River Right
bank
M…. M….
C…. C….
注：本实验的举例均以3个传教士和3个野人同在左岸作为初始状态。
五实验方案和算法：
1．数据结构：
本实验需要用到的数据结构主要是队列和堆栈，其实现均包含于dso.h头文件中，分别命名为class stack和class queue。
2．宽度搜索算法：
(1)结点结构：
class Move {
public:
int missionary; //要移动的传教士数量
int cannibal; //野人
};
class ElemType : Move { //继承Move类，获得传教士，野人数据成员。
private:
bool boat; //船是否在左岸？
public:
ElemType* flag; //标示前一状态即扩展出本结点的父结点信息
ElemType(int MAX_PEOPLE) { //创建初始状态
missionary = cannibal = MAX_PEOPLE;
boat = true;
flag = NULL;
}
……
在这里，Elemtype集成了Move，从而获得Move类的传教士和野人数据成员。以上两个类的数据成员用于保存所有扩展生成的结点。其中missionary表示表示左岸上传教士的树目，cannibal表示左岸上野人的树目，boat表示船在哪个岸上（其中true表示在左岸，这是船的初始状态，表示false在右岸）， flag 用于标示前一状态即扩展出本结点的父结点信息，以便最后回搜找出解的
路径。
举例说明：假设左岸有3个传教士和3个野人，小船最多可乘2人。把当前左岸的状态抽象为：(3,3,1)，前两个"3"代表左岸有3个传教士和3个野人，1代表船在左岸。很明显，目标状态为(0,0,0),表示左岸的传教士和也人数目都是0，而船在右岸。
(2)船的行动规则（successor function）:
把每一次可行的渡船方案作为行动规则，用Move类的（m,c）表示。行动规则的两位数分别代表要移动的传教士，野人的数量。对于固定大小的船，其装载能力是一定的，所以它的行动规则空间也是一定的。在这里，用MoveGroup类的构造函数构造出所有的行动规则。
注意，这里MoveGroup类中的Move对象只有500的可用空间，所以，输入的传教士和野人数目构成的行动规则不能超过500种。
(3)宽度优先算法：
实验的主要搜索算法由ANSWER类的构造函数实现，这里主要用到了OPEN和CLOSED队列，以及一个临时的TEMP堆栈。其中，OPEN表用于存放扩展结点，CLOSED表用于存放被扩展结点，TEMP则用于用于记录成功搜索的路径。
搜索过程大致如下描述：先构造初始结点以及船的行动规则，初始结点入OPEN队列，以宽度优先依次搜索OPEN队列头结点的子结点，同时保存受访问结点的父结点信息，知道搜索到目标结点或者无解为止。
算法框图如下所示：
3 程序界面和功能说明：
程序运行环境为DOS控制台，运行开始以后，程序提示输入需要坐船的传教士和野人数目，例如输入3表示有3个传教士和3个野人。
用户按回车键以后，程序继续提示输入船的装载能力，例如输入2表示这个船依次最多可以坐2人。注：一般情况下，船的装载能力应该少于传教士或野人的数量，而且一般为偶数。
程序开始运行时的界面截图：
程序运行结束时的界面截图：
输出文件示例：
Left(3, 3) | (0, 0)Right
[Step 1]
Move 0 missionaries and 2 cannibals to the right side. Left(3, 1) | (0, 2)Right
[Step 2]
Move 0 missionaries and 1 cannibals to the left side. Left(3, 2) | (0, 1)Right
[Step 3]
Move 0 missionaries and 2 cannibals to the right side. Left(3, 0) | (0, 3)Right
[Step 4]
Move 0 missionaries and 1 cannibals to the left side. Left(3, 1) | (0, 2)Right
[Step 5]
Move 2 missionaries and 0 cannibals to the right side. Left(1, 1) | (2, 2)Right
[Step 6]
Move 1 missionaries and 1 cannibals to the left side. Left(2, 2) | (1, 1)Right
[Step 7]
Move 2 missionaries and 0 cannibals to the right side. Left(0, 2) | (3, 1)Right
[Step 8]
Move 0 missionaries and 1 cannibals to the left side. Left(0, 3) | (3, 0)Right
[Step 9]
Move 0 missionaries and 2 cannibals to the right side. Left(0, 1) | (3, 2)Right
[Step 10]
