[DLX反复覆盖] hdu 2828 Lamp

题意：

有N个灯M个开关

每一个灯的ON和OFF状态都能控制一个灯是否亮

给出N行，代表对于每一个灯

哪些开关的哪个状态能够使得第i个灯亮

思路：

这里须要注意一个问题

假设开关1的ON 状态和开关2的ON状态能使得1号灯亮

那么开关1、2同一时候处于ON的时候 1号灯也是亮的。意思就是仅仅要有一个开关使得灯亮，灯就亮了。

简单的DLX 反复覆盖

行为每一个开关的两个状态2*m行，列为n个灯

在搜索的同一时候标记一下哪个开关被用过了

那么还有一个状态也不能用了

代码：

#include"stdio.h"
#include"algorithm"
#include"string.h"
#include"iostream"
#include"queue"
#include"map"
#include"vector"
#include"string"
using namespace std;
#define N 1005*1005
#define RN 1005
#define CN 1005
int us[RN];
struct DLX
{
    int n,m,C;
    int U[N],D[N],L[N],R[N],Row[N],Col[N];
    int H[RN],S[CN],cnt,ans[RN];
    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==0?

m:i-1);
            R[i]=(i==m?0:i+1);
        }
        C=m;
        for(int i=1; i<=n; i++) H[i]=-1;
    }
    void link(int x,int y)
    {
        C++;
        Row[C]=x;
        Col[C]=y;
        S[y]++;
        U[C]=U[y];
        D[C]=y;
        D[U[y]]=C;
        U[y]=C;
        if(H[x]==-1) H[x]=L[C]=R[C]=C;
        else
        {
            L[C]=L[H[x]];
            R[C]=H[x];
            R[L[H[x]]]=C;
            L[H[x]]=C;
        }
    }
    void del(int x)
    {
        for(int i=D[x]; i!=x; i=D[i])
        {
            R[L[i]]=R[i];
            L[R[i]]=L[i];
        }
    }
    void rec(int x)
    {
        for(int i=U[x]; i!=x; i=U[i])
        {
            R[L[i]]=i;
            L[R[i]]=i;
        }
    }
    int used[CN];
    int h()
    {
        int sum=0;
        for(int i=R[0]; i!=0; i=R[i]) used[i]=0;
        for(int i=R[0]; i!=0; i=R[i])
        {
            if(used[i]==0)
            {
                sum++;
                used[i]=1;
                for(int j=D[i]; j!=i; j=D[j]) for(int k=R[j]; k!=j; k=R[k]) used[Col[k]]=1;
            }
        }
        return sum;
    }
    int dance(int x)
    {
        //if(x+h()>=cnt) return 0;
        if(R[0]==0)
        {
            cnt=x;
            // cnt=min(cnt,x);
            return 1;
        }
        int now=R[0];
        for(int i=R[0]; i!=0; i=R[i])
        {
            if(S[i]<S[now])
                now=i;
        }
        for(int i=D[now]; i!=now; i=D[i])
        {
            if(us[(Row[i]-1)/2+1]==0)
            {
                us[(Row[i]-1)/2+1]=1;
                del(i);
                ans[x]=Row[i];
                for(int j=R[i]; j!=i; j=R[j]) del(j);
                if(dance(x+1)) return 1;
                for(int j=L[i]; j!=i; j=L[j]) rec(j);
                rec(i);
                us[(Row[i]-1)/2+1]=0;
            }
        }
        return 0;
    }
} dlx;
int main()
{
    int n,m;
    while(scanf("%d%d",&n,&m)!=-1)
    {
        dlx.init(2*m,n);
        for(int i=1; i<=n; i++)
        {
            int k;
            scanf("%d",&k);
            while(k--)
            {
                int x;
                char y[21];
                scanf("%d%s",&x,y);
                int tep=x*2-1;
                if(strcmp(y,"OFF")==0) tep++;
                dlx.link(tep,i);
            }
        }
        memset(us,0,sizeof(us));
        int f=dlx.dance(0);
        if(f==0) puts("-1");
        else
        {
            memset(us,0,sizeof(us));
            for(int i=0;i<dlx.cnt;i++)
            {
                us[(dlx.ans[i]-1)/2+1]=dlx.ans[i]%2;
            }
            for(int i=1;i<=m;i++) printf(i==m?"%s\n":"%s ",us[i]==0?"OFF":"ON");
        }
    }
    return 0;
}