bzoj1823满汉全席

2-sat模板

这篇博客写得非常好

传送门

//Achen
#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdlib>
#include<cstdio>
#include<vector>
#include<queue>
#include<ctime>
#include<cmath>
const int N=;
typedef long long LL;
using namespace std;
int T,n,m,bel[N],dfn[N],low[N];

template<typename T> void read(T &x) {
    char ch=getchar(); x=; T f=;
    while(ch!='-'&&(ch<''||ch>'')) ch=getchar();
    if(ch=='-') f=-,ch=getchar();
    for(;ch>=''&&ch<='';ch=getchar()) x=x*+ch-''; x*=f;
}

int ecnt,fir[N],nxt[],to[];
void add(int u,int v) {
    nxt[++ecnt]=fir[u]; fir[u]=ecnt; to[ecnt]=v;
}

int get() {
    int x; char o=getchar();
    while(o!='h'&&o!='m') o=getchar(); read(x);
    return o=='h'?(x<<):(x<<|);
}

int que[N],dfs_clock,top,tot;
void tarjan(int x) {
    dfn[x]=low[x]=++dfs_clock;
    que[++top]=x;
    for(int i=fir[x];i;i=nxt[i]) {
        if(!dfn[to[i]]) {
            tarjan(to[i]);
            low[x]=min(low[x],low[to[i]]);
        }
        else if(!bel[to[i]]) low[x]=min(low[x],dfn[to[i]]);
    }
    if(dfn[x]==low[x]) {
        tot++;
        while(top) {
            int tp=que[top--];
            bel[tp]=tot;
            if(tp==x) break;
        }
    }
}

int main() {
#ifdef DEBUG
    freopen(".in","r",stdin);
    freopen(".out","w",stdout);
#endif
    read(T);
    while(T--) {
        read(n); read(m); ecnt=;
        memset(dfn,,sizeof(dfn));
        memset(bel,,sizeof(bel));
        memset(fir,,sizeof(fir));
        for(int i=;i<=m;i++) {
            int x=get();
            int y=get();
            add(x^,y); add(y^,x);
        }
        dfs_clock=tot=;
        for(int i=;i<=(n<<|);i++) if(!dfn[i]) tarjan(i);
        int fl=;
        for(int i=;i<=(n<<|);i+=)
            if(bel[i]==bel[i|]) {
                fl=; break;
            }
        if(fl) puts("BAD");
        else puts("GOOD");
    }
    return ;
}