(简单) FZU 1686 神龙的难题 , DLX+可重复覆盖。

　　Description

　　这是个剑与魔法的世界.英雄和魔物同在,动荡和安定并存.但总的来说,库尔特王国是个安宁的国家,人民安居乐业,魔物也比较少.但是.总有一些魔物不时会进入城市附近,干扰人民的生活.就要有一些人出来守护居民们不被魔物侵害.魔法使艾米莉就是这样的一个人.她骑着她的坐骑,神龙米格拉一起消灭干扰人类生存的魔物,维护王国的安定.艾米莉希望能够在损伤最小的前提下完成任务.每次战斗前,她都用时间停止魔法停住时间,然后米格拉他就可以发出火球烧死敌人.米格拉想知道,他如何以最快的速度消灭敌人,减轻艾米莉的负担.

　　题目就是典型的DLX可重复覆盖的模板，找到最小需要选几行，能够覆盖所有列，其中把n*m个点中的每一个1都当做一列。。。。。。

代码如下：

#include<iostream>
#include<cstring>

using namespace std;

const int INF=10e8;

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

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

    void init(int _n,int _m)
    {
        n=_n;
        m=_m;
        size=m;
        ansnum=INF;

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

            S[i]=0;
        }

        L[0]=m;
        R[m]=0;

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

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

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

        if(H[r]==-1)
            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)
    {
        for(int i=D[c];i!=c;i=D[i])
        {
            L[R[i]]=L[i];
            R[L[i]]=R[i];
        }
    }

    void resume(int c)
    {
        for(int i=U[c];i!=c;i=U[i])
            L[R[i]]=R[L[i]]=i;
    }

    bool vis[MaxM];

    int getH()
    {
        int ret=0;

        for(int c=R[0];c;c=R[c])
            vis[c]=1;

        for(int c=R[0];c;c=R[c])
            if(vis[c])
            {
                ++ret;
                vis[c]=0;

                for(int i=D[c];i!=c;i=D[i])
                    for(int j=R[i];j!=i;j=R[j])
                        vis[col[j]]=0;
            }

        return ret;
    }

    void Dance(int d)
    {
        if(d+getH()>=ansnum)
            return;

        if(R[0]==0)
        {
            if(d<ansnum)
                ansnum=d;

            return;
        }

        int c=R[0];

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

        for(int i=D[c];i!=c;i=D[i])
        {
            remove(i);

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

            Dance(d+1);

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

            resume(i);
        }
    }
};

DLX dlx;

int Mn,Mm,Mn1,Mm1;
int map1[17][17];
int rem[17][17];

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

    int cou;

    while(cin>>Mn>>Mm)
    {
        cou=0;
        memset(rem,0,sizeof(rem));

        for(int i=1;i<=Mn;++i)
            for(int j=1;j<=Mm;++j)
            {
                cin>>map1[i][j];

                if(map1[i][j])
                    rem[i][j]=++cou;
            }

        cin>>Mn1>>Mm1;

        dlx.init((Mn+1-Mn1)*(Mm+1-Mm1),cou);

        for(int i=1;i+Mn1-1<=Mn;++i)
            for(int j=1;j+Mm1-1<=Mm;++j)
                for(int i1=1;i1<=Mn1;++i1)
                    for(int j1=1;j1<=Mm1;++j1)
                        if(map1[i+i1-1][j+j1-1])
                            dlx.Link((i-1)*(Mm+1-Mm1)+j,rem[i+i1-1][j+j1-1]);

        dlx.Dance(0);

        if(dlx.ansnum==INF)
            cout<<0<<endl;
        else
            cout<<dlx.ansnum<<endl;
    }

    return 0;
}