#include <iostream>#include <cstring>#include <string>#include <set>using namespace std;void search(int i);int a[16][4];set<int> s;int b[16];string ss[2];string t[4];int k;int level;int count1(int a[])//將當前狀態轉化為10進制數 {  return a[0]*8+a[1]*4+a[2]*2+a[3];}void show(int a[])//顯示結果函數 {  cout<<"      左邊：";  for(int i=1;i<=3;i++)    if(a[i]==0)      cout<<t[i]<<" ";  cout<<"  ";  cout<<"右邊：";  for(int i=1;i<=3;i++)    if(a[i]==1)      cout<<t[i]<<" ";  cout<<endl<<endl; }void bringSomething(int i)//假設農夫會帶走某個東西 {  for(int j=1;j<=3;j++)  {    if(a[i][j]==a[i][0])//若j原來和農夫同一個位置，則農夫有可能將j帶走。     {      a[i+1][j]=a[i+1][0];//假設將j帶走       if((!(a[i+1][1]==a[i+1][2]&&a[i+1][1]!=a[i+1][0]||a[i+1][3]==a[i+1][2]&&a[i+1][2]!=a[i+1][0]))&&s.count(count1(a[i+1]))==0&&i>=level)//第i+1層將j帶走時滿足條件，則繼續搜索第i+1層       {        s.insert(count1(a[i+1]));        b[i]=1;        cout<<ss[a[i][0]]<<t[j]<<"  ";        show(a[i+1]);        level++;               search(i+1);      }      else //若不滿足條件則恢復       {        a[i+1][j]=a[i][j];      }          }  }}void bringNothing(int i)//假設農夫什么也不帶走 {  if((!(a[i+1][1]==a[i+1][2]&&a[i+1][1]!=a[i+1][0]||a[i+1][3]==a[i+1][2]&&a[i+1][2]!=a[i+1][0]))&&s.count(count1(a[i+1]))==0&&i>=level)  {      if(i==0)      cout<<"農夫從左邊去右邊，什么也不帶";    else       cout<<"農夫從右邊回左邊，什么也不帶";    show(a[i+1]);    s.insert(count1(a[i+1]));    search(i+1);    level++;  }  else     b[i]=0;}void search(int i)//從第i層開始搜索判斷第i+1層可能的情況 {   if(i>=16||count1(a[i])==15)    return;  for(int j=1;j<=3;j++)//用第i層來初始化第i+1層   {    a[i+1][j]=a[i][j];  }  b[i]=-1;  if(i%2==1)//在右岸，先考慮農夫什么也不帶走   {    bringNothing(i);    if(b[i]==0)      bringSomething(i);  }  else{//在左岸，先考慮農夫會帶走某一樣東西。     bringSomething(i);    if(b[i]!=1)      bringNothing(i);  }}int main(){    ss[0]="農夫從左邊去右邊，帶上";  ss[1]="農夫從右邊回左邊，帶上";  t[1]="菜";  t[2]="羊";  t[3]="狐貍";  memset(a,0,sizeof(a));  for(int i=0;i<16;i++)  {    a[i][0]=i%2;  }  s.clear();  k=0;  level=0;  s.insert(0);  //先將初始狀態儲存起來   search(0); //從第0層開始搜索   for(int i=0;i<16;i++)  {    for(int j=0;j<4;j++)      cout<<a[i][j]<<" ";    cout<<endl;    if(count1(a[i])==15)      break;  }  return 0;}

農夫從右邊回左邊，什么也不帶 左邊：菜 狐貍 右邊：羊農夫從左邊去右邊，帶上菜 左邊：狐貍 右邊：菜 羊農夫從右邊回左邊，帶上羊 左邊：羊 狐貍 右邊：菜農夫從左邊去右邊，帶上狐貍 左邊：羊 右邊：菜 狐貍農夫從右邊回左邊，什么也不帶 左邊：羊 右邊：菜 狐貍農夫從左邊去右邊，帶上羊 左邊： 右邊：菜 羊 狐貍0 0 0 0 1 0 1 0 0 0 1 0 1 1 1 0 0 1 0 0 1 1 0 1 0 1 0 1 1 1 1 1