蓝桥杯2012 第五题搜索题

/*
  “数独”是当下炙手可热的智力游戏。一般认为它的起源是“拉丁方块”，是大数学家欧拉于1783年发明的。

    如图[1.jpg]所示：6x6的小格被分为6个部分（图中用不同的颜色区分）,每个部分含有6个小格（以下也称为分组）。
    
    开始的时候，某些小格中已经填写了字母（ABCDEF之一）。需要在所有剩下的小格中补填字母。

    全部填好后，必须满足如下约束：

    1. 所填字母只允许是A,B,C,D,E,F 中的某一个。

    2. 每行的6个小格中，所填写的字母不能重复。

    3. 每列的6个小格中，所填写的字母不能重复。

    4. 每个分组（参见图中不同颜色表示）包含的6个小格中，所填写的字母不能重复。

    为了表示上的方便，我们用下面的6阶方阵来表示图[1.jpg]对应的分组情况（组号为0~5）：
    000011
    022013
    221113
    243333
    244455
    445555
 
    用下面的数据表示其已有字母的填写情况：
    02C
    03B
    05A
    20D
    35E
    53F

    很明显，第一列表示行号，第二列表示列号，第三列表示填写的字母。行号、列号都从0开始计算。

    一种可行的填写方案（此题刚好答案唯一）为：

    E F C B D A
    A C E D F B
    D A B E C F
    F B D C A E
    B D F A E C
    C E A F B D

    你的任务是：编写程序，对一般的拉丁方块问题求解，如果多解，要求找到所有解。

   【输入、输出格式要求】

    用户首先输入6行数据，表示拉丁方块的分组情况。

    接着用户输入一个整数n (n<36), 表示接下来的数据行数

    接着输入n行数据，每行表示一个预先填写的字母。

    程序则输出所有可能的解（各个解间的顺序不重要）。

    每个解占用7行。

    即，先输出一个整数，表示该解的序号（从1开始），接着输出一个6x6的字母方阵，表示该解。

    解的字母之间用空格分开。

    如果找不到任何满足条件的解，则输出“无解”
*/

#include<iostream>
#include<string.h>
using namespace std;
int n,k,q,w,nn;
int casemq;
int maps[6][6];   //存储相对位置
int visi[6][6];
int mapss[6][6];   //存储绝对位置

void output()
{
	casemq++;
	cout<<casemq<<endl;
    int i,j;
	for(i=0;i<6;i++)
	{
	    for(j=0;j<5;j++)
		{
		   char a='A';
		   a+=visi[i][j]-1;
		   cout<<a<<" ";
		}
		char a='A';
		a+=visi[i][5]-1;
		cout<<a<<endl;
	}
}

void dfs(int i,int j,int step)
{
	int k;
    if(step==35-n)
	{
	       int p=maps[i][j];
		   int a[7]={0,1,2,3,4,5,6};
           for(k=0;k<6;k++)
		   {
			  a[visi[i][k]]=0;
			  a[visi[k][j]]=0;
			  a[visi[mapss[p][k]/6][mapss[p][k]%6]]=0;
		   }
        
		   for(k=0;k<=6;k++)
			 if(a[k])
			 {
				visi[i][j]=a[k];
				output();
			}
	   	return;
	}

	   if(!visi[i][j])
	   {
	    int p=maps[i][j];
		int a[7]={0,1,2,3,4,5,6};
        for(k=0;k<6;k++)
		{
			a[visi[i][k]]=0;                //同一行不能相同
			a[visi[k][j]]=0;                //同一列不能相同
			a[visi[mapss[p][k]/6][mapss[p][k]%6]]=0;    //同一区域不能相同
		}

		for(k=0;k<=6;k++)
			if(a[k])
			{
				visi[i][j]=a[k];
				for(q=0;q<6;q++)
				{
					int flag1=0;
					for(w=0;w<6;w++)
						if(!visi[q][w])
						{
							flag1=1;
							break;
						}
				    if(flag1)
						break;
				}
				dfs(q,w,step+1);
			    visi[i][j]=0;       //回溯。
				visi[q][w]=0;       //回溯的思想，如果前面使用了，在dfs之后一定记得改回来。
			}
	   }
	 //回溯
     visi[i][j]=0;
     return;
}

int main()
{
   int i,j; 
   char a[6];
   while(cin>>a)
   {
	  casemq=0;
      for(i=0;i<6;i++)
		  maps[0][i]=a[i]-'0';
	  for(i=1;i<6;i++)
	  {
	      cin>>a;
		  for(j=0;j<6;j++)
			  maps[i][j]=a[j]-'0';
	  }

	  int l=0;
	  while(l<6)
	  {
		  int k=-1;
		  for(i=0;i<6;i++)
			  for(j=0;j<6;j++)
				  if(maps[i][j]==l)
					  mapss[l][++k]=i*6+j;
		  l++;
	  }
	  
	  /*for(i=0;i<6;i++)
	  {
		  for(j=0;j<6;j++)
			  cout<<maps[i][j]<<" ";         //maps用于存放开始输入的拉丁方块分组矩阵
		  cout<<endl;
	  }*/
	  /*for(i=0;i<6;i++)
	  {
		  for(j=0;j<6;j++)
			  cout<<mapss[i][j]<<" ";       //mapss将maps分类，mapss[0]存放的是所有都为0的绝对位置，等到取的时候再模6，对6取余找出在矩阵中的位置
		  cout<<endl;
	  }*/
	  cin>>nn;           
      n=nn;
	  memset(visi,0,sizeof(visi));
	  while(nn--)           //大坑啊，怪不得老是到了23就停止了，原来是把n减小了。
	  {
	     cin>>a;
		 visi[a[0]-'0'][a[1]-'0']=a[2]-'A'+1;
	  }
	  /*for(i=0;i<6;i++)
	  {
		  for(j=0;j<6;j++)
			  cout<<visi[i][j]<<" ";       //visi为1-6表示存放的为A-F，visi为0则表示未放置
		  cout<<endl;
	  }*/
      for(i=0;i<6;i++)
	  {
		  int flag=0;
		  for(j=0;j<6;j++)
		     if(!visi[i][j])
			  {
			      flag=1;
				  break;
			  }
		  if(flag)
			  break;
	  }
	  dfs(i,j,0);
	  if(casemq==0)
		  cout<<"无解"<<endl;
   }
   return 0;
}