【人工智能】传教士和野人问题（M-C问题）

摘要

本题需要解决的是一般情况下的传教士和野人问题（M-C问题）。通过对问题的一般化，我们用一个三元组定义了问题的状态空间，并根据约束条件制定了一系列的操作规则，最后通过两个启发式函数，来优化搜索过程，并通过讨论，探究两个函数是否能够求解到最优解。

导言

有N个传教士和N个野人来到河边渡河，河岸有一条船，每次至多可供k人乘渡。问传教士为了安全起见，应如何规划摆渡方案，使得任何时刻，河两岸以及船上的野人数目总是不超过传教士的数目(否则不安全，传教士有可能被野人吃掉)。即求解传教士和野人从左岸全部摆渡到右岸的过程中，任何时刻满足M(传教士数)≥C(野人数)和M+C≤k的摆渡方案。

实验过程

状态空间

我们用一个三元组(m，c，b)来表示河岸上的状态，其中m、c分别代表某一岸上传教士与野人的数目，b=1表示船在这一岸，b=0则表示船不在。
约束条件是: 两岸上M≥C, 船上M+C≤2。
由于传教士与野人的总数目是一常数，所以只要表示出河的某一岸上的情况就可以了，为方便起见，我们选择传教士与野人开始所在的岸为所要表示的岸，并称其为左岸，另一岸称为右岸。显然仅用描述左岸的三元组就足以表示出整个情况了。
综上，我们的状态空间可表示为：(ML，CL，BL)，其中0≤ML，CL≤N，BL∈{0, 1}。
状态空间的总状态数为(N+1)×(N+1)×2，问题的初始状态是(N，N，1)，目标状态是(0，0，0)。

操作规则

该问题主要有两种操作：从左岸划向右岸和从右岸划向左岸，以及每次摆渡的传教士和野人个数。
我们可以使用一个2元组（BM，BC）来表示每次摆渡的传教士和野人个数，我们用i代表每次过河的总人数，i = 1~k，则每次有BM个传教士和BC=i-BM个野人过河，其中BM= 0~i，而且当BM!=0时需要满足BM>=BC。则从左到右的操作为：（ML-BM，CL-BC，B = 1），从右到左的操作为：（ML+BM，CL+BC，B = 0）。
例如当N=3，K=2时，满足条件的（BM，BC）有：
（0,1）、（0,2）、（0,3）、（1,0）、（1,1）、（2,0）、（2,1）、（2,2）、（3,0）、（3,1）、（3,2）、（3,3）。
由于从左到右与从右到左是对称的，所以此时一共有24种操作。

搜索策略

1. 为了避免重复，我们将搜索过的状态记录下来，之后避开搜索这个状态。
2. 我们把满足条件的状态称为安全状态，首先要定义出安全状态，通过对问题的分析，不难得出只有满足以下条件之一的状态才是安全的(以左岸为例)：
   1）传教士与野人的数目相等；
   2）传教士都在左岸；
   3）传教士都不在左岸。
   我们只对安全的状态进行深度优先搜索，直至找到一个合法的解。
3. 由于每一次摆渡都有多种操作可以选择，因此我们定义以下启发式函数：
   F1(x) = ML + CL
   F2(x) = ML + CL – 2B
   其中F1(x)满足A算法条件的，F2(x)满足A*算法条件。
   在每次的摆渡中，优先选择F(x)大的操作进行搜索。

结果分析

1.摆渡方案结果示例

样例1:
请输入N：3
请输入k：2
找到的解为:
0个传教士和2个野人从左岸乘船至右岸
左岸有3个传教士和1个野人
右岸有0个传教士和2个野人

0个传教士和1个野人从右岸乘船至左岸
左岸有3个传教士和2个野人
右岸有0个传教士和1个野人

0个传教士和2个野人从左岸乘船至右岸
左岸有3个传教士和0个野人
右岸有0个传教士和3个野人

0个传教士和1个野人从右岸乘船至左岸
左岸有3个传教士和1个野人
右岸有0个传教士和2个野人

2个传教士和0个野人从左岸乘船至右岸
左岸有1个传教士和1个野人
右岸有2个传教士和2个野人

1个传教士和1个野人从右岸乘船至左岸
左岸有2个传教士和2个野人
右岸有1个传教士和1个野人

2个传教士和0个野人从左岸乘船至右岸
左岸有0个传教士和2个野人
右岸有3个传教士和1个野人

0个传教士和1个野人从右岸乘船至左岸
左岸有0个传教士和3个野人
右岸有3个传教士和0个野人

0个传教士和2个野人从左岸乘船至右岸
左岸有0个传教士和1个野人
右岸有3个传教士和2个野人

0个传教士和1个野人从右岸乘船至左岸
左岸有0个传教士和2个野人
右岸有3个传教士和1个野人

0个传教士和2个野人从左岸乘船至右岸
左岸有0个传教士和0个野人
右岸有3个传教士和3个野人

样例2：
请输入N：5
请输入k：3
找到的解为:
0个传教士和2个野人从左岸乘船至右岸
左岸有5个传教士和3个野人
右岸有0个传教士和2个野人

0个传教士和1个野人从右岸乘船至左岸
左岸有5个传教士和4个野人
右岸有0个传教士和1个野人

0个传教士和2个野人从左岸乘船至右岸
左岸有