洛谷P1784数独（递归+搜索）

数独

题目描述

数独是根据 $9\times 9$ 盘面上的已知数字，推理出所有剩余空格的数字，并满足每一行、每一列、每一个粗线宫内的数字均含 $1-9$ ，不重复。每一道合格的数独谜题都有且仅有唯一答案，推理方法也以此为基础，任何无解或多解的题目都是不合格的。

芬兰一位数学家号称设计出全球最难的“数独游戏”，并刊登在报纸上，让大家去挑战。

这位数学家说，他相信只有“智慧最顶尖”的人才有可能破解这个“数独之谜”。

据介绍，目前数独游戏的难度的等级有一到五级，一是入门等级，五则比较难。不过这位数学家说，他所设计的数独游戏难度等级是十一，可以说是所以数独游戏中，难度最高的等级。他还表示，他目前还没遇到解不出来的数独游戏，因此他认为“最具挑战性”的数独游戏并没有出现。

输入格式

一个未填的数独。

输出格式

填好的数独。

样例 #1

样例输入 #1

8 0 0 0 0 0 0 0 0 
0 0 3 6 0 0 0 0 0 
0 7 0 0 9 0 2 0 0 
0 5 0 0 0 7 0 0 0 
0 0 0 0 4 5 7 0 0 
0 0 0 1 0 0 0 3 0 
0 0 1 0 0 0 0 6 8 
0 0 8 5 0 0 0 1 0 
0 9 0 0 0 0 4 0 0

样例输出 #1

8 1 2 7 5 3 6 4 9 
9 4 3 6 8 2 1 7 5 
6 7 5 4 9 1 2 8 3 
1 5 4 2 3 7 8 9 6 
3 6 9 8 4 5 7 2 1 
2 8 7 1 6 9 5 3 4 
5 2 1 9 7 4 3 6 8 
4 3 8 5 2 6 9 1 7 
7 9 6 3 1 8 4 5 2

提示

2022-04-17 @farteryhr 贡献了三组 hack 数据。加入了其中两组。第三组过强（来源：https://www.dcc.fc.up.pt/~acm/sudoku.pdf），放在下边供自测。

9 0 0 8 0 0 0 0 0
0 0 0 0 0 0 5 0 0 
0 0 0 0 0 0 0 0 0 
0 2 0 0 1 0 0 0 3
0 1 0 0 0 0 0 6 0
0 0 0 4 0 0 0 7 0
7 0 8 6 0 0 0 0 0 
0 0 0 0 3 0 1 0 0 
4 0 0 0 0 0 2 0 0 

输出

9 7 2 8 5 3 6 1 4 
1 4 6 2 7 9 5 3 8 
5 8 3 1 4 6 7 2 9 
6 2 4 7 1 8 9 5 3 
8 1 7 3 9 5 4 6 2 
3 5 9 4 6 2 8 7 1 
7 9 8 6 2 1 3 4 5 
2 6 5 9 3 4 1 8 7 
4 3 1 5 8 7 2 9 6 

思路：
遍历每一位，如果没有数字，填充数字，再标记。

递归思路：
这个递归的层数不是一定的，因为我们只需要填充没有数字的那一位，所以有多少个没被填充的数字位数，就有多少层。

标记:
这个题比较难的一点就是标记了。首先，因为我们在遍历时，每个位置都有1~9个数字，所以不能用一维数组，要定义一个二维数组。（一个标记行列，另一个标记数字）。
行标记：f数组。f[行数][数字]。
列标记：l数组。l[列数][数字]。
九宫格标记：fx数组。fx[第几个九宫格][数字]。
行数，列数都很容易标记。但九宫格没办法判断在第几个九宫格。
判断在第几个九宫：（行数-1）/3*3+（列数-1）/3+1
注意！行数列数要-1，因为3的整数倍数/3会比原方阵大1。
递归边界：
遍历完九宫格后，将所有数字都填充好输出。

遍历顺序：
这里是行优先（其实列也可以）。

画的有些狂野哈，各位列官呢，凑活着看吧，能看懂就行，反正不重要哈。
注意：因为输入时有数字，所以输入时也要写标记。
那么该讲都的讲完了，总结一下：
先出入，在判断，填充，标记，删除，最后输出。
核心代码：

void dfg(int x,int y)
{
	if(a[x][y]!=0)//a数组即需要填充的数组。
	{
		if(x==9&&y==9)
		{
			out();
		} 
		else if(y==9)//该行已经遍历完，搜索下一行！
		{
			dfg(x+1,1);
		}
		else 
		{
			dfg(x,y+1);
		}
	} 
	else
	{
		for(int i=1;i<=9;i++)//遍历可能要填的九个数字
		{
			if(f[x][i]==0&&l[y][i]==0&&fx[(x-1)/3*3+(y-1)/3+1][i]==0)//判断是否标记。
			{
				f[x][i]=1;
				l[y][i]=1;
				fx[(x-1)/3*3+(y-1)/3+1][i]=1;
				a[x][y]=i;
				if(x==9&&y==9)
				{
					out();//一个输出数组
				}
				else if(y==9)
				{
					dfg(x+1,1);
				}
				else
				{
					dfg(x,y+1);
				}
				f[x][i]=0;
				l[y][i]=0;
				fx[(x-1)/3*3+(y-1)/3+1][i]=0;
				a[x][y]=0;//一定要删除标记！
			}
		}
	}
}

我在代码里标注的很少，具体上面已经讲过了，不懂的地方把鼠标滚轮放上翻就行了，我不多说了。
整体代码：

#include<bits/stdc++.h>
using namespace std;
int a[10][10],m,n,f[10][10],l[15][15],fx[15][15];
void out()
{
	for(int i=1;i<=9;i++)
	{
		for(int j=1;j<=9;j++)
		{
			cout<<a[i][j]<<" ";
		}
		cout<<endl; 
	}
	exit(0);
}
void dfg(int x,int y)
{
	if(a[x][y]!=0)
	{
		if(x==9&&y==9)
		{
			out();
		} 
		else if(y==9)
		{
			dfg(x+1,1);
		}
		else 
		{
			dfg(x,y+1);
		}
	} 
	else
	{
		for(int i=1;i<=9;i++)
		{
			if(f[x][i]==0&&l[y][i]==0&&fx[(x-1)/3*3+(y-1)/3+1][i]==0)
			{
				f[x][i]=1;
				l[y][i]=1;
				fx[(x-1)/3*3+(y-1)/3+1][i]=1;
				a[x][y]=i;
				if(x==9&&y==9)
				{
					out();
				}
				else if(y==9)
				{
					dfg(x+1,1);
				}
				else
				{
					dfg(x,y+1);
				}
				f[x][i]=0;
				l[y][i]=0;
				fx[(x-1)/3*3+(y-1)/3+1][i]=0;
				a[x][y]=0;
			}
		}
	}
}
int main()
{
	for(int i=1;i<=9;i++)
	{
		for(int j=1;j<=9;j++)
		{
			cin>>a[i][j];
			if(a[i][j]!=0)
			{
				f[i][a[i][j]]=1;
				l[j][a[i][j]]=1;
				fx[(i-1)/3*3+(j-1)/3+1][a[i][j]]=1;
			}
		}
	}
	dfg(1,1);//从第一行第一列开始搜索。
    return 0;
}

这里有个很重要的点，就是可能会超时，但题目说了“每一道合格的数独谜题都有且仅有唯一答案”。所以当我们找到答案时，输出后，直接用exit（0）全部结束就行了。这样就不会担心超时了。

没毛病！没问题！成功AC！废话不多说，我先退为敬！