bzoj 1823 [JSOI2010]满汉全席

题目链接

题目大意

一个材料有两种做法。
每个评委都有两个偏好，如果两个都没满足，那么厨师就不能通过。
问是不是会出现没人可以通过的尴尬情景。

题解

这是一道2-sat的入门题。
我写得很麻烦。
就是对于每一种菜都拆点。
由于一种材料只能用一次，所以去了H1就只能取M1’，以此类推。
对于每一种喜好[a,b]，都连两条边，[a’,b],[b’,a]，表示不取其中一种，就必须取另一种。
构完图之后跑一边Tarjan，判断有没有同一种材料的不同菜在同一个连通分量中，或者拆出来的两个点在同一个连通分量中。

#include <cstdio>
#include <cctype>
#include <algorithm>
using namespace std;
const int M=1005;
struct Edge{
    int to,nxt;
    Edge(int _to=0,int _nxt=0):to(_to),nxt(_nxt){}
}edge[M<<1];
int head[M],etot;
inline void add_edge(int a,int b){
    edge[etot]=Edge(b,head[a]);
    head[a]=etot++;
}
inline void rd(int&res){
    res=0;char c;
    while(c=getchar(),!isdigit(c));
    do res=res*10+(c^48);
    while(c=getchar(),isdigit(c));
}
void input(int&res){
    res=0;char c;
    while(c=getchar(),c!='h'&&c!='m');
    rd(res);
    res=(res-1)*2;
    if(c=='m') res|=1;
}
int stk[M],belong[M],low[M],dfn[M],instk[M];
int dfs_clock,top,bcnt;
void Tarjan(int x){
    low[x]=dfn[x]=++dfs_clock;
    instk[x]=1;
    stk[++top]=x;
    for(int i=head[x];~i;i=edge[i].nxt){
        int to=edge[i].to;
        if(!dfn[to]){
            Tarjan(to);
            low[x]=min(low[x],low[to]);
        }else if(instk[to]) low[x]=min(low[x],dfn[to]);
    }
    if(low[x]==dfn[x]){
        bcnt++;
        int u;
        do{
            u=stk[top--];
            belong[u]=bcnt;
            instk[u]=0;
        }while(u!=x);
    }
}
void solve(){
    etot=0;
    int n,m;
    scanf("%d%d",&n,&m);
    n<<=1;
    top=dfs_clock=bcnt=0;
    for(int i=0;i<=n+n;i++)
        head[i]=-1,instk[i]=dfn[i]=0;
    for(int i=0;i<m;i++){
        int a,b;
        input(a);input(b);
        // printf("a and b %d %d\n",a,b);
        add_edge(a+n,b);
        add_edge(b+n,a);
    }
    for(int i=0;i<n;i++){
        add_edge(i+n,i^1);
        add_edge(i^1,i+n);
    }
    for(int i=0;i<(n<<1);i++)
        if(!dfn[i]) Tarjan(i);
    for(int i=0;i<n;i++)
        if(belong[i]==belong[i+n]||belong[i]==belong[i^1]){
            puts("BAD");
            return;
        }
    puts("GOOD");
}
int main(){
    int T;
    scanf("%d",&T);
    while(T--) solve();
    return 0;
}