POJ 3074 Sudoku (DLX解經典數獨)

題目大意：

給出一個數獨求解, 題目保證有唯一解

要求每行每列每個九宮格都恰好包含數字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;
}