题意：

有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;

}