传教士与野人问题---暴力搜索

问题描述：

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

实验步骤：

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

实验分析：

以n=2,c=2为例，分析部分路径状态迁移过程。

注：当状态重复或到达终态或野人数量大于传教士人数时，终止该路径的递归。

代码实现：

#include<iostream>
#include<set>
#include<vector>
using namespace std;

int n, c;//传教士的人数及船的载客量
int min_deep = INT_MAX;//船的最小来回次数
int path = 0;//可达路径的数量

struct State {
    int m;//传教士
    int c;//野人
    int dep;//已划船次数
    int boat;//左岸是否有船
    bool friend operator <(const struct State& a, const struct State& b)//为实现自定义类型的set提供排序规则
    {
        return a.dep<b.dep;//升序排序
    }
};
set<State> Set;//自定义类型State实现set
vector<vector<State>> res;//保存所有路径

//判断状态是否已经在当前路径中，避免重复加入
bool isExist(State next)
{
    for (auto it = Set.begin(); it != Set.end(); it++)
        if (it->m == next.m && it->c == next.c && it->boat == next.boat)
            return true;
    return false;
}
//输出路径
void output()
{
    for (int i = 0; i<res.size(); i++)
    {
        if (res[i].size()== min_deep+1)//判断是否为最优路径
            cout << "optimal" << endl;
        cout << "Solution" << i +1<< endl;
        for (int j = 0; j<res[i].size(); j++)//依次输出路径上的各个状态
            cout << "(" << res[i][j].m << "," << res[i][j].c << "," << res[i][j].boat << ")" << endl;
        cout << endl;
    }
}
//用深度优先进行搜索
void dfs(State s)
{
    Set.insert(s);//加入当前路径的集合中(已按状态的先后顺序排序）
    if (s.m == 0 && s.c == 0)//目标状态
    {
        if (s.dep < min_deep)//记录最短路径的划船次数
            min_deep = s.dep;
        path++;
        vector<State> v(Set.begin(), Set.end());
        res.push_back(v);//保存该路径
        Set.erase(--Set.end());//已达终点，进行回退
        return;
    }
    if (s.boat == 1)//左岸
    {
        for (int i = c; i >= 1; i--)//船载i从左往右划
        {
            if (i > s.m + s.c)//i多于左岸的总人数
                continue;
            for (int j = i; j >= 0; j--)//船上有j个野人
            {
                if (j > s.c || i - j > s.m)//多于左岸传教士、野人的实际人数
                    continue;
                if (j != i && j > i - j)//船上传教士的人数少于野人的人数
                    continue;
                if (s.m - (i - j) != 0 && s.m - (i - j) != n && s.m - (i - j) != s.c - j)//左岸剩下的传教士与野人的人数不相等
                    continue;
                State next;
                next.boat = 0;
                next.m = s.m - (i - j);
                next.c = s.c - j;
                next.dep = s.dep + 1;
                if(!isExist(next))//判断当前路径是否存在该状态
                   dfs(next);
            }
        }
    }
    else//右岸
    {
        for (int i = c; i >=1; i--)//船载i个人从右往左划
        {
            if (i > (n - s.m) + (n - s.c))//i多于右岸的总人数
                continue;
            for (int j = i; j >= 0; j--)//船上有j个野人
            {
                if (j > n - s.c || i - j > n - s.m)//多于右岸传教士、野人的实际人数
                    continue;
                if (j != i && j >i-j)//船上野人的数量大于传教士的数量
                    continue;
                if (n - s.m -(i - j) != 0 && n - s.m - (i - j) != n && n - s.m - (i - j) != n - s.c - j)//右岸剩下的传教士人数与野人不相等
                    continue;
                State next;
                next.boat = 1;
                next.m = s.m + (i - j);
                next.c = s.c + j;
                next.dep = s.dep + 1;
                if (!isExist(next))//判断当前路径是否存在该状态
                    dfs(next);
            }
        }
    }
    Set.erase(--Set.end());//无路可走，进行回退
}

int main() 
{
    cout << "请输入传教士及船的载客量:";
    cin >> n >> c;
    State start;//初始状态
    start.m = start.c = n;
    start.boat = 1;
    start.dep = 0;
    dfs(start);
    cout << "Successed or Failed?:";
    if (path == 0)
        cout << "failed" << endl;
    else
    {
        cout << "Successed" << endl;
        output();
        cout << "共有" << path << "条路径。" << endl;
        cout << "min_deep=" << min_deep << endl;
    }
}

实验结果：