数独问题

一、问题描述

数独（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