题目大意:
给出一个数独求解, 题目保证有唯一解
要求每行每列每个九宫格都恰好包含数字1~9
大致思路:
学习DLX的简单练习
构造矩阵的方法如下:
一共324列
刚开始没考虑到每个格子只能填一个数样例没过, 再加上81列表示每个格子的唯一性才通过样例...
矩阵的构造方法见代码注释
代码如下:
Result : Accepted Memory : 208 KB Time : 63 ms
/*
* Author: Gatevin
* Created Time: 2015/10/2 8:52:27
* File Name: Sakura_Chiyo.cpp
*/
#include<iostream>
#include<sstream>
#include<fstream>
#include<vector>
#include<list>
#include<deque>
#include<queue>
#include<stack>
#include<map>
#include<set>
#include<bitset>
#include<algorithm>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<cctype>
#include<cmath>
#include<ctime>
#include<iomanip>
using namespace std;
const double eps(1e-8);
typedef long long lint;
/*
* DLX解经典数独问题
* 考虑到每行都要有1~9
* 用第1~81列表示第i行是否有数字j(第(i - 1)*9 + j列的状态)
* 由于每列都要有1~9
* 用第82~162列表示第i列是否有数字j (第(i - 1)*9 + j + 81列的状态)
* 考虑到每个九宫格都要有1~9
* 用第163~243列表示第i个九宫格是否有数字j (第(i - 1)*9 + j + 162列的状态)
* 但是仅仅依靠这些是不够的
* 还有一个限制条件每个格子只能有1个数字
* 所以用第244~324列表示格子中是否填了数
* 那么对于给定的数字, 就在对应的列上写4个1
* 如果是.那么就添加9行, 分别对应哪个位子填1~9的情况
* 那么最坏情况下有9*9*9行可选
*/
char in[800];
struct DLX
{
#define maxn 800
#define maxm 330
#define maxnode 800*3 + 330
int n, m, size;
int U[maxnode], D[maxnode], R[maxnode], L[maxnode], Row[maxnode], Col[maxnode];
int H[maxn], S[maxm];
int ansd, ans[maxn];
struct State
{
int x, y, val;
State(int _x, int _y, int _val)
{
x = _x, y = _y, val = _val;
}
State(){}
};
State s[maxn];
void init(int _n, int _m)
{
n = _n;
m = _m;
for(int i = 0; i <= m; i++)
{
S[i] = 0;
U[i] = D[i] = i;
L[i] = i - 1;
R[i] = i + 1;
}
R[m] = 0; L[0] = m;
size = m;
for(int i = 1; i <= n; i++) H[i] = -1;
}
void Link(int r, int c)
{
++S[Col[++size] = c];
Row[size] = r;
D[size] = D[c];
U[D[c]] = size;
U[size] = c;
D[c] = size;
if(H[r] < 0) H[r] = L[size] = R[size] = size;
else
{
R[size] = R[H[r]];
L[R[H[r]]] = size;
L[size] = H[r];
R[H[r]] = size;
}
}
void remove(int c)
{
L[R[c]] = L[c]; R[L[c]] = R[c];
for(int i = D[c]; i != c; i = D[i])
for(int j = R[i]; j != i; j = R[j])
{
U[D[j]] = U[j];
D[U[j]] = D[j];
--S[Col[j]];
}
}
void resume(int c)
{
for(int i = U[c]; i != c; i = U[i])
for(int j = L[i]; j != i; j = L[j])
++S[Col[U[D[j]] = D[U[j]] = j]];
L[R[c]] = R[L[c]] = c;
}
bool Dance(int dep)
{
if(R[0] == 0)
{
ansd = dep;
return true;
}
int c = R[0];
for(int i = R[0]; i != 0; i = R[i])
if(S[i] < S[c])
c = i;
remove(c);
for(int i = D[c]; i != c; i = D[i])
{
ans[dep] = Row[i];
for(int j = R[i]; j != i; j = R[j]) remove(Col[j]);
if(Dance(dep + 1)) return true;
for(int j = L[i]; j != i; j = L[j]) resume(Col[j]);
}
resume(c);
return false;
}
void solve()
{
int tn = 0, tm = 324;
int len = strlen(in);
for(int i = 0; i < len; i++)
if(in[i] == '.') tn += 9;
else tn++;
init(tn, tm);
tn = 0;
for(int i = 0; i < 9; i++)
for(int j = 0; j < 9; j++)
{
char c = in[i*9 + j];
if(c == '.')
{
for(int k = 1; k <= 9; k++)
{
s[++tn] = State(i, j, k);
Link(tn, i*9 + k);
Link(tn, j*9 + k + 81);
Link(tn, (i/3 * 3 + j / 3)*9 + k + 162);
Link(tn, i*9 + j + 1 + 243);
}
}
else
{
s[++tn] = State(i, j, c - '0');
Link(tn, i*9 + c - '0');
Link(tn, j*9 + c - '0' + 81);
Link(tn, (i/3 *3 + j / 3)*9 + c - '0' + 162);
Link(tn, i*9 + j + 1 + 243);
}
}
if(!Dance(0)) puts("No answer");
else
{
for(int i = ansd - 1; i >= 0; i--)
{
int sel = ans[i];
in[s[sel].x*9 + s[sel].y] = s[sel].val + '0';
}
puts(in);
}
}
};
DLX dlx;
int main()
{
while(gets(in))
{
if(strcmp(in, "end") == 0) break;
dlx.solve();
}
return 0;
}