(中等) HDU 4069 Squiggly Sudoku , DLX+精确覆盖。

　　Description

　　Today we play a squiggly sudoku, The objective is to fill a 9*9 grid with digits so that each column, each row, and each of the nine Connecting-sub-grids that compose the grid contains all of the digits from 1 to 9. 
Left figure is the puzzle and right figure is one solution. 

　　Now, give you the information of the puzzle, please tell me is there no solution or multiple solution or one solution.

　　还是数独问题，其实和前面的没有什么两样，然后对于每个奇形怪状的9格子，我是用BFS来构造的。。。。。。

代码如下：

#include<iostream>
#include<cstring>
#include<cstdio>
#include<queue>

using namespace std;

const int MaxN=;
const int MaxM=;
const int MaxNode=MaxN*MaxM;

int map1[][];

struct DLX
{
    int U[MaxNode],D[MaxNode],L[MaxNode],R[MaxNode],col[MaxNode],row[MaxNode];
    int size,n,m;
    int H[MaxN],S[MaxM];
    int ans[],ans1[],anst[];
    int ansnum,depth;

    void init(int _n,int _m)
    {
        ansnum=;

        n=_n;
        m=_m;

        for(int i=;i<=m;++i)
        {
            U[i]=D[i]=i;
            L[i]=i-;
            R[i]=i+;
            row[i]=;

            S[i]=;
        }
        L[]=m;
        R[m]=;

        size=m;

        for(int i=;i<=n;++i)
            H[i]=-;
    }

    void Link(int r,int c)
    {
        col[++size]=c;
        row[size]=r;
        ++S[c];

        U[size]=U[c];
        D[size]=c;
        D[U[c]]=size;
        U[c]=size;

        if(H[r]==-)
            H[r]=L[size]=R[size]=size;
        else
        {
            L[size]=L[H[r]];
            R[size]=H[r];
            R[L[H[r]]]=size;
            L[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])
            {
                U[D[j]]=j;
                D[U[j]]=j;
                ++S[col[j]];
            }

        L[R[c]]=R[L[c]]=c;
    }

    void showans()
    {
        for(int i=;i<depth;++i)
            ans1[(anst[i]-)/+]=(anst[i]-)%+;

        for(int i=;i<=;++i)
        {
            cout<<ans1[i];

            if(i%==)
                cout<<endl;
        }
    }

    void copyans()
    {
        for(int i=;i<;++i)
            anst[i]=ans[i];
    }

    bool Dance(int d)
    {
        if(R[]==)
        {
            depth=d;

            if(ansnum)
            {
                ++ansnum;
                return ;
            }

            ++ansnum;

            copyans();

            return ;
        }

        int c=R[];

        for(int i=R[];i!=;i=R[i])
            if(S[i]<S[c])
                c=i;

        remove(c);

        for(int i=D[c];i!=c;i=D[i])
        {
            ans[d]=row[i];

            for(int j=R[i];j!=i;j=R[j])
                remove(col[j]);

            if(Dance(d+))
                return ;

            for(int j=L[i];j!=i;j=L[j])
                resume(col[j]);
        }

        resume(c);

        return ;
    }

    void display()
    {
        for(int i=R[];i!=;i=R[i])
        {
            cout<<i<<' ';
            for(int j=D[i];j!=i;j=D[j])
                cout<<'('<<j<<','<<(row[j]-)%+<<')'<<' ';

            cout<<endl;
        }
    }
};

DLX dlx;
int s[];

void getchange(int &r,int &c1,int &c2,int &c3,int &c4,int i,int j,int k)
{
    r=(i*+j)*+k;
    c1=i*+j+;
    c2=i*+k+;
    c3=j*+k+;
    c4=map1[i][j]*+k+;
}

void slove()
{
    int r,c1,c2,c3,c4;

    dlx.init(,);

    for(int i=;i<;++i)
        for(int j=;j<;++j)
            for(int k=;k<=;++k)
                if(s[i*+j]== || s[i*+j]==k)
                {
                    getchange(r,c1,c2,c3,c4,i,j,k);

                    dlx.Link(r,c1);
                    dlx.Link(r,c2);
                    dlx.Link(r,c3);
                    dlx.Link(r,c4);
                }

/*    for(int i=1;i<=81;++i)
        for(int j=1;j<=9;++j)
            dlx.Link(j+(i-1)*9,i);

    for(int i=1;i<=81;++i)
        for(int j=1;j<=9;++j)
            dlx.Link(9*(j-1)+(i-1)%9+1+81*((i-1)/9),i+81);

    for(int i=1;i<=81;++i)
        for(int j=1;j<=9;++j)
            dlx.Link((j-1)*81+i,i+162);

    for(int i=1;i<=3;++i)
        for(int j=1;j<=3;++j)
            for(int k=1;k<=9;++k)
                for(int l=1;l<=3;++l)
                    for(int m=1;m<=3;++m)
                        dlx.Link((i-1)*243+(j-1)*27+k+(l-1)*81+(m-1)*9,(i-1)*27+(j-1)*9+k+243);

    for(int i=0;i<81;++i)
        if(s[i]!='.')
        {
            dlx.ans1[i+1]=s[i]-'0';

            dlx.remove(i+1);

            for(int j=dlx.D[i+1];j!=i+1;j=dlx.D[j])
            {
                if((dlx.row[j]-1)%9+1==s[i]-'0')
                {
                    for(int k=dlx.R[j];k!=j;k=dlx.R[k])
                        dlx.remove(dlx.col[k]);

                    break;
                }
            }
        }
*/

    dlx.Dance();

    int temp=dlx.ansnum;

    if(temp==)
        cout<<"No solution"<<endl;
    else if(temp==)
        cout<<"Multiple Solutions"<<endl;
    else
        dlx.showans();
}

const int step[][]={{-,},{,},{,},{,-}};
int kcou;
int lu[][][];

void bfs(int num,int x,int y)
{
    queue <int> que;
    int temp,t1,t2;

    que.push(x*+y);
    map1[x][y]=num;

    while(!que.empty())
    {
        temp=que.front();
        que.pop();

        t1=temp/;
        t2=temp%;

        for(int k=;k<;++k)
            if(lu[t1][t2][k] && map1[t1+step[k][]][t2+step[k][]]==-)
            {
                que.push((t1+step[k][])*+t2+step[k][]);
                map1[t1+step[k][]][t2+step[k][]]=num;
            }
    }
}

void getmap()
{
    int cou=;

    for(int i=;i<;++i)
        for(int j=;j<;++j)
            if(map1[i][j]==-)
                bfs(cou++,i,j);
}

int main()
{
    ios::sync_with_stdio(false);

    int T,t;
    int fang[];
    cin>>T;

    for(int cas=;cas<=T;++cas)
    {
        memset(map1,-,sizeof(map1));
        memset(s,,sizeof(s));
        memset(lu,,sizeof(lu));
        kcou=;

        for(int i=;i<;++i)
            for(int j=;j<;++j)
            {
                cin>>t;

                for(int k=;k<;++k)
                    if(((t>>(+k))&)==)
                        lu[i][j][k]=;

                s[i*+j]=t&;
            }

        getmap();

        cout<<"Case "<<cas<<':'<<endl;

        slove();
    }

    return ;
}