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

题目大意：给出n种食材，m个评审员，每种食材能做成满式或汉式，每位评委想吃两种菜式，做出一种即可，问能否有一种做菜方案满足所有评委

典型的2-SAT模型。来看看建图吧。

将一种食材分成4个点，做成满式，不做成满式，做成汉式，不做成汉式。
对于每一个评委的要求x,y，若不做x就要做y，若不做y就要做x，分别连边。
对于每一种食材，若不做成满式就做成汉式，若不做成汉式就做成满式。
Tarjan缩点以后若一种食材做成满式与做成汉式在同一个强连通分量里即矛盾。

#include <cstdio>
#include <cstring>
#include <algorithm>
#define N 105
using namespace std;
struct Edge {
    int from,to,nxt;
}e[N*N];
int T,n,m,cnt,top,scc_cnt,fir[N*4],dfn[N*4],low[N*4],sccno[N*4],s[N*4];
bool k[N*4];
void Add_Edge(int from,int to) {
    e[++cnt].from=from;
    e[cnt].to=to;
    e[cnt].nxt=fir[from];
    fir[from]=cnt;
    return ;
}
void Tarjan(int x) {
    dfn[x]=low[x]=++T;
    k[x]=true;
    s[++top]=x;
    for(int i=fir[x];i;i=e[i].nxt) {
        if(!dfn[e[i].to]) Tarjan(e[i].to), low[x]=min(low[x],low[e[i].to]);
        else if(k[e[i].to]) low[x]=min(low[x],dfn[e[i].to]);
    }
    if(dfn[x]==low[x]) {
        scc_cnt++;
        do {
            sccno[s[top]]=scc_cnt;
            k[s[top]]=false;
        }while(s[top--]!=x);
    }
    return ;
}
int main() {
    int K;
    scanf("%d",&K);
    while(K--) {
        scanf("%d%d",&n,&m);
        memset(fir,0,sizeof fir);
        memset(dfn,0,sizeof dfn);
        memset(low,0,sizeof low);
        memset(sccno,0,sizeof sccno);
        top=T=cnt=0;
        for(int i=1;i<=m;i++) {
            char s[15];
            int x,y;
            scanf("%s",s);
            sscanf(s+1,"%d",&x);
            if(s[0]=='h') x+=n;
            scanf("%s",s);
            sscanf(s+1,"%d",&y);
            if(s[0]=='h') y+=n;
            Add_Edge(y+2*n,x);
            Add_Edge(x+2*n,y);
        }
        for(int i=1;i<=n;i++) Add_Edge(i,i+n*3), Add_Edge(i+n,i+2*n);
        for(int i=1;i<=n*4;i++)
            if(!dfn[i])
                Tarjan(i);
        bool flag=true;
        for(int i=1;i<=n;i++)
            if(sccno[i]==sccno[i+n]) {
                flag=false;
                break;
            }
        if(flag) printf("GOOD\n");
        else printf("BAD\n");
    }
    return 0;
}