FZU 1686 神龙的难题（重复覆盖问题）

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

数据有多组,你要处理到EOF为止.每组数据第一行有两个数,n,m,(1<=n,m<=15)表示这次任务的地区范围. 然后接下来有n行,每行m个整数,如为1表示该点有怪物,为0表示该点无怪物.然后接下一行有两个整数,n1,m1 (n1<=n,m1<=m)分别表示米格拉一次能攻击的行,列数(行列不能互换),假设米格拉一单位时间能发出一个火球,所有怪物都可一击必杀.

Output

输出一行,一个整数,表示米格拉消灭所有魔物的最短时间. 

Sample Input

4 4
1 0 0 1
0 1 1 0
0 1 1 0
1 0 0 1
2 2
4 4 
0 0 0 0
0 1 1 0
0 1 1 0
0 0 0 0
2 2

Sample Output

4
1

题解：
将她施法时的小矩块作为行，大矩阵内的敌人标记后作为列

#include<cstdio>
#include<cmath>
#include<cstring>
using namespace std;

const int mn = 250;//最大行列数
const int mnn = mn*mn;//最大点数
#define clr(x) memset(x, 0, sizeof(x));
#define clrlow(x) memset(x, -1, sizeof(x));

struct DLX{
    int n, m, s;
    int U[mnn], D[mnn], L[mnn], R[mnn], row[mnn], col[mnn];
    int H[mn], S[mn], vis[mnn];
    int ansed;
    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;
        s = m;
        clrlow(H);
        ansed = 0x3f3f3f3f;
    }
    void push(int r, int c){
        ++S[col[++s]=c];
        row[s] = r;
        D[s] = D[c];
        U[s] =c;
        U[D[c]] = s;
        D[c] = s;
        if(H[r] < 0){
            R[s] = L[s] = H[r] = s;
        }
        else{
            R[s] = R[H[r]];
            L[s] = H[r];
            L[R[H[r]]] = s;
            R[H[r]] = s;
        }
    }
    void del(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;
    }
    int f_check(){
        int ret = 0;
        for(int c = R[0]; c != 0; c = R[c]) vis[c] = 1;
        for(int c = R[0]; c!= 0; 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){ //选取了d行 当前深度, limit 限制不能超过这个范围
        /*重复覆盖
        1、如果矩阵为空，得到结果，返回
        2、从矩阵中选择一列，以选取最少元素的列为优化方式
        3、删除该列及其覆盖的行
        4、对该列的每一行元素：删除一行及其覆盖的列，
        5、进行下一层搜索，如果成功则返回
        6、恢复现场，跳至4
        7、恢复所选择行
        */
        if(d + f_check() >= ansed)return;
        if(R[0] == 0){//全部覆盖了
        //全覆盖了之后的操作
            if(ansed > d) ansed=d;
            return;
        }
        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]){//枚举该列的元素
            del(i);//新增(重复覆盖)
            for(int j = R[i]; j != i; j = R[j])
                del(j);//remove(Col[j])(精确覆盖)
            dance(d + 1);
            for(int j = L[i]; j != i; j = L[j])
                resume(j);//resume(Col[j])(精确覆盖)
            resume(i);//新增(重复覆盖)
        }
        //resume(c);(精确覆盖)
        return ;
    }
}dlx;

int mp[20][20];//记录地域范围内的全部情况

int main(){
    int n, m, n1, m1;
    while(scanf("%d%d", &n, &m)!=EOF){
        int cnt = 0;
        for(int i = 1; i <= n; i++){
            for(int j = 1; j <= m; j++){
                scanf("%d", &mp[i][j]);//记录地域范围内的全部情况
                if(mp[i][j])    mp[i][j] = ++cnt;//给敌人编号
            }
        }
        scanf("%d%d", &n1, &m1);
        dlx.init(n * m, cnt);
        cnt = 1;
        for(int i = 1; i <= n; i++){
            for(int j = 1; j <= m; j++){
                for(int k = i; k <= n && k < i + n1; k++){
                    for(int l = j; l <= m && l < j + m1; l++){
                        if(mp[k][l])    dlx.push(cnt, mp[k][l]);//如果该小矩阵内包含敌人 就将他标记放入
                    }
                }
                cnt++;//每个小矩阵为一行
            }
        }
        dlx.dance(0);
        printf("%d\n", dlx.ansed);
    }
    return 0;
}