【C++】人工智能实验一 猴子摘香蕉/传教士与野人（含完整代码与状态迁移图）

一、猴子摘香蕉问题

1、问题描述

利用一阶谓词逻辑求解猴子摘香蕉问题：房内有一个猴子，一个箱子，天花板上挂了一串香蕉，其位置如图1所示，猴子为了拿到香蕉，它必须把箱子搬到香蕉下面，然后再爬到箱子上。请定义必要的谓词，列出问题的初始化状态（即下图所示状态），目标状态（猴子拿到了香蕉，站在箱子上，箱子位于位置b）。
（附加：从初始状态到目标状态的谓词演算过程。）

2、解题思路

猴子按照先到箱子所在位置/从箱子上爬下来→把箱子搬到香蕉下面→爬上箱子摘香蕉的逻辑进行着。
所以需要编写四个行动逻辑——走到箱子所在位置、从箱子上爬下来、把箱子搬到香蕉上面、爬上箱子摘香蕉。

使用一个结构定义猴子、箱子、香蕉、相对箱子的位置状态——
猴子在A点则标-1，猴子在B点则标0，猴子在C点则标1
箱子在A点则标-1，箱子在B点则标0，箱子在C点则标1
香蕉在A点则标-1，香蕉在B点则标0，香蕉在C点则标1
猴子爬上箱子则标1，没爬上则标-1

struct State
{
	int monkey; /*-1:Monkey at A;0: Monkey at B;1:Monkey at C;*/
	int box;	/*-1:box at A;0:box at B;1:box at C;*/
	int banana; /*Banana at B,Banana=0*/
	int monbox; /*-1: monkey on the box;1: monkey  the box;*/
};
struct State States[150];

输入一个初始状态（a, b, c, d）
根据问题，确定终止状态是猴子摘到香蕉{（x,x,x,0）}（x 属于 {0，-1, 1}）。

使用递归调用的方式搜索路径，每次递归前先判断当前状态是否与之前的状态重复，若重复则认为形成一个环路，回到上一步寻找其他方式通往新的状态。

3、实验结果及分析

实验结果一

分析：
初始时，猴子站在A位置，箱子在C位置，香蕉在B位置，猴子没有站在箱子上。

猴子摘香蕉的步骤如下：
猴子走去C位置→猴子把箱子从C位置搬到B位置→猴子爬上箱子→猴子摘到香蕉

实验结果二

分析：
初始时，猴子站在A位置，箱子在B位置，香蕉在B位置，猴子没有站在箱子上。

猴子摘香蕉的步骤如下：
猴子走去B位置→猴子爬上箱子→猴子摘到香蕉

实验结果三

分析：
初始时，猴子站在A位置，箱子在A位置，香蕉在B位置，猴子站在箱子上。

猴子摘香蕉的步骤如下：
猴子从箱子上爬下来→猴子把箱子从A位置搬到B位置→猴子爬上箱子→猴子摘到香蕉

4、实验结果

当传教士与野人为五人，船最多允许三人过河时，程序运行结果如下

解的状态迁移图
1、550->441->440->331->330->221->220->111->110->001

2、550->441->440->331->330->221->220->011->110->001

3、550->441->540->331->330->221->220->111->110->001

4、550->441->540->331->330->221->220->011->110->001

5、实验代码

#include "stdafx.h"
#include<string.h>
#include<iostream>
#include <stdio.h>
using namespace std;

struct State
{
	int monkey; /*-1:Monkey at A;0: Monkey at B;1:Monkey at C;*/
	int box;	/*-1:box at A;0:box at B;1:box at C;*/
	int banana; /*Banana at B,Banana=0*/
	int monbox; /*-1: monkey on the box;1: monkey  the box;*/
};
struct State States[150];
char* routesave[150];
/*function monkeygoto,it makes the monkey goto the other place*/
void monkeygoto(int b, int i)
{
	int a;
	a = b;
	if (a == -1)
	{
		routesave[i] = "Monkey go to A";
		States[i + 1] = States[i];
		States[i + 1].monkey = -1;
	}
	else if (a == 0)
	{
		routesave[i] = "Monkey go to B";
		States[i + 1] = States[i];
		States[i + 1].monkey = 0;
	}
	else if (a == 1)
	{
		routesave[i] = "Monkey go to C";
		States[i + 1] = States[i];
		States[i + 1].monkey = 1;
	}
	else
	{
		printf("parameter is wrong");
	}
}
/*end function monkeyygoto*/
/*function movebox,the monkey move the box to the other place*/
void movebox(int a, int i)
{
	int B;
	B = a;
	if (B == -1)
	{
		routesave[i] = "monkey move box to A";
		States[i + 1] = States[i];
		States[i + 1].monkey = -1;
		States[i + 1].box = -1;
	}
	else if (B == 0)
	{
		routesave[i] = "monkey move box to B";
		States[i + 1] = States[i];
		States[i + 1].monkey = 0;
		States[i + 1].box = 0;
	}
	else if (B == 1)
	{
		routesave[i] = "monkey move box to C";
		States[i + 1] = States[i];
		States[i + 1].monkey = 1;
		States[i + 1].box = 1;
	}
	else
	{
		printf("parameter is wrong");
	}
}
/*end function movebox*/
/*function climbonto,the monkey climb onto the box*/
void climbonto(int i)
{
	routesave[i] = "Monkey climb onto the box";
	States[i + 1] = States[i];
	States[i + 1].monbox = 1;
}
/*function climbdown,monkey climb down from the box*/
void climbdown(int i)//如果初始状态猴子在箱子上，则需要爬下来
{
	routesave[i] = "Monkey climb down from the box";
	States[i + 1] = States[i];
	States[i + 1].monbox = -1;
}
/*function reach,if the monkey,box,and banana are at the same place,the monkey reach banana*/
void reach(int i)
{
	routesave[i] = "Monkey reach the banana";
}
/*output the solution to the problem*/
void showSolution(int i)//打印
{
	int c;
	printf("%s \n", "Result to problem:");
	for (c = 0; c<i + 1; c++)
	{
		printf("Step %d : %s \n", c + 1, routesave[c]);
	}
	printf("\n");
}
/*perform next step*/
void nextStep(int i)
{
	int c;
	int j;
	//超过一定步数，判断为有问题
	if (i >= 150)
	{
		printf("%s  \n", "steplength reached 150,have problem ");
		return;
	}
	//判断是否跟之前的状态相同，若相同则可能陷入循环，需要退出
	for (c = 0; c<i; c++) /*if the current state is same to previous,retrospect*/
	{
		if (States[c].monkey == States[i].monkey&&States[c].box == States[i].box&&States[c].banana == States[i].banana&&States[c].monbox == States[i].monbox)
			return;
	}
	//成功拿到香蕉
	if (States[i].monbox == 1 && States[i].monkey == 0 && States[i].banana == 0 && States[i].box == 0)
	{
		showSolution(i);
		exit(0);
	}

	j = i + 1;//进行数据更新，用来标记当前是第几个状态
	if (States[i].monkey == 0)//猴子站在了位置0
	{
		if (States[i].box == 0)
		{
			if (States[i].monbox == -1)
			{
				climbonto(i);
				reach(i + 1);
				nextStep(j);
			}
			else
			{
				reach(i + 1);
				nextStep(j);
			}
		}
		else
		{
			monkeygoto(States[i].box, i);
			nextStep(j);
			movebox(0, i);
			nextStep(j);
			climbonto(i);
			reach(i + 1);
			nextStep(j);
		}
	}
	/*end if*/
	if (States[i].monkey == -1)
	{
		if (States[i].box == -1)
		{
			if (States[i].monbox == -1)
			{
				movebox(0, i);
				nextStep(j);
				climbonto(i);
				reach(i + 1);
				nextStep(j);
			}
			else
			{
				climbdown(i);
				nextStep(j);
				movebox(0, i);
				nextStep(j);
				climbonto(i);
				reach(i + 1);
				nextStep(j);
			}
		}
		else if (States[i].box == 0)
		{
			monkeygoto(0, i);
			nextStep(j);
			climbonto(i);
			reach(i + 1);
			nextStep(j);
		}
		else
		{
			monkeygoto(1, i);
			nextStep(j);
			movebox(0, i);
			nextStep(j);
			climbonto(i);
			reach(i + 1);
			nextStep(j);
		}
	}
	/*end if*/
	if (States[i].monkey == 1)
	{
		if (States[i].box == 1)
		{
			if (States[i].monbox == -1)
			{
				movebox(0, i);
				nextStep(j);
				climbonto(i);
				reach(i + 1);
				nextStep(j);
			}
			else
			{
				climbdown(i);
				nextStep(j);
				movebox(0, i);
				nextStep(j);
				climbonto(i);
				reach(i + 1);
				nextStep(j);
			}
		}
		else if (States[i].box == -1)
		{
			monkeygoto(-1, i);
			nextStep(j);
			movebox(0, i);
			nextStep(j);
			climbonto(i);
			reach(i + 1);
			nextStep(j);
		}
		else
		{
			monkeygoto(0, i);
			nextStep(j);
			climbonto(i);
			reach(i + 1);
			nextStep(j);
		}
	}
	/*end if*/
}/*end nextStep*/
int main()
{
	States[0].monkey = -1;
	States[0].box = 1;
	States[0].banana = 0;
	States[0].monbox = -1;
	nextStep(0);
}

二、传教士(牧师)与野人问题

1、问题描述

有n个牧师和n个野人准备渡河，但只有一条能容纳c个人的小船，为了防止野人侵犯牧师，要求无论在何处，牧师的人数不得少于野人的人数(除非牧师人数为0)，且假定野人与牧师都会划船，试设计一个算法，确定他们能否渡过河去，若能，则给出小船来回次数最少的最佳方案。

2、实验步骤

输入：牧师人数(即野人人数)：n；小船一次最多载人量：c。
输出：若问题无解，则显示Failed，否则，显示Successed输出所有可行方案，并标注哪一组是最佳方案。用三元组(X1, X2, X3)表示渡河过程中的状态。并用箭头连接相邻状态以表示迁移过程：初始状态->中间状态->目标状态。

例：当输入n=2，c=2时，输出：221->200->211->010->021->000；
其中：X1表示起始岸上的牧师人数；X2表示起始岸上的野人人数；X3表示小船现在位置(1表示起始岸，0表示目的岸)。

3、实验要求

写出算法的设计思想和源程序，并有用户界面实现人机交互（控制台或者窗口都可以），进行输入和输出结果，如：
Please input n: 2 Please input c: 2
Optimal Procedure: 221->200->211->010->021->000
Successed or Failed?: Successed

4、解题思路

针对“传教士与野人”实验，输入不同的传教士与野人数目，允许过河的最大人数，可以得到不同的结果。在输出所有可行路径之后，输出最优路径，即所花次数最少的结果。
这题使用DFS算法，运用递归来写DFS算法，搜索扫描可能的路径，若可行则打印出来，同时比较当前路径是否比已存储的最短路径短，若是，则当前路径存储为最短路径，若否则跳过。

5、实验代码

// 传教士与野人.cpp 
#include <iostream>
using namespace std;
#define maxNum 150
struct op
{
	int M;	//牧师过河人数
	int C;	//野人过河人数
};
struct State
{
	int minister;	//起始岸上的牧师人数
	int savage;		//起始岸上的野人人数
	int side;		//side=0，船在初始岸，side=1，船在对岸
};

int n;		//牧师和野人数目
int c;		//小船最多能载的人数
int op_num;	//有多少种过河方式
int min_road=999;//最短路径
struct op opNum[maxNum];
struct State States[maxNum];
struct State StatesMin[maxNum];

//安全状态
int isSafe(int i)
{
	if (States[i].minister == 0 || States[i].minister == n || States[i].minister == States[i].savage)
		return 1;
	return 0;
}
//最终目标
int isGoal(int i)
{
	if (States[i].minister == 0 && States[i].savage == 0)
		return 1;
	return 0;
}
//判断是否跟之前的状态重复
int isRepeat(int i)
{
	for (int j = 0; j < i; j++)
	{
		if (States[i].minister == States[j].minister&&States[i].savage == States[j].savage&&States[i].side==States[j].side)
			return 1;
	}
	return 0;
}
//可选择的过河方式
void OpNum()
{
	for(int i=0;i<=c;i++)
		for (int j = 0; j <= i&&j<=c-i; j++)
		{
			opNum[op_num].M = i;
			opNum[op_num++].C = j;
		}
}
//存储最短的过河方式
void MinWay(int i)
{
	for (int j = 0; j <= i; j++)
	{
		StatesMin[j].minister = States[j].minister;
		StatesMin[j].savage = States[j].savage;
		StatesMin[j].side = States[j].side;
	}
}
//打印
void Print(State *state,int i)
{
	for (int j = 0; j < i; j++)
	{
		cout << state[j].minister << state[j].savage << state[j].side<<"->";
		if (j + 1 % 10 == 0)
			cout << endl;
	}
	cout << state[i].minister << state[i].savage << state[i].side <<endl<<endl;
}
//使用dfs遍历寻找解
void nextStep(int i)
{
	// 递归出口
	if (isGoal(i))
	{
		if (i < min_road)
		{
			min_road = i;
			MinWay(i);
		}
		cout << "Successed:" << endl;
		Print(States,i);
		return;
	}
	// 是否安全
	if (!isSafe(i))
		return;
	// 是否重复
	if (isRepeat(i))
		return;

	int j = i + 1;
	// 起始岸
	if (States[i].side == 0)
	{
		for (int k = 0; k < op_num; k++)
		{
			if (opNum[k].M > States[i].minister || opNum[k].C > States[i].savage)
				continue;
			States[j].minister = States[i].minister-opNum[k].M;
			States[j].savage = States[i].savage - opNum[k].C;
			States[j].side = 1;
			nextStep(j);
		}
	}
	else//对岸
	{
		for (int k = 0; k < op_num; k++)
		{
			if (opNum[k].M > (n-States[i].minister) || opNum[k].C > (n-States[i].savage))
				continue;
			States[j].minister = States[i].minister+opNum[k].M;
			States[j].savage = States[i].savage+opNum[k].C;
			States[j].side = 0;
			nextStep(j);
		}
	}
}

int main()
{
	cout << "Please input n: ";
	cin >> n;
	cout << "Please input c: ";
	cin >> c;
	States[0].minister = n;
	States[0].savage = n;
	States[0].side = 0;
	OpNum();
	nextStep(0);
	if (min_road < 999)
	{
		cout << "Optimal Procedure:" << endl;
		Print(StatesMin, min_road);
	}
	else
	{
		cout << "Fail." << endl;
	}
    return 0;
}