3个传教士和3个野人（别人写的很好的算法，值得一读）

问题描述：设有3个传教士（Missionaries）和3个野人(Cannibals)来到河边，打算乘一只船从右岸渡到左岸去。该船的最大负荷能力为两个人（k=2）。在任何情况下：如果野人人数超过传教士人数，那么野人就会把传教士吃掉。他们怎样才能用这条船安全地把所有人都渡过河去呢？（提示：用状态空间来描述，其综合数据库：用三元数组表示， m表示传教士，c表示野人，b表示船状态)

#include <iostream>  #include <vector>  #include <list>  using namespace std;    typedef struct  {      int m;//表示传教士      int c;// 表示野人     int b;//船状态  }MCNode;    list<MCNode> fringe;//相当于队列  vector<MCNode> closed;//closed表   //判断是否是目标结点  bool IsGoal(MCNode tNode)  {      if(tNode.m==0&&tNode.c==0&&tNode.b==0)          return true;      else          return false;  }  //判断是否是合法状态  bool IsLegal(MCNode tNode)  {      if(tNode.m>=0&&tNode.m<=3&&tNode.c>=0&&tNode.c<=3)      {          if((tNode.m==tNode.c)||(tNode.m==3)||(tNode.m==0))              return true;          else              return false;      }      else         return false;  }  //重载运算符，判断两结构体是否相等  bool operator==(MCNode m1,MCNode m2)  {      if(m1.m==m2.m&&m1.c==m2.c&&m1.b==m2.b)          return true;      else          return false;  }  //判断是否已在closed表中  bool IsClosed(MCNode tNode)  {      int i;      for(i=0;i!=closed.size();i++)      {          if(tNode==closed[i])              return true;      }      if(i==closed.size())          return false;  }  void ExpandNode(MCNode tNode,int b,list<MCNode> &fringe)  {      MCNode node[5];//应用5条规则集生成新结点      if(b==1)      {          for(int i=0;i<5;i++)              node[i].b=0;          node[0].m=tNode.m-1;          node[0].c=tNode.c;          node[1].m=tNode.m;          node[1].c=tNode.c-1;          node[2].m=tNode.m-1;          node[2].c=tNode.c-1;          node[3].m=tNode.m-2;          node[3].c=tNode.c;          node[4].m=tNode.m;          node[4].c=tNode.c-2;      }      else      {          for(int i=0;i<5;i++)              node[i].b=1;          node[0].m=tNode.m+1;          node[0].c=tNode.c;          node[1].m=tNode.m;          node[1].c=tNode.c+1;          node[2].m=tNode.m+1;          node[2].c=tNode.c+1;          node[3].m=tNode.m+2;          node[3].c=tNode.c;          node[4].m=tNode.m;          node[4].c=tNode.c+2;      }      for(int i=0;i<5;i++)         if(IsLegal(node[i])&&!IsClosed(node[i]))              fringe.push_front(node[i]);//队列后进先出，深度优先搜索，最后得到一条最小解序列  //          fringe.push_back(node[i]);//队列后进后出，广度优先搜索，最后得到最小解序列状态空间图  }  void main()  {      MCNode InitNode,unode;      InitNode.m=3;      InitNode.c=3;      InitNode.b=1;      fringe.push_back(InitNode);//将初始状态空间加入到队列      while(!fringe.empty())      {          unode=fringe.front();          fringe.pop_front();          if(IsGoal(unode))         {              closed.push_back(unode);              for(int i=0;i!=closed.size();i++)                  cout<<closed[i].m<<","<<closed[i].c<<","<<closed[i].b<<endl;              break;          }          if(!IsClosed(unode))          {               closed.push_back(unode);              ExpandNode(unode,unode.b,fringe);         }     }  } /*渡法说明： 2个野人去，1个野人回 2个野人去，1个野人回 2个传教士去，1个野人与1个传教士回 2个传教士去，1个野人回 2个野人去，1个野人回 2个野人去，完成  */