BZOJ1823: [JSOI2010]满汉全席 2-sat

裸的2-sat 选$（hi,mj）$的话就连$(i',j )( j',i)$ 特别的$（hi,mi）$不用连

最近集训被吊打啊 好蒻 打算扎实学习一阵 总觉得在知识和实践之间有着一道无法跨越的鸿沟

#include<bits/stdc++.h>
#define bug(x) cout<<(#x)<<" "<<(x)<<endl
#define cl(x) memset(x,0,sizeof x)
/*
char *TT,*mo,but[(1<<15)+2];
#define getchar() ((TT==mo&&(mo=(TT=but)+fread(but,1,1<<15,stdin),TT==mo))?-1:*TT++)//*/
using namespace std;
const int N=2e3+5;
inline int read(){
    int x=0,f=1;char ch=getchar();
    while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
    while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
    return x*f;
}
struct Edge{
    int v,nxt;
}e[N*2];
int n,m,T,id,flag,tot,cnt,top,head[N],dfn[N],low[N],q[N],bel[N];
bool vis[N];
char s1,s2; 
void add(int u,int v){
    e[++tot].v=v,e[tot].nxt=head[u],head[u]=tot;
}
void tarjan(int x){
    dfn[x]=low[x]=++id,q[++top]=x,vis[x]=1;
    for(int i=head[x];i;i=e[i].nxt){
        int j=e[i].v;
        if(!dfn[j]) tarjan(j),low[x]=min(low[x],low[j]);
        else if(vis[j]) low[x]=min(low[x],dfn[j]);
    }
    if(low[x]==dfn[x]){
        ++cnt;
        do{
//          cout<<q[top]<<" ";
            vis[q[top]]=0;
            bel[q[top]]=cnt;
        }while(q[top--]!=x);
//      cout<<endl;
    }
}
int main(){
#ifdef Devil_Gary
    freopen("in.txt","r",stdin);
#endif
    T=read();
    while(T--){
        n=read(),m=read();
        cl(vis),cl(head),cl(e),cl(dfn),cl(low),cl(bel);
        tot=id=cnt=flag=top=0;
        for(int i=1,x,y,xx,yy,p1,p2;i<=m;i++){
            scanf("\n%c%d  %c%d",&s1,&p1,&s2,&p2);
            if(s1=='h')x=p1,xx=p1+n;
            else xx=p1,x=p1+n;
            if(s2=='h')y=p2,yy=p2+n;
            else yy=p2,y=p2+n;
            if(abs(x-y)!=n&&(x-y)!=0) add(xx,y),add(yy,x);
        }
        for(int i=1;i<=n;i++) if(!dfn[i]) tarjan(i);
        for(int i=1;i<=n;i++) if(bel[i]==bel[i+n]) {
            flag=1;break;
        }
        printf(flag?"BAD\n":"GOOD\n");
    }
    return 0; 
}