实验二 Hanoi塔问题.docVIP

实验二 递归程序设计 一、实验目的 1、理解PROLOG编制递归程序的方法：边界条件与递归部分的设计； 2、熟悉运用递归分析、解决问题的方法。 二、实验内容及步骤 （一)Hanoi塔问题：  如上图，目的是把左边的所有盘子移到右边的杆子上。一次只能移动一个盘子，可以使用中间的杆子作为临时存放盘子的地方。小盘子必须放在大盘子之上。用递归来解决这个问题如果只有一个盘子，直接移过去就行了，这是递归的边界条件。如果要移动N个盘子，就要分三步走：把N-1个盘子移动到中间的杆子上（把右边的杆子作为临时存放盘子的位置）把最后一个盘子直接移到右边的杆子上。最后把中间杆子上的盘子移到右边的杆子上（把左边的杆子作为临时存放盘子的位置）。上面第一、三步用到了递归。我们看到，通过递归把N个盘子的问题变成了两个N-1个盘子的问题。如此下去，最后就变成了个一个盘子的问题了，这也就是说问题被解决了。Prolog代码： hanoi(N):- move(N,left,middle,right). move(1,A,_,C):- inform(A,C), !. {! 为cut操作，截断进一步搜索} move(N,A,B,C):- N1 is N-1, move(N1,A,C,B), inform(A,C), move(N1,B,A,C). inform(Loc1, Loc2):- nl, write(“Move a disk from” Loc1 “to”Loc2). ？- hanoi(3). 主程序为hanoi，它的参数为盘子的数目。它调用递归谓词move来完成任务。三个杆子的名字分别为left、middle、right。第一个move子句是边界情况，即只有一个盘子时，直接调用inform显示移动盘子的方法。后面使用cut，是因为：如果只有一个盘子，就是边界条件，无需再对第二条子句进行匹配了。第二个move子句为递归调用，首先把盘子数目减少一个，再递归调用move，把N-1个盘子从A杆通过C杆移到B杆，再把A杆上的最后一个盘子直接从A杆移到C杆上，最后再递归调用move，把B杆上的N-1个盘子通过A杆移到C杆上。这里的杆子都是使用变量来代表的，A、B、C杆可以是left、middle、right中的任何一个，这是在移动的过程中决定的。inform，把移动过程通过write谓词写出#includestdio.h void hanoi(int n,char A,char B,char C) { if(n==1) printf(Move disk %d from %c to %c\n,n,A,C); else { hanoi(n-1,A,C,B); printf(Move disk %d from %c to %c\n,n,A,C); hanoi(n-1,B,A,C); } } main() { int n; printf(Enter n:\n); scanf(%d,n); hanoi(n,A,B,C); getch(); } （二)井字游戏。 在一个3×3的空棋盘（图(a)）上，对弈对方（X和O）轮流落下棋子，先占据一条直线者（行、列、对角线均可）为胜者。站在O方立场上，找出当前棋盘上的危险点。如图（b），O方的危险点是正中间点，即“5”号位置。 分析：解决问题的思路是把实际问题进行抽象，寻找数学模型。如何描述棋盘呢？如图 (c)所示，可对棋盘进行编号，整个棋盘共有8条直线，每条直线上三个数字，如1、2、3，1、5、9等。在某个棋局下，对每条直线逐一地进行考查，看在其中是否有危险点，如有就马上指出而终止。 井字游戏Prolog代码： DOMAINS int=integer. intlist=int*. charlist=char*. PREDICATES aline(intlist) forced_move(charlist,int) threatening(intlist,charlist,int) empty(int,charlist) cross(int,charlist) arg(int,charlist,char) arg1(int,charlist,int,char) go(int) CLAUSES aline([1,2,3]). aline([4,5,6]). aline([7,8,9]). aline([1,4,5]). aline([2,5,8]). aline(