HDU - 2828 Lamp （Dance Link 重复覆盖问题）

题意：

给出n个开关，m个灯泡，每个灯可有多个开关控制，每个开关最多控制两个灯，给定每个灯是由哪几个开关所控制以及控制该灯亮的时候的开关的状态。注意：多个开关同时作用在该灯的时候还是亮的。

分析：

建立Dance Link链表，列表示灯泡，行表示开关的状态，没个开关分两行，表示两种状态控制的灯。从而这个问题转换为Dance Link的重复覆盖问题。

#include<bits/stdc++.h>

using namespace std;

const int maxn=1005;
const int maxm=1005;
const int maxnode=maxn*maxm;
const int inf=0x3f3f3f3f;

bool hav[maxm];

struct DLX{
    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];
    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){
        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 v[maxm];
    int f(){
        int ret=0;
        for(int c=R[0];c!=0;c=R[c]) v[c]=1;
        for(int c=R[0];c!=0;c=R[c]){
            if(v[c]){
                ret++;
                v[c]=false;
                for(int i=D[c];i!=c;i=D[i]){
                    for(int j=R[i];j!=i;j=R[j]){
                        v[Col[j]]=false;
                    }
                }
            }
        }
        return ret;
    }
    bool dance(int d){
        if(d+f()>=ansd) return 0;
        if(R[0]==0){
            if(d<ansd) ansd=d;
            return 1;
        }
        int c=R[0];
        for(int i=R[0];i!=0;i=R[i]){
            if(S[i]<S[c]){
                c=i;
            }
        }
        for(int i=D[c];i!=c;i=D[i]){
            if(!hav[(Row[i]-1)/2+1]){
                hav[(Row[i]-1)/2+1]=1;
                ans[(Row[i]-1)/2+1]=Row[i];
                remove(i);
                for(int j=R[i];j!=i;j=R[j]) remove(j);
                if(dance(d+1)) return 1;
                for(int j=L[i];j!=i;j=L[j]) resume(j);
                resume(i);
                hav[(Row[i]-1)/2+1]=0;
            }
        }
        return false;
    }
}dlx;

int main(){
    int n,m;
    while(scanf("%d%d",&n,&m)!=EOF){
        dlx.init(2*m,n);
        for(int lamp=1;lamp<=n;lamp++){
            int k;
            scanf("%d",&k);
            while(k--){
                int t;
                char str[5];
                scanf("%d%s",&t,str);
                if(strcmp(str,"OFF")==0){
                    t*=2;
                }else t=t*2-1;
                dlx.Link(t,lamp);
            }
        }
        dlx.ansd=inf;
        memset(hav,0,sizeof hav);
        bool flag=dlx.dance(0);
        if(!flag){
            printf("-1\n");
        }else{
            for(int i=1;i<=m;i++){
                if(i-1) printf(" ");
                printf("%s",dlx.ans[i]%2?"ON":"OFF");
            }
            printf("\n");
        }
    }
    return 0;
}