Sudoku Killer(HDOJ-1426)

Problem Description

自从2006年3月10日至11日的首届数独世界锦标赛以后,数独这项游戏越来越受到人们的喜爱和重视。
据说,在2008北京奥运会上,会将数独列为一个单独的项目进行比赛,冠军将有可能获得的一份巨大的奖品———HDU免费七日游外加lcy亲笔签名以及同hdu acm team合影留念的机会。
所以全球人民前仆后继,为了奖品日夜训练茶饭不思。当然也包括初学者linle,不过他太笨了又没有多少耐性,只能做做最最基本的数独题,不过他还是想得到那些奖品,你能帮帮他吗?你只要把答案告诉他就可以,不用教他是怎么做的。

数独游戏的规则是这样的:在一个9x9的方格中,你需要把数字1-9填写到空格当中,并且使方格的每一行和每一列中都包含1-9这九个数字。同时还要保证,空格中用粗线划分成9个3x3的方格也同时包含1-9这九个数字。比如有这样一个题,大家可以仔细观察一下,在这里面每行、每列,以及每个3x3的方格都包含1-9这九个数字。

例题:
这里写图片描述

答案:
这里写图片描述

Input

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

Output

对于每组测试,请输出它的解,同一行相邻的两个数用一个空格分开。两组解之间要一个空行。
对于每组测试数据保证它有且只有一个解。

Sample Input

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

Sample Output

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

题意:

求解数独。

思路:

暴力深搜,由于题目保证有唯一解,因此只需要在找到的时候直接输出就好了。
先将所有的?存起来,接着对每一个?进行1~9的枚举,如果此时填入的数在当前所在?的行列及九宫格里都没有出现过,则可以填进去。
以此类推,直到最后一个也可以满足时说明找到了答案。

#include <cstdio>
#include <cstring>
#include <ctype.h>
#include <cstdlib>
#include <cmath>
#include <climits>
#include <ctime>
#include <iostream>
#include <algorithm>
#include <deque>
#include <vector>
#include <queue>
#include <string>
#include <map>
#include <stack>
#include <set>
#include <list>
#include <numeric>
#include <sstream>
#include <iomanip>
#include <limits>
#define MST(a, b) memset(a, b, sizeof a)
using namespace std;
typedef long long ll;
const int MAXN = 10;
int sudo[MAXN][MAXN];
vector < pair<int, int> > v;
char tmp;
bool check(int k, int step) {
    int x = (v[step].first / 3) * 3, y = (v[step].second / 3) * 3;
    for (int i = 0; i < 9; i++)
        if (sudo[v[step].first][i] == k || sudo[i][v[step].second] == k)
            return false;
    for (int i = x; i < x + 3; i++)
        for (int j = y; j < y + 3; j++)
            if (sudo[i][j] == k) return false;
    return true;
}
void dfs(int x) {
    if (x == v.size()) {
        for (int i = 0; i < 9; i++)
            for (int j = 0; j < 9; j++) {
                cout << sudo[i][j];
                if (j == 8) cout << endl;
                else cout << " ";
            }
        return ;
    }
    for (int i = 1; i <= 9; i++) {
        if (check(i, x)) {
            sudo[v[x].first][v[x].second] = i;
            dfs(x + 1);
            sudo[v[x].first][v[x].second] = 0;
        }
    }
}
int main() {
    bool flag = false;
    while (cin >> tmp) {
        MST(sudo, 0);
        v.clear();
        if (tmp == '?') {
            sudo[0][0] = 0;
            v.push_back(make_pair(0, 0));
        }
        else sudo[0][0] = tmp - '0';
        for (int i = 0; i < 9; i++)
            for (int j = 0; j < 9; j++) {
                if (!i && !j) continue;
                cin >> tmp;
                if (tmp == '?') {
                    sudo[i][j] = 0;
                    v.push_back(make_pair(i, j));
                }
                else sudo[i][j] = tmp - '0';
            }
        if (flag) cout << endl;
        else flag = true;
        dfs(0);
    }
}

猜你喜欢

转载自blog.csdn.net/white_yasha/article/details/80931417