BZOJ 1823 [JSOI2010]滿漢全席 - 2-sat

好裸的一道題。
建邊的思路，對於一個評委來說，設一個材料A選h，B選m，那麼若A選m的話，B必須選m，B選h的話，A必須選h（因爲兩者之一要滿足被選）

2-sat的關鍵思路就是找出一個被選，另一個必須被選的這樣的約束關係。

還有就是注意下標！！！2~2n+1

#include<iostream>
#include<cstring>
#include<cstdlib>
#include<cstdio>
#include<algorithm>

using namespace std;

const int maxn=2005;

struct edge
{
    int to,next;
}e[maxn<<1];

int cnt,n,m,T,scnt,scccnt,dfs_clock;
int stack[maxn],dfn[maxn],low[maxn],head[maxn],belong[maxn];
bool inq[maxn];

void insert(int a,int b)
{
    e[++cnt].to=b;e[cnt].next=head[a];head[a]=cnt;
}
void tarjan(int u)
{
    dfn[u]=low[u]=++dfs_clock;
    inq[u]=true;
    stack[++scnt]=u;
    for(int i=head[u];i;i=e[i].next)
    {
        int v=e[i].to;
        if(!dfn[v])tarjan(v),low[u]=min(low[u],low[v]);
        else if(inq[v])low[u]=min(low[u],dfn[v]);
    }
    if(dfn[u]==low[u])
    {
        scccnt++;
        int now=0;
        while(now!=u)
        {
            now=stack[scnt--];
            inq[now]=false;
            belong[now]=scccnt;
        }
    }
}
int main()
{
    scanf("%d",&T);
    while(T--)
    {
        scccnt=dfs_clock=cnt=0;
        memset(head,0,sizeof head);
        memset(dfn,0,sizeof dfn);
        memset(low,0,sizeof low);
        scanf("%d%d",&n,&m);
        for(int i=1;i<=m;i++)
        {
            int x,y;char c1,c2;
            getchar();
            scanf("%c%d %c%d",&c1,&x,&c2,&y);
            x=(x<<1)+(c1=='h');
            y=(y<<1)+(c2=='h');
            insert(x^1,y);
            insert(y^1,x);
        }
        for(int i=2;i<=n*2+1;i++)if(!dfn[i])
            tarjan(i);
        bool ok=true;
        for(int i=1;i<=n;i++)
            if(belong[i<<1]==belong[(i<<1)+1])
            {
                ok=false;
                break;
            }
        puts(ok?"GOOD":"BAD");
    }
}