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