/***********************************************
 * 農(nóng)夫過河問題（P64 隊(duì)列的應(yīng)用）
 * 約定：用四位二進(jìn)制數(shù)分別順序表示農(nóng)夫、狼、白菜和羊的狀態(tài)
 *   即：{dddd} <=> {Farmer, Wolf, Cabbage, Goat} 其中：d={0,1}
 * 說明：0表示在東岸 1表示在西岸，初始狀態(tài)為0000，終止?fàn)顟B(tài)為1111
************************************************/
#include<stdio.h>
#include<stdlib.h>
#define MAXSIZE 16
typedef int EntryType;
typedef struct queue
{
  EntryType data[MAXSIZE];
  int front,rear;    //front隊(duì)頭，rear隊(duì)尾
}SeqQueue, * SeqQueuePtr;
// 創(chuàng)建空隊(duì)列
SeqQueuePtr create_sequeue(void)
{
  SeqQueuePtr pque;
  pque = (SeqQueuePtr)malloc(sizeof(SeqQueue));
  if(pque){
    pque->front = 0;
    pque->rear = 0;
  }
  else{
    printf("Error: malloc() failed, out of memory!\n");
  }
  return(pque);
}
int is_queEmpty(SeqQueuePtr pque)
{
  return( pque->front == pque->rear );
}
int is_queFull(SeqQueuePtr pque)
{
  return( (pque->rear+1)%MAXSIZE == pque->front);
}
// 入隊(duì)
int enqueue(SeqQueuePtr pque, EntryType x)
{
  if(is_queFull(pque)){
    printf("Queue Overflow Error: trying to add an element onto a full queue\n");
    return 1;
  }
  else{
    pque->data[pque->rear] = x;
    pque->rear = (pque->rear + 1) % MAXSIZE;
    return 0;
  }
}
// 隊(duì)首元素出隊(duì)（返回0表示出隊(duì)異常，出隊(duì)操作前隊(duì)列為空）
int dequeue(SeqQueuePtr pque, EntryType * e)
{
  if(is_queEmpty(pque)){
    printf("Empty Queue.\n");
    return 0;
  }
  else{
    *e = pque->data[pque->front];
    pque->front = (pque->front + 1) % MAXSIZE;
    return 1;
  }
}
int is_farmer_crossed(int state)
{
  return ((state & 0x08) != 0);
}
int is_wolf_crossed(int state)
{
  return ((state & 0x04) != 0);
}
int is_cabbage_crossed(int state)
{
  return ((state & 0x02) != 0);
}
int is_goat_crossed(int state)
{
  return ((state & 0x01) != 0);
}
// 若狀態(tài)相容（安全）則返回1，否則返回0
int is_safe(int state)
{
  if((is_goat_crossed(state) == is_cabbage_crossed(state)) &&
    (is_goat_crossed(state) != is_farmer_crossed(state))) // 羊菜同岸且農(nóng)夫不在場
    return(0);
  if((is_goat_crossed(state) == is_wolf_crossed(state)) &&
    (is_goat_crossed(state) != is_farmer_crossed(state))) // 狼羊同岸且農(nóng)夫不在場
    return(0);
  return(1);
}
void river_crossing_problem()
{
  int route[16];      // 記錄已經(jīng)考慮過的狀態(tài)
  int state;        // 記錄當(dāng)前時(shí)刻的狀態(tài)（狀態(tài)編號(hào)的二進(jìn)制形式即狀態(tài)本身）
  int aftercross;     // 記錄漁夫當(dāng)前的選擇（渡河對(duì)象）會(huì)導(dǎo)致的結(jié)果狀態(tài)
  int passenger;      // 臨時(shí)變量，用于表達(dá)農(nóng)夫的選擇（對(duì)應(yīng)二進(jìn)制位為1表示選中該乘客）
  int results[16]={0};   // 輸出結(jié)果
  int counter, i;
  SeqQueuePtr states_que; //
  states_que = create_sequeue(); // 創(chuàng)建“狀態(tài)”隊(duì)列
  enqueue(states_que,0x00);   // 初始狀態(tài)0000入隊(duì)
  for(int i = 0; i < 16; i++){
    route[i] = -1;
  }
  //route[0] = 0;
  while(!is_queEmpty(states_que) && (route[15] == -1))
  {
    if( !dequeue(states_que, &state) ){
      printf("Error: dequeue() - the queue is empty\n");
    }
    // 依次考慮農(nóng)夫可能的選擇：攜帶羊、白菜和狼，以及農(nóng)夫只身渡河
    for( passenger = 1; passenger<= 8; passenger <<= 1 )
    {
      // 由于農(nóng)夫總是在過河，隨農(nóng)夫過河的也只能是與農(nóng)夫同側(cè)的東西
      if(((state & 0x08) != 0) == ((state & passenger) != 0)){
        // 如果農(nóng)夫與當(dāng)前乘客在河岸的同一側(cè)
        aftercross = state^( 0x08|passenger ); // 渡河后的情況
        if(is_safe(aftercross) && (route[aftercross] == -1)){
          // 如果渡河后狀態(tài)安全，則將其狀態(tài)入隊(duì)
          route[aftercross] = state; // 將當(dāng)前狀態(tài)的索引記錄到路徑數(shù)組中（下標(biāo)索引為后續(xù)狀態(tài)值）
          enqueue(states_que, aftercross);
        }
      }
    }//end for()
  }//end while()
  // 輸出過河策略：0表示在東岸 1表示在西岸，初始狀態(tài)為0000，終止?fàn)顟B(tài)為1111
  if(route[15] != -1)
  {
    //printf("The reverse path is:\n");
    counter = 0;
    for(state = 15; state != 0; state = route[state]){
      //printf("The state is: %d \n",state);
      results[counter] = state;
      counter++;
      //if(state == 0) return;
    }
    for(i = 0; i< counter; i++){
      state= results[i];
      aftercross = results[i+1];
      if(state & 0x08){
        printf("農(nóng)夫從東岸到西岸:");
      }
      else{
        printf("農(nóng)夫從西岸到東岸:");
      }
      switch(state^aftercross ){
      case 12:
        printf("把狼帶過河\n");
        break;
      case 10:
        printf("把菜帶過河\n");
        break;
      case 9:
        printf("把羊帶過河\n");
        break;
      default:
        printf("什么也不帶\n");
        break;
      }
    }
  }
  else{
    printf("No solution for this problem.\n");
  }
}
int main(void)
{
  river_crossing_problem();
  system("pause");
  return 0;
}