传教士和野人问题(Missionaries and Cannibals)



传教士和野人问题(Missionaries and Cannibals)

传教士和野人问题(Missionaries   and   Cannibals)
这是一个经常在有关讨论人工智能的书籍中见到的问题,   其描述是这样的:
有N个传教士和N个野人来到河边渡河,   河岸有一条船,   每次至多可供k人乘渡。问传教士为了安全起见,   应如何规划摆渡方案,   使得任何时刻,   河两岸以及船上的野人数目总是不超过传教士的数目(否则不安全,   传教士有可能被野人吃掉)。即求解传教士和野人从左岸全部摆渡到右岸的过程中,   任何时刻满足M(传教士数)≥C(野人数)和M+C≤k的摆渡方案。
我们此处举例 ,  只讨论N为3、k为2的乘渡问题,   这样传教士和野人问题的描述就具体为如下:
三个传教士与三个野人来到河边,   有一条船可供一人或两人乘渡,   问题是如何用这条船渡河才能使得河的任一岸上野人的数目总不超过传教士的数目(当然,   如果某一岸上只有野人而没有传教士是允许的)?

下面我们进行程序设计:
我们把满足条件的状态称为安全状态,   首先要定义出安全状态,   通过对问题的分析,   不难得出只有满足以下条件之一的状态才是安全的(以左岸为例):
1.   传教士与野人的数目相等;
2.   传教士都在左岸;
3.   传教士都不在左岸。

程序代码(Java):

 

[java] view plaincopy


  1. package algorithm.written.examination;
  2. import java.util.Scanner;
  3. /**
  4.  * 传教士和野人问题(Missionaries and Cannibals)
  5.  * 问题:有N个传教士和N个野人来到河边渡河,河岸有一条船,每次至多可供k人乘渡。
  6.  * 问传教士为了安全起见,应如何规划摆渡方案,使得任何时刻,
  7.  * 河两岸以及船上的野人数目总是不超过传教士的数目(否则不安全,传教士有可能被野人吃掉)。
  8.  * 即求解传教士和野人从左岸全部摆渡到右岸的过程中,
  9.  * 任何时刻满足M(传教士数)≥C(野人数)和M+C≤k的摆渡方案。
  10.  * 我们此处举例,只讨论N为3、k为2的乘渡问题,这样传教士和野人问题的描述就具体为如下:
  11.  * 三个传教士与三个野人来到河边,有一条船可供一人或两人乘渡,问题是如何用这条船渡河才能
  12.  * 使得河的任一岸上野人的数目总不超过传教士的数目(当然,如果某一岸上只有野人而没有传教士是允许的)。
  13.  * @author jiutianhe
  14.  * @time 2012.10.12
  15.  */
  16. public class ManAcrossRiver {
  17.     public class Man{
  18.         int left_wild;//左岸野人数目
  19.         int left_church;//左岸传教士数目
  20.         int boat_wild;//船上野人数目
  21.         int boat_church;//船上传教士数目
  22.         int right_wild;//右岸野人数目
  23.         int right_church;//右岸传教士数目
  24.         Man next;//下一个状态指针
  25.         Man back;//上一个状态指针
  26.         Man(){
  27.             left_wild=0;
  28.             left_church=0;
  29.             boat_wild=0;
  30.             boat_church=0;
  31.             right_wild=0;
  32.             right_church=0;
  33.             next=null;
  34.             back=null;
  35.         }
  36.         public Man(int left_wild, int left_church, int boat_wild,int boat_church,
  37.                 int right_wild, int right_church, Man next,Man back) {
  38.             this.left_wild = left_wild;
  39.             this.left_church = left_church;
  40.             this.boat_wild = boat_wild;
  41.             this.boat_church = boat_church;
  42.             this.right_wild = right_wild;
  43.             this.right_church = right_church;
  44.             this.next = next;
  45.             this.back = back;
  46.         }
  47.     }
  48.     //这儿是复制结构体里面的数据
  49.     private boolean copyNode(Man obj,Man source){
  50.         obj.boat_church=source.boat_church;
  51.         obj.boat_wild=source.boat_wild;
  52.         obj.left_church=source.left_church;
  53.         obj.left_wild=source.left_wild;
  54.         obj.right_church=source.right_church;
  55.         obj.right_wild=source.right_wild;
  56.         obj.next=source.next;
  57.         obj.back=source.back;
  58.         return true;
  59.     }
  60.     //判断两个结构体里的数据是不是相同
  61.     private boolean check(Man obj,Man source){
  62.         if(obj.boat_church!=source.boat_church)
  63.             return false;
  64.         if(obj.boat_wild!=source.boat_wild)
  65.             return false;
  66.         if(obj.left_church!=source.left_church)
  67.             return false;
  68.         if(obj.left_wild!=source.left_wild)
  69.             return false;
  70.         if(obj.right_church!=source.right_church)
  71.             return false;
  72.         if(obj.right_wild!=source.right_wild)
  73.             return false;
  74.         return true;
  75.     }
  76.     //确定找出的一个状态是不是满足要求(野人>传教士)
  77.     private boolean isNext(Man obj){
  78.         if(obj.boat_church>0 || obj.boat_wild>0){
  79.             if(obj.left_church>=0 && obj.left_wild>=0 && obj.right_church>=0 && obj.right_wild>=0)
  80.                 if(obj.left_church >= obj.left_wild || obj.left_church==0)
  81.                     if(obj.right_church >= obj.right_wild || obj.right_church==0)
  82.                         if(obj.boat_church >= obj.boat_wild || obj.boat_church==0)
  83.                             if((obj.left_wild+obj.boat_wild <= obj.left_church+obj.boat_church ||
  84.                                     (obj.left_church+obj.boat_church==0)) && (obj.right_wild+obj.boat_wild
  85.                                     <= obj.right_church+obj.boat_church || obj.right_church+obj.boat_church==0))
  86.                                 return true;
  87.         }
  88.         else if(obj.boat_church==0 && obj.boat_wild==0 && obj.left_church==0 && obj.left_wild==0)
  89.             return true;
  90.         return false;
  91.     }
  92.     //传入一个刚开始的野人和传教士分布的结构体,再进行扩展,寻找下一种情况,直到全过河为止
  93.     public void acrossRiver(Man obj,int num){
  94.         boolean flag=false;
  95.         Man now,tail;
  96.         tail=obj;
  97.         while(tail.left_church>0 || tail.left_wild>0){
  98.             now=new Man();
  99.             //寻找从左岸上船的各种情况
  100.             for(int i=num;i>=0;i–){//船上野人数目
  101.                 for(int j=num-i;j>=0;j–){//船上传教士数目
  102.                     copyNode(now,tail);
  103.                     now.left_wild -= i;
  104.                     now.left_church -= j;
  105.                     now.boat_church += j;
  106.                     now.boat_wild += i;
  107.                     if(isNext(now)){
  108.                         //判断符合条件并且和前一种运输状况不同
  109.                         if(tail.back!=null && !check(now,tail.back)){
  110.                             tail.next=now;
  111.                             now.back=tail;
  112.                             tail=tail.next;
  113.                             flag=true;
  114.                             break;
  115.                         }else if(tail.back==null){
  116.                             //如果刚开始就直接连在链表末尾,(下同)
  117.                             tail.next=now;
  118.                             now.back=tail;
  119.                             tail=tail.next;
  120.                             flag=true;
  121.                             break;
  122.                         }
  123.                     }
  124.                 }
  125.                 if(flag){
  126.                     flag=false;
  127.                     break;
  128.                 }
  129.             }
  130.             //把船上的人都放到右岸,形成一个节点
  131.             now=new Man();
  132.             copyNode(now,tail);
  133.             now.right_church += now.boat_church;
  134.             now.right_wild += now.boat_wild;
  135.             now.boat_church=0;
  136.             now.boat_wild=0;
  137.             tail.next=now;
  138.             now.back=tail;
  139.             tail=tail.next;
  140.             //寻找从右岸上船的各种情况
  141.             now=new Man();
  142.             for(int i=0;i<=num;i++){
  143.                 for(int j=0;j<=num-i;j++){
  144.                     copyNode(now,tail);
  145.                     now.right_church -= i;
  146.                     now.right_wild -= j;
  147.                     now.boat_church += i;
  148.                     now.boat_wild += j;
  149.                     if(isNext(now)){
  150.                         //判断符合条件并且和前一种状况不同
  151.                         if(tail.back!=null && !check(now,tail.back)){
  152.                             tail.next=now;
  153.                             now.back=tail;
  154.                             tail=tail.next;
  155.                             flag=true;
  156.                             break;
  157.                         }else if(tail.back==null){
  158.                             tail.next=now;
  159.                             now.back=tail;
  160.                             tail=tail.next;
  161.                             flag=true;
  162.                             break;
  163.                         }
  164.                     }
  165.                 }
  166.                 if(flag){
  167.                     flag=false;
  168.                     break;
  169.                 }
  170.             }
  171.             //把船上的人都放到左岸,形成一个节点
  172.             now=new Man();
  173.             copyNode(now,tail);
  174.             now.left_church += now.boat_church;
  175.             now.left_wild += now.boat_wild;
  176.             now.boat_church=0;
  177.             now.boat_wild=0;
  178.             tail.next=now;
  179.             now.back=tail;
  180.             tail=tail.next;
  181.             //如果左岸全没人了,跳出这层循环
  182.             if(tail.left_church==0 && tail.left_wild==0){
  183.                 now=new Man();
  184.                 copyNode(now,tail);
  185.                 now.right_church += now.boat_church;
  186.                 now.right_wild += now.boat_wild;
  187.                 now.boat_church=0;
  188.                 now.boat_wild=0;
  189.                 tail.next=now;
  190.                 now.back=tail;
  191.                 tail=tail.next;
  192.                 break;
  193.             }
  194.         }
  195.         //初始状态
  196.         tail=obj;
  197.         System.out.println(tail.left_church+” ”+tail.left_wild+”—–”+
  198.                 tail.boat_church+” ”+tail.boat_wild+”—–”+tail.right_church+” ”+tail.right_wild);
  199.         tail=tail.next;
  200.         //遍历Man链表,显示运输过程
  201.         flag=true;
  202.         int count=0;
  203.         while(tail!=null){
  204.             count++;
  205.             //划船过河
  206.             if(flag){
  207.                 if(count%2==0)
  208.                     flag=!flag;
  209.                 System.out.println(tail.left_church+” ”+tail.left_wild+”—->”
  210.                         +tail.boat_church+” ”+tail.boat_wild+”—->”+tail.right_church+” ”+tail.right_wild);
  211.             }else{//返回划船
  212.                 if(count%2==0)
  213.                     flag=!flag;
  214.                 System.out.println(tail.left_church+” ”+tail.left_wild+”<—-”
  215.                         +tail.boat_church+” ”+tail.boat_wild+”<—-”+tail.right_church+” ”+tail.right_wild);
  216.             }
  217.             tail=tail.next;
  218.         }
  219.     }
  220.     public static void main(String[] args){
  221.         ManAcrossRiver mar=new ManAcrossRiver();
  222.         Man initMan = mar.new Man();
  223.         Scanner scn=new Scanner(System.in);
  224.         System.out.println(“input the number of wildman or churchman:”);
  225.         int manCount=scn.nextInt();
  226.         initMan.left_wild=initMan.left_church=manCount;
  227.         System.out.println(“input the number of once across by boat:”);
  228.         int boatMaxCount=scn.nextInt();
  229.         mar.acrossRiver(initMan, boatMaxCount);
  230.     }
  231.     /**
  232.      * 结果:
  233.      *  input the number of wildman or churchman:
  234.      *  3
  235.      *  input the number of once across by boat:
  236.      *  2
  237.      *  左岸              船上             右岸
  238.      *  3 3—–0 0—–0 0
  239.      *  3 1—->0 2—->0 0
  240.      *  3 1—->0 0—->0 2
  241.      *  3 1<—-0 1<—-0 1
  242.      *  3 2<—-0 0<—-0 1
  243.      *  3 0—->0 2—->0 1
  244.      *  3 0—->0 0—->0 3
  245.      *  3 0<—-0 1<—-0 2
  246.      *  3 1<—-0 0<—-0 2
  247.      *  1 1—->2 0—->0 2
  248.      *  1 1—->0 0—->2 2
  249.      *  1 1<—-1 1<—-1 1
  250.      *  2 2<—-0 0<—-1 1
  251.      *  0 2—->2 0—->1 1
  252.      *  0 2—->0 0—->3 1
  253.      *  0 2<—-0 1<—-3 0
  254.      *  0 3<—-0 0<—-3 0
  255.      *  0 1—->0 2—->3 0
  256.      *  0 1—->0 0—->3 2
  257.      *  0 1<—-0 1<—-3 1
  258.      *  0 2<—-0 0<—-3 1
  259.      *  0 0—->0 2—->3 1
  260.      *  0 0—->0 0—->3 3
  261.      */
  262. }