C实现传教士与野人过河问题实验报告

传教士与野人过河问题实验报告

1 问题定义

河的两岸有三个传教士和三个野人需要过河，目前只有一条能装下两个人的船，在河的任何一方或者船上，如果野人的人数大于传教士的人数，那么传教士就会被野人攻击，怎么找出一种安全的渡河方案呢

2 算法分析

首先，先来看看问题的初始状态和目标状态，定义河的两岸分别为左岸和右岸，设定状态集合为（左岸传教士人数，右岸野人数，右岸传教士人数，右岸野人数，船的位置），船的位置：-1表示船在左岸，1表示船在右岸。

初始状态：（3,3,0,0,0，-1）

目标状态：（0，0，3，3，1）

然后，整个问题就抽象成了怎样从初始状态经中间的一系列状态达到目标状态。问题状态的改变是通过划船渡河来引发的，所以合理的渡河操作就成了通常所说的算符，根据题目要求，可以得出以下5个算符（按照渡船方向的不同，也可以理解为10个算符）：渡1野人、渡1传教士、渡1野人1传教士、渡2野人、渡2传教士

根据船的位置，向左移或向右移通过递归依次执行5种算符，判断是否找到所求，并排除不符合实际的状态，就可以找到所有可能的解，如图1所示为递归函数流程图。

数据结构方面采用如下所示的结构体存储当前传教士、野人、船三者的状态。

struct riverSides {

int churchL;ildL == &&lastParameters[i].churchL ==

{

if == lastParameters[i].boat)

return 0;

}

}

//检验人数数据合法性

if < 0 || < 0 || < 0 || < 0)

return 0;

//传教士是否被吃

if ( < && != 0) || < && != 0))

return 0;

//递归执行五类过河操作，boat=-1船在左岸，boat=1船在右岸，传入boat为上一次船位置//下次应当取反

riverSides currentState;

//两个传教士过河

if == 1)

(" 2 0 | 左岸->右岸");

else

(" 2 0 | 右岸->左岸");

= - 2 * ;

= ;

= + 2 * ;

= ;

= ;

(currentState);

CvsWdfs(currentState, lastParameters,operation, 0);

();

();

//两个野人过河

if == 1)

(" 0 2 | 左岸->右岸");

else

(" 0 2 | 右岸->左岸");

= ;

= - 2 * ;

= ;

= + 2 * ;

= ;

(currentState);

CvsWdfs(currentState, lastParameters, operation, 0);

();

();

//一个野人，一个传教士

if == 1)

(" 1 1 | 左岸->右岸");

else

(" 1 1 | 右岸->左岸");

= - 1 * ;

= - 1 * ;

= + 1 * ;

= + 1 * ;

= ;

(currentState);

CvsWdfs(currentState, lastParameters,operation, 0);

();

();

//一个传教士过河

if == 1)

(" 1 0 | 左岸->右岸");

else

(" 1 0 | 右岸->左岸");

= - 1 * ;

= ;

= + 1 * ;

= ;

= ;

(currentState);

CvsWdfs(currentState, lastParameters, operation, 0);

();

();

//一个野人过河

if == 1)

(" 0 1 | 左岸->右岸");

else

(" 0 1 | 右岸->左岸");

= ;

= - 1 * ;

= ;

= + 1 * ;

= ;

(currentState);

CvsWdfs(currentState, lastParameters, operation, 0);

();

();

return 0;

}

int main(){

int churchL = 3, wildL = 3, churchR = 0, wildR = 0;//分别用来计算左岸和右岸的传教士和野人vector lastParameters;//保存每一步移动操作的两岸传教士、野人人数

vector operation;//保存当前操作的描述

//初始化左岸参数，可以认为是从右岸移动至左岸的操作

//boat=-1 表示船在左岸，boat=1表示船在右岸

riverSides currentState;

= 3;

= 3;

= 0;

= 0;

= 1;

(currentState);

CvsWdfs(currentState, lastParameters,operation, 0);

();