HDU：1997 汉诺塔VII（规律||递归）

汉诺塔VII

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 65536/32768 K (Java/Others)
Total Submission(s): 1532    Accepted Submission(s): 1006

Problem Description

n个盘子的汉诺塔问题的最少移动次数是2^n-1,即在移动过程中会产生2^n个系列。由于发生错移产生的系列就增加了，这种错误是放错了柱子，并不会把大盘放到小盘上，即各柱子从下往上的大小仍保持如下关系 ： 
n=m+p+q
a1>a2>...>am
b1>b2>...>bp
c1>c2>...>cq
ai是A柱上的盘的盘号系列，bi是B柱上的盘的盘号系列， ci是C柱上的盘的盘号系列，最初目标是将A柱上的n个盘子移到C盘. 给出1个系列，判断它是否是在正确的移动中产生的系列.
例1：n=3
3
2
1
是正确的
例2：n=3
3
1
2
是不正确的。
注：对于例2如果目标是将A柱上的n个盘子移到B盘. 则是正确的.

 

Input

包含多组数据，首先输入T,表示有T组数据.每组数据4行，第1行N是盘子的数目N<=64.
后3行如下
m a1 a2 ...am
p b1 b2 ...bp
q c1 c2 ...cq
N=m+p+q,0<=m<=N,0<=p<=N,0<=q<=N,

 

Output

对于每组数据，判断它是否是在正确的移动中产生的系列.正确输出true，否则false 

 

Sample Input

  
  

   
   6
3
1 3
1 2
1 1
3
1 3
1 1
1 2
6
3 6 5 4
1 1
2 3 2
6
3 6 5 4
2 3 2
1 1
3
1 3
1 2
1 1
20
2 20 17
2 19 18
16 16 15 14 13 12 11 10 9 8 7 6 5 4 3 2 1
  
  

 

Sample Output

  
  

   
   true
false
false
false
true
true
  
  

 

Author

Zhousc@ECJTU

 

Source

ECJTU 2008 Spring Contest

 

Recommend

lcy   |   We have carefully selected several similar problems for you:   1995  1996  2511  2175  2184 

题目大意：

汉诺塔：有三根柱子，一堆盘子在柱子A上摞着，将其全部移到柱子C上，且每次只能移动一个盘子，并且时刻保持着小盘子在大盘子上面。

本题目验证移动过程中，是否存在电脑所输入的某状态，如果存在的话就输出true，不存在的话就输出false。

解题思路：

对一个含有n个盘子，从A柱移动到C柱借助B柱的汉诺塔，第n个盘子移动到C柱过程是这样子的：首先将其余的n-1个盘子移动到B柱，然后第n个盘子直接移动到C柱。在这过程中，第n个盘子只出现在A柱和C柱两个柱子上，也即第n个盘子不可能出现在B柱上。 因此对于当前移动的盘子，只需检查其所在的柱子是否符合这个要求，如果出现在B柱上，则显然进入了错误移动中。这是本题求解思想精髓所在。 汉诺塔是个递归求解过程，假设第n个盘子符合要求，则判别的下一个目标是第n-1个盘子。若第n个盘子在A柱上，此时剩余n-1个盘子必由A柱移动到B柱，经由C柱。此时对第n-1个盘子，C柱就是其不可能出现的位置；若第n个盘子在C住上，这剩余n-1个盘子则是在B柱上，经由A柱，移动到C柱上，因此，A柱就是第n-1个盘子不可能出现的位置。
所以，第n个盘子出现在A柱或C柱上，当第n个盘子出现在A柱上时，第n-1个盘子在A（初始的状态）上或B上，当第n个盘子出现在C上时，第n-1个盘子出现在C（成功转移后的状态）上或B上。

于是，我总结了下面这张图：

很容易能发现这个规律：

代码如下：

#include <stdio.h>
int main()
{
	int t;
	scanf("%d",&t);
	while(t--)
	{
		int a[70];//标记第i个盘子在第根柱子上面 
		int n;
		scanf("%d",&n);
		for(int i=1;i<=3;i++)
		{
			int x,w;
			scanf("%d",&x);
			for(int j=0;j<x;j++)
			{
				scanf("%d",&w);
				a[w]=i;
			}
		}
		int cnt=1;//记录多少个盘子在它应该放的柱子上 
		//**************************************初始化last（上一代所在的柱子）和pang（上一代所在柱子的另一种可能，即旁系） 
		int last=a[n];
		int pang;
		if(last==2)
		{
			printf("false\n");
			continue;
		}
		if(last==1)
		{
			pang=3;
		}
		if(last==3)
		{
			pang=1;
		}
		//***************************************初始化结束 
		for(int i=n-1;i>=1;i--)//接下来就扫这些盘子是否符合上图的规律，符合的话cnt+1； 这里用1、2、3代替那个A、B、C柱子 
		{
			if(last==1)
			{
				if(pang==2)
				{
					if(a[i]==1||a[i]==3)
					cnt++;
					last=a[i];
					if(last==1)
					{
						pang=3;
					}
					if(last==3)
					{
						pang=1;
					}
					continue;
				}
				if(pang==3)
				{
					if(a[i]==1||a[i]==2)
					cnt++;
					last=a[i];
					if(last==1)
					{
						pang=2;
					}
					if(last==2)
					{
						pang=1;
					}
					continue;
				}
			}
			if(last==3)
			{
				if(pang==1)
				{
					if(a[i]==2||a[i]==3)
					cnt++;
					last=a[i];
					if(last==2)
					{
						pang=3;
					}
					if(last==3)
					{
						pang=2;
					}
					continue;
				}
				if(pang==2)
				{
					if(a[i]==1||a[i]==3)
					cnt++;
					last=a[i];
					if(last==1)
					{
						pang=3;
					}
					if(last==3)
					{
						pang=1;
					}
					continue;
				}
			}
			if(last==2)
			{
				if(pang==1)
				{
					if(a[i]==2||a[i]==3)
					cnt++;
					last=a[i];
					if(last==2)
					{
						pang=3;
					}
					if(last==3)
					{
						pang=2;
					}
					continue;
				}
				if(pang==3)
				{
					if(a[i]==1||a[i]==2)
					cnt++;
					last=a[i];
					if(last==1)
					{
						pang=2;
					}
					if(last==2)
					{
						pang=1;
					}
					continue;
				}
			}
		}
		if(cnt==n)
		{
			printf("true\n");
		}
		else
		{
			printf("false\n");
		}
	}
	return 0;
}