一、问题描述
数独(Sudoku)是一款大众喜爱的数字逻辑游戏。玩家需要根据9X9盘面上的已知数字,推算出所有剩余空格的数字,并且满足每一行、每一列、每一个粗线宫内的数字均含1-9,并且不重复。
输入:
包含已知数字的9X9盘面数组[空缺位以数字0表示]
输出:
完整的9X9盘面数组
输入描述:
包含已知数字的9X9盘面数组[空缺位以数字0表示]
输出描述:
完整的9X9盘面数组
输入例子:
0 9 2 4 8 1 7 6 3
4 1 3 7 6 2 9 8 5
8 6 7 3 5 9 4 1 2
6 2 4 1 9 5 3 7 8
7 5 9 8 4 3 1 2 6
1 3 8 6 2 7 5 9 4
2 7 1 5 3 8 6 4 9
3 8 6 9 1 4 2 5 7
0 4 5 2 7 6 8 3 1
输出例子:
5 9 2 4 8 1 7 6 3
4 1 3 7 6 2 9 8 5
8 6 7 3 5 9 4 1 2
6 2 4 1 9 5 3 7 8
7 5 9 8 4 3 1 2 6
1 3 8 6 2 7 5 9 4
2 7 1 5 3 8 6 4 9
3 8 6 9 1 4 2 5 7
9 4 5 2 7 6 8 3 1
二、问题解决
如果采用人工填写数独的方式,过程会很复杂,即,需要判断是否能依靠某一行、某一列或者某一个九宫格能推断出某个数字,或者能否通过同一行和同一列的九宫格推断出该数字,即便这样依然有可能一个位置可能存在多个解。因此按人工填写数独的方式显然不适合机器来解决这个问题。机器更适合暴力求解,这里我们采用回溯法来解决该问题,每个为0的位置都有九种可能性,1-9,我们依次考虑填写这些数字是否满足约束条件(同一行同一列同一个九宫格不能出现相同数字),满足则继续深度搜索解,不满足则回溯。
代码:
#include <iostream>
using namespace std;
bool is_writen(int **sudo, int v, int k)
{
for(int i = 0; i < 9; i++)
{
if(i != (v%9) && sudo[v/9][i] == k)
return false;
}
for(int i = 0; i < 9; i++)
{
if(i != (v/9) && sudo[i][v%9] == k)
return false;
}
int a = v/9, b = v%9;
for(int i = 0; i < 3*3; i++)
{
if(!(((a/3*3 + i/3) == a) && ((b/3*3 + i%3) == b)) && sudo[a/3*3 + i/3][b/3*3 + i%3] == k)
return false;
}
return true;
}
void dfs(int **sudo, int v)
{
if(v == 81)
{
cout << "solution:" << endl;
for(int i = 0; i < 9*9; i++)
{
if(i%9 == 0)
{
if(i == 0)
cout << sudo[i/9][i%9];
else
cout << "\n" << sudo[i/9][i%9];
} else {
cout << " " << sudo[i/9][i%9];
}
}
cout << endl;
return;
}
if(sudo[v/9][v%9] == 0)
{
for(int i = 1; i < 10; i++)
{
if(is_writen(sudo, v, i))
{
sudo[v/9][v%9] = i;
dfs(sudo, v+1);
sudo[v/9][v%9] = 0;
}
}
} else {
dfs(sudo, v+1);
}
}
void test1()
{
int **sudo = new int*[9];
for(int i = 0; i < 9; i++)
{
sudo[i] = new int[9];
}
for(int i = 0; i < 9*9; i++)
{
cin >> sudo[i/9][i%9];
}
dfs(sudo, 0);
for(int i = 0; i < 9; i++)
{
delete sudo[i];
sudo[i] = 0;
}
delete [] sudo;
sudo = 0;
}
int main()
{
test1();
return 0;
}
注意对于某些输入case,可能存在有多个解,这个解题思路把所有可能存在的解都输出了。例如:
存在多个解的输入示例:
0 0 8 7 1 9 2 4 5
9 0 5 2 3 4 0 8 6
0 7 4 8 0 6 1 0 3
7 0 3 0 9 2 0 0 0
5 0 0 0 0 0 0 0 0
8 6 1 4 0 3 5 2 9
4 0 0 0 2 0 0 0 8
0 0 0 0 0 0 0 7 0
1 0 7 0 6 8 0 5 0
输出:
solution:
6 3 8 7 1 9 2 4 5
9 1 5 2 3 4 7 8 6
2 7 4 8 5 6 1 9 3
7 4 3 5 9 2 8 6 1
5 9 2 6 8 1 4 3 7
8 6 1 4 7 3 5 2 9
4 5 6 3 2 7 9 1 8
3 8 9 1 4 5 6 7 2
1 2 7 9 6 8 3 5 4
solution:
6 3 8 7 1 9 2 4 5
9 1 5 2 3 4 7 8 6
2 7 4 8 5 6 1 9 3
7 4 3 5 9 2 8 6 1
5 9 2 6 8 1 4 3 7
8 6 1 4 7 3 5 2 9
4 5 6 9 2 7 3 1 8
3 8 9 1 4 5 6 7 2
1 2 7 3 6 8 9 5 4
solution:
6 3 8 7 1 9 2 4 5
9 1 5 2 3 4 7 8 6
2 7 4 8 5 6 1 9 3
7 4 3 5 9 2 8 6 1
5 9 2 6 8 1 4 3 7
8 6 1 4 7 3 5 2 9
4 5 9 3 2 7 6 1 8
3 8 6 1 4 5 9 7 2
1 2 7 9 6 8 3 5 4