题目描述
芬兰数学家因卡拉，花费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
样例输出
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

总结：这题数独在我印象里是感觉是最难理解的，一直以来都不怎么会做数独，学习了DFS后发现好多题目都能写了

代码

#include<bits/stdc++.h>
using namespace std;
char s[10][10];
int k=0;
bool check(int x,int y,char k){for(int i=0;i<9;i++){if(s[x][i]==k){return false;}}for(int i=0;i<9;i++){if(s[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(s[i][j]==k){return false;}}}return true;
} 
bool dfs(){for(int i=0;i<9;i++){for(int j=0;j<9;j++){if(s[i][j]!='?'){continue;}else{for(char k='1';k<='9';k++){if(check(i,j,k)){s[i][j]=k;if(dfs()){return true;}else{s[i][j]='?';}}}return false;}}}return true;
}
int main(){while(cin>>s[0][0]){++k;  	 for(int i=1;i<9;i++){cin>>s[0][i];}for(int i=1;i<9;i++){for(int j=0;j<9;j++){cin>>s[i][j];}}dfs();if(k!=1) cout<<endl;for(int i=0;i<9;i++){for(int j=0;j<9;j++){if(j!=0) cout<<" ";cout<<s[i][j];}cout<<endl;}	 }return 0;
}