#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[])//將當(dāng)前狀態(tài)轉(zhuǎn)化為10進(jìn)制數(shù) 
{
  return a[0]*8+a[1]*4+a[2]*2+a[3];
}
void show(int a[])//顯示結(jié)果函數(shù) 
{
  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)//假設(shè)農(nóng)夫會(huì)帶走某個(gè)東西 
{
  for(int j=1;j<=3;j++)
  {
    if(a[i][j]==a[i][0])//若j原來(lái)和農(nóng)夫同一個(gè)位置，則農(nóng)夫有可能將j帶走。 
    {
      a[i+1][j]=a[i+1][0];//假設(shè)將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帶走時(shí)滿足條件，則繼續(xù)搜索第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 //若不滿足條件則恢復(fù) 
      {
        a[i+1][j]=a[i][j];
      }      
    }
  }
}
void bringNothing(int i)//假設(shè)農(nóng)夫什么也不帶走 
{
  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<<"農(nóng)夫從左邊去右邊，什么也不帶";
    else 
      cout<<"農(nóng)夫從右邊回左邊，什么也不帶";
    show(a[i+1]);
    s.insert(count1(a[i+1]));
    search(i+1);
    level++;
  }
  else 
    b[i]=0;
}
void search(int i)//從第i層開(kāi)始搜索判斷第i+1層可能的情況 
{ 
  if(i>=16||count1(a[i])==15)
    return;
  for(int j=1;j<=3;j++)//用第i層來(lái)初始化第i+1層 
  {
    a[i+1][j]=a[i][j];
  }
  b[i]=-1;
  if(i%2==1)//在右岸，先考慮農(nóng)夫什么也不帶走 
  {
    bringNothing(i);
    if(b[i]==0)
      bringSomething(i);
  }
  else{//在左岸，先考慮農(nóng)夫會(huì)帶走某一樣?xùn)|西。 
    bringSomething(i);
    if(b[i]!=1)
      bringNothing(i);
  }
}
int main()
{  
  ss[0]="農(nóng)夫從左邊去右邊，帶上";
  ss[1]="農(nóng)夫從右邊回左邊，帶上";
  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);  //先將初始狀態(tài)儲(chǔ)存起來(lái) 
  search(0); //從第0層開(kāi)始搜索 
  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;
}

農(nóng)夫從右邊回左邊，什么也不帶 左邊：菜 狐貍 右邊：羊

農(nóng)夫從左邊去右邊，帶上菜 左邊：狐貍 右邊：菜 羊

農(nóng)夫從右邊回左邊，帶上羊 左邊：羊 狐貍 右邊：菜

農(nóng)夫從左邊去右邊，帶上狐貍 左邊：羊 右邊：菜 狐貍

農(nóng)夫從右邊回左邊，什么也不帶 左邊：羊 右邊：菜 狐貍

農(nóng)夫從左邊去右邊，帶上羊 左邊： 右邊：菜 羊 狐貍

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