BZOJ[1823][JSOI2010]满汉全席 2-SAT

题目链接http://www.lydsy.com/JudgeOnline/problem.php?id=1823

满式和汉式不能同时选
对于每一个要求x,y，不做x就要做y，不做y就要做x，连边
Tarjan判断是否有一种食材既要做满式，又要做汉式(在一个强连通分量中)，如果有，则为BAD
其他情况都是GOOD

代码如下：

#include<algorithm>
#include<ctype.h>
#include<cstdio>
#define N 205
using namespace std;
inline int read(){
    int x=0,f=1;char c;
    do c=getchar(),f=c=='-'?-1:f; while(!isdigit(c));
    do x=(x<<3)+(x<<1)+c-'0',c=getchar(); while(isdigit(c));
    return x*f;
}
int T,n,m,x,y,top,Timer,scc_cnt;
int fir[N],s[N],scc[N],low[N],dfn[N];
bool b[N];
struct Edge{
    int to,nex;
    Edge(int _=0,int __=0):to(_),nex(__){}
}nex[2020];
inline void add(int x,int y){
    nex[++top]=Edge(y,fir[x]);
    fir[x]=top;
}
inline void init(){
    top=Timer=scc_cnt=0;
    for(int i=1;i<=2*n+1;i++)
        scc[i]=low[i]=dfn[i]=fir[i]=0;
}
void Tarjan(int x){
    dfn[x]=low[x]=++Timer;
    s[++top]=x;b[x]=true;
    for(int i=fir[x];i;i=nex[i].nex){
        if(!dfn[nex[i].to]){
            Tarjan(nex[i].to);
            low[x]=min(low[x],low[nex[i].to]);
        }
        else if(b[nex[i].to]) low[x]=min(low[x],dfn[nex[i].to]);
    }
    if(dfn[x]==low[x]){
        scc_cnt++;
        int v;
        do{
            v=s[top--];
            scc[v]=scc_cnt;
            b[v]=false;
        }while(v!=x);
    }
}
inline bool check(){
    for(int i=1;i<=n*2+1;i++)
        if(!dfn[i]){
            top=0;
            Tarjan(i);
        }
    for(int i=1;i<=n*2+1;i++)
        if(scc[i]==scc[i^1])
            return false;
    return true;
}
int main(){
    T=read();
    while(T--){
        init();
        n=read();m=read();
        for(int i=1;i<=m;i++){
            char c;
            bool b1,b2;
            do c=getchar(); while(c!='m' && c!='h'); b1=(c=='h'),x=read()<<1|b1;
            do c=getchar(); while(c!='m' && c!='h'); b2=(c=='h'),y=read()<<1|b2;
            add(x^1,y);add(y^1,x);
        }
        puts(check()?"GOOD":"BAD");
    }
return 0;
}