蓝桥杯 方块填数 DFS搜索

    “数独”是当下炙手可热的智力游戏。一般认为它的起源是“拉丁方块”，是大数学家欧拉于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的字母方阵，表示该解。


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


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


    例如：用户输入：
000011
022013
221113
243333
244455
445555
6
02C
03B
05A
20D
35E
53F


    则程序输出：
1
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


   再如，用户输入：
001111
002113
022243
022443
544433
555553
7
04B
05A
13D
14C
24E
50C
51A
    则程序输出：
1
D C E F B A
E F A D C B
A B F C E D
B E D A F C
F D C B A E
C A B E D F
2
D C E F B A
E F A D C B
A D F B E C
B E C A F D
F B D C A E
C A B E D F
3
D C F E B A
A E B D C F
F D A C E B
B F E A D C
E B C F A D
C A D B F E
4
D C F E B A
B E A D C F
A D C F E B
F B E A D C
E F B C A D
C A D B F E
5
D C F E B A
E F A D C B
A B C F E D
B E D A F C
F D B C A E
C A E B D F
6
D C F E B A
E F A D C B
A B D F E C
B E C A F D
F D B C A E
C A E B D F
7
D C F E B A
E F A D C B
A D B F E C
B E C A F D
F B D C A E
C A E B D F
8
D C F E B A
F E A D C B
A D B C E F
B F E A D C
E B C F A D
C A D B F E
9
D C F E B A
F E A D C B
A F C B E D
B D E A F C
E B D C A F
C A B F D E

个人感觉，这是一道比较有含量的DFS搜索题目，因为DFS的关键是要找到一个递归关系出来，放到图上就是从什么时候开始，下一个要访问的地方又在哪里，这也是本题的难点之一，下面分析一下：

一、首先，如果要是搜索图，我们必须知道下一步（第一步）要搜索什么地方，观察题目，可以看出，题目中要求填完之后每行每列每个区域内的字母都不相同，很明显，如果一行（一列）中的字母越多，那么我们越容易确定剩下的地方该填入什么字母，基于这个出发点，我们约定，程序每次都会寻找这样一个点：它所在的行和所在的列中的字母数量之和最多，并且这个位置还是空的，这样的位置可能不止一个，那我们取第一个遇到的。为了完成这个运算，我们设置hor[]和ver[]两个数组分别记录每一行和每一列所含字母的个数。

二、当找到要填入字母的位置后，我们又会遇到一个新的问题，这个位置到底能填入哪些字母呢？根据题意，我们先设置一个标志位useful[]，表示A-F六个字母哪个是可用的，然后分别对这个点所在的行，所在的列和所在的区域进行扫描，只要是出现过的字母，自然就不能再次出现了。这里说一下扫描区域的方法：因为题目给出的数据对于区域的描述是用0-5六个数字标记的，我们要利用这个特点，设置一个数组

area_used[i][j]，表示第i个区域中j+'A'这个字母是否是用过，利用这个数组，我们就可以很方便的对每个区域中所含字母的情况进行统计了

三、当找到了位置，找到了哪些可以填入的字母，就可以进行递归填字母了，每次填完一个字母，就进入下一层递归，递归的出口是所有字母的数量，当达到36的时候自然就找到了一组符合题目要求的解。

#include<iostream>
#include<memory.h>
#include<stdio.h>
using namespace std;
char map[6][6];//存储区域分布的那组数据 
char result[6][6];//存储最终结果，里面是字母 
int hor[6],ver[6];//存储每行和每列中所含字母的数量 
int last,cas;//存储还剩下几个字母要填，以及解的数量 
bool area_used[6][6];//标志每个区域中是否所含某个字母 area_used[i][j]=true标志第i个区域含有j+'A'这个字母 

void getMap()//输入数据 
{
	char pre_word[3],t;
	int i,r,c,n;
	for(i=0;i<6;i++)
	cin>>map[i];
	cin>>n;
	for(i=0;i<n;i++)
	{
		cin>>pre_word;
		r=pre_word[0]-'0';
		c=pre_word[1]-'0';
		t=pre_word[2];
		ver[c]++;
		hor[r]++;
		result[r][c]=t;
		area_used[map[r][c]][t-'A']=true;
		last--;
	}
	
}

void init()//初始化 
{
	memset(map,0,sizeof(map));
	memset(result,'*',sizeof(result));
	memset(hor,0,sizeof(hor));
	memset(ver,0,sizeof(ver));
	memset(area_used,false,sizeof(area_used));
	last=36;
	cas=0;
	for(int i=0;i<6;i++)
	result[i][6]='\0';
}

void showResult()//输出结果 
{
	int i,j;
	cout<<cas<<endl;
	for(i=0;i<6;i++)
	{
		for(j=0;j<6;j++)
		{
			cout<<result[i][j];
			if(j<5)
			cout<<' ';
		}
		cout<<endl;
	}
}

void search()//DFS搜索 
{
	if(last==0)//递归出口 
	{
		cas++;
		showResult();
		return;
	}
	bool useful[6];//标识A-F六个字母哪个可以使用 
	int i,j,r,c,max;
	max=-1;
	memset(useful,true,sizeof(useful));
	last--;
	for(i=0;i<6;i++)//寻找适合填入字母的坐标 
	{
		if(hor[i]<6)
		{
			for(j=0;j<6;j++)
			{
					if(hor[i]+ver[j]>max&&result[i][j]=='*')
					{
						max=hor[i]+ver[j];
						r=i;
						c=j;
					}
			}
		}
		
	}
	hor[r]++;
	ver[c]++;
	for(i=0;i<6;i++)//查找这个位置可以填入哪些字母 
	{
		if(result[r][i]>='A'&&result[r][i]<='Z')
		useful[(int)(result[r][i]-'A')]=false;
		if(result[i][c]>='A'&&result[i][c]<='Z')
		useful[(int)(result[i][c]-'A')]=false;
		if(area_used[map[r][c]][i]==true)
		useful[i]=false;
	}
	
	for(i=0;i<6;i++)//循环将可以填入的字母分别尝试填入 
	{
		if(useful[i]==true)//隐含的递归出口，如果这个位置不能填入任何字母，那么递归终止 
		{
			result[r][c]=(char)(i+'A');		
			area_used[map[r][c]][i]=true;
			search();
			area_used[map[r][c]][i]=false;//回溯，将区域中填入的字母去掉 
		}
	}
	hor[r]--;
	ver[c]--;
	result[r][c]='*';//结果矩阵中填入的字母去掉 
	last++;
	
	
}
int main()
{
	init();
	getMap();
	search();
	return 0;
}