【2-SAT】[JSOI2010]满汉全席

感觉方法和题解差不多，但是题解写的好烦啊...也不是烦，就是很复杂

这里建议开一个数组表示当前这个点选或者不选的编号，这样之后自己理思路也会清楚一点

然而我调了一个小时才发现我是Tarjan写错了......

这道题对于每一个菜分两种情况讨论，每一种情况又有选和不选两种方案

所以相当于每一个菜可以拆成4个点

　　1.做法M-选

　　2.做法M-不选

　　3.做法H-选

　　4.做法H-不选

显然题目里给的条件是或，但是不只是有题目里给的条件，还有隐含条件：一道菜只能有一种做法！

然后按照2-sat的套路就好了

代码里$bb[i][j][k]$数组表示当前是第i道菜，做法是j:1/2，选或者不选是k:0/1

这样之后加边的时候会很简洁明了

 #include<bits/stdc++.h>
 #define writeln(x)  write(x),puts("")
 #define writep(x)   write(x),putchar(' ')
 using namespace std;
 inline int read(){
     int ans=,f=;char chr=getchar();
     while(!isdigit(chr)){if(chr=='-') f=-;chr=getchar();}
     while(isdigit(chr)){ans=(ans<<)+(ans<<)+chr-;chr=getchar();}
     return ans*f;
 }void write(int x){
     if(x<) putchar('-'),x=-x;
     if(x>) write(x/);
     putchar(x%+'');
 }const int M = 2e4+;
 int head[M],nxt[M],ver[M],tot,T,n,m,bb[M][][],dfn[M],low[M],ins[M],sta[M],top,color,col[M];
 char s1[M],s2[M];
 struct Judge{int type[],x[];}J[M];
 inline void add(int x,int y){ver[++tot]=y,nxt[tot]=head[x],head[x]=tot;}
 void Tarjan(int x){
     dfn[x]=low[x]=++T;ins[x]=;sta[top++]=x;
     for(int i=head[x];i;i=nxt[i]){
         if(!dfn[ver[i]])Tarjan(ver[i]),low[x]=min(low[x],low[ver[i]]);
         else if(ins[ver[i]]==) low[x]=min(low[x],dfn[ver[i]]);
     }if(low[x]==dfn[x]){++color;
         do{    col[sta[--top]]=color;
             ins[sta[top]]=-;
         }while(sta[top]!=x);
     }return;
 }inline void Init(){
     memset(low,,sizeof(low)),memset(dfn,,sizeof(dfn)),memset(ins,,sizeof(ins));
     memset(col,,sizeof(col)),memset(head,,sizeof(head));tot=T=color=;
     n=read(),m=read();
     for(int i=;i<=m;i++){
         scanf("%s%s",s1,s2);
         int l1=strlen(s1),l2=strlen(s2);
         if(s1[]=='m')J[i].type[]=;else J[i].type[]=;
         if(s2[]=='m')J[i].type[]=;else J[i].type[]=;
         int p=,ans=;
         while(isdigit(s1[p])&&p<=l1){ans=(ans<<)+(ans<<)+s1[p]-;++p;}
         J[i].x[]=ans;p=,ans=;
         while(isdigit(s2[p])&&p<=l2){ans=(ans<<)+(ans<<)+s2[p]-;++p;}
         J[i].x[]=ans;
     }return;
 }inline void Make_Graph(){
     for(int i=;i<=n;i++)bb[i][][]=i,bb[i][][]=n+i,bb[i][][]=*n+i,bb[i][][]=*n+i;
     for(int i=;i<=m;i++){
         int x=J[i].type[],a=J[i].x[],y=J[i].type[],b=J[i].x[];
         add(bb[a][x][],bb[b][y][]),add(bb[b][y][],bb[a][x][]);
         add(bb[i][][],bb[i][][]),add(bb[i][][],bb[i][][]);
     }
 }inline void Solve(){
     for(int i=;i<=n*;i++)if(!dfn[i])Tarjan(i);
     for(int i=;i<=n;i++)if(col[bb[i][][]]==col[bb[i][][]]||col[bb[i][][]]==col[bb[i][][]])return puts("BAD"),void();
     puts("GOOD");
 }int main(){
     int T=read();
     while(T--)Init(),Make_Graph(),Solve();
     return ;
 }