题意:给n个灯,每个灯能保持亮的状态的条件给出,最后问能否将所有的灯都保持亮的状态,能的话输出每个开关的状态
思路:明显的舞蹈链可重复覆盖嘛,列为n个灯,然后行为每个开关开还是关,所以行要有2*m行,注意的是在跑舞蹈链的时候,每一个开关只能有开或关的状态,所以我们要判断一下它对应的状态是否走过
#include <vector>
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include <iostream>
#include <algorithm>
using namespace std;
typedef long long ll;
typedef unsigned long long ull;
const int inf=0x3f3f3f3f;
const ll INF=0x3f3f3f3f3f3f3f3fll;
const int maxn=1010;
int L[maxn*maxn],R[maxn*maxn],U[maxn*maxn],D[maxn*maxn];//节点的上下左右四个方向的链表
int C[maxn*maxn],H[maxn],cnt[maxn],vis[maxn],ans[maxn],Row[maxn*maxn],fvis[maxn];//C列H行cnt列链表中元素个数
int n,m,id,fans;
void init(int lll){
for(int i=0;i<=lll;i++){
cnt[i]=0;U[i]=D[i]=i;
L[i+1]=i;R[i]=i+1;
}
R[lll]=0;id=lll+1;
memset(H,-1,sizeof(H));
}
void Link(int r,int c){
cnt[c]++;C[id]=c;Row[id]=r;
U[id]=U[c];D[U[c]]=id;
D[id]=c;U[c]=id;
if(H[r]==-1) H[r]=L[id]=R[id]=id;
else{
L[id]=L[H[r]];R[L[H[r]]]=id;
R[id]=H[r];L[H[r]]=id;
}
id++;
}
void Remove(int Size){
for(int j=D[Size];j!=Size;j=D[j])
L[R[j]]=L[j],R[L[j]]=R[j];
}
void Resume(int Size){
for(int j=D[Size];j!=Size;j=D[j])
L[R[j]]=R[L[j]]=j;
}
int h(){
int sum=0;
memset(vis,0,sizeof(vis));
for(int i=R[0];i;i=R[i]){
if(vis[i]) continue;
sum++;
for(int j=D[i];j!=i;j=D[j]){
for(int k=R[j];k!=j;k=R[k])
vis[C[k]]=1;
}
}
return sum;
}
int Dance(int k){
int mm=maxn,pos;
if(k+h()>=fans) return 0;
if(!R[0]){
fans=k;
return 1;
}
for(int i=R[0];i;i=R[i])
if(mm>cnt[i]) mm=cnt[i],pos=i;
for(int i=D[pos];i!=pos;i=D[i]){
if((Row[i]>m&&fvis[Row[i]-m]==0)||(Row[i]<=m&&fvis[Row[i]+m]==0)){
ans[k]=Row[i];
Remove(i);
for(int j=R[i];j!=i;j=R[j]) Remove(j);
fvis[Row[i]]=1;
if(Dance(k+1)) return 1;
fvis[Row[i]]=0;
for(int j=R[i];j!=i;j=R[j]) Resume(j);
Resume(i);
}
}
return 0;
}
vector<int>G[maxn];
vector<int>GG[maxn];
int viss[maxn];
int main(){
int op,u;
char str[10];
while(scanf("%d%d",&n,&m)!=-1){
for(int i=0;i<maxn;i++) G[i].clear(),GG[i].clear();
init(n);
memset(viss,0,sizeof(viss));
memset(fvis,0,sizeof(fvis));
for(int i=1;i<=n;i++){
scanf("%d",&op);
while(op--){
scanf("%d%s",&u,str);
if(str[1]=='N') G[u].push_back(i);
else GG[u].push_back(i);
}
}
for(int i=1;i<=m;i++){
for(unsigned int j=0;j<G[i].size();j++){
int ttt=G[i][j];
Link(i,ttt);
}
}
for(int i=1;i<=m;i++){
for(unsigned int j=0;j<GG[i].size();j++){
int ttt=GG[i][j];
Link(i+m,ttt);
}
}
fans=2*m-1;
if(Dance(0)==0) printf("-1\n");
else{
for(int i=0;i<fans;i++) viss[ans[i]]=1;
for(int i=1;i<=m;i++){
if(viss[i]==1) printf("ON");
else if(viss[i+m]==1) printf("OFF");
else printf("ON");
if(i==m) printf("\n");
else printf(" ");
}
}
}
return 0;
}