问题 F: 数独游戏

题目描述
芬兰数学家因卡拉，花费3个月时间设计出了世界上迄今难度最大的数独游戏，而且它只有一个答案。因卡拉说只有思考能力最快、头脑最聪明的人才能破解这个游戏。这是英国《每日邮报》2012年6月30日的一篇报道。
作为Acmer的你，能写一个程序解决所有的数独问题吗？

世界上迄今难度最大的数独游戏：

输入

本题包含多组测试。每组测试会给你一个 9*9 的矩阵，同一行相邻的两个元素用一个空格分开。其中1-9代表该位置的已经填好的数，问号（?）表示需要你填的数。

输出

对于每组测试，请输出它的解，同一行相邻的两个数用一个空格分开。两组解之间要一个空行。 如果有多种答案，输出任意一种即可!

样例输入 Copy

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

样例输出 Copy

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

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

思路

这题和N皇后类似，先定义一个棋盘，但由于棋子是输入的所以不需要初始化函数，直接输入进即可，然后写检查函数，行列写好后难点在于3x3的小方格，通过画图的形式可推出他的x轴和y轴均满足x/3*3的规律，然后写dfs函数，只执行棋子是空缺的部分，要注意棋盘定义的是字符型，所以数值循环也是char型的，难点再于回溯的时候会将满足条件的棋子也回溯掉，所以将dfs函数定义成逻辑型的，当满足true时不进行回溯操作，最后输出即可。题目要求输出后有一行空行，所以应换行两次。

AC代码

#include <cstdio>
#include <iostream>
using namespace std;
char mp[9][9];
bool check(int x,int y,char k){
	for(int i=0;i<9;i++){
		if(mp[x][i]==k){
			return false;
		}
	}
	for(int i=0;i<9;i++){
		if(mp[i][y]==k){
			return false;
		}
	}
	for(int i=x/3*3;i<x/3*3+3;i++){
		for(int j=y/3*3;j<y/3*3+3;j++){
			if(mp[i][j]==k){
				return false;
			}
		}
	}
	return true;
}
bool dfs(){
	for(int i=0;i<9;i++){
		for(int j=0;j<9;j++){
			if(mp[i][j]!='?'){
				continue;
			}else{
				for(char k='1';k<='9';k++){
					if(check(i,j,k)){
						mp[i][j]=k;
						if(dfs()){
							return true;
						}else{
							mp[i][j]='?';
						}
					}
				}
				return false;
			}
		}
	}
	return true;
}
int main(){
	while(cin>>mp[0][0]){
		for(int i=0;i<9;i++){
			for(int j=0;j<9;j++){
				if(i==0&&j==0){
					continue;
				}
				cin>>mp[i][j];
			}
		}
		dfs();
		for(int i=0;i<9;i++){
			for(int j=0;j<9;j++){
				cout<<mp[i][j];
				if(j!=8){
					cout<<" ";
				}
			}
			cout<<endl;
		}
		cout<<endl;
	}
	return 0;
}