P4171 [JSOI2010]满汉全席（2-SAT）

传送门

2-SAT裸题

把每一道菜拆成两个点分别表示用汉式或满式

连边可以参考板子->这里

然后最尴尬的是我没发现$n<=100$然后化成整数的时候只考虑了$s[1]$结果炸掉了2333

 //minamoto
 #include<cstdio>
 #include<cstring>
 template<class T>inline bool cmin(T&a,const T&b){return a>b?a=b,:;}
 const int N=,M=;
 int head[N],Next[M],ver[M],tot;
 inline void add(int u,int v){
     ver[++tot]=v,Next[tot]=head[u],head[u]=tot;
 }
 int dfn[N],low[N],bl[N],st[N],num,cnt,top,n,m;
 inline void clear(){
     memset(dfn,,sizeof(dfn)),
     memset(low,,sizeof(low)),
     memset(bl,,sizeof(bl)),
     memset(st,,sizeof(st)),
     memset(head,,sizeof(head));
     top=cnt=num=tot=;
 }
 void tarjan(int u){
     dfn[u]=low[u]=++num,st[++top]=u;
     for(int i=head[u];i;i=Next[i]){
         int v=ver[i];
         if(!dfn[v]) tarjan(v),cmin(low[u],low[v]);
         else if(!bl[v]) cmin(low[u],dfn[v]);
     }
     if(dfn[u]==low[u]) for(++cnt;st[top+]!=u;--top) bl[st[top]]=cnt;
 }
 char s[],ss[];
 void solve(){
     clear();
     scanf("%d%d",&n,&m);
     for(int i=;i<=m;++i){
         scanf("%s%s",s,ss);
         int a=s[]=='m',c=ss[]=='m';
         int b=,d=,k;
         k=;while(s[k]>=''&&s[k]<='') b=b*+s[k++]-'';
         k=;while(ss[k]>=''&&ss[k]<='') d=d*+ss[k++]-'';
         add(b+(!a)*n,d+c*n),add(d+(!c)*n,b+a*n);
     }
     for(int i=,l=*n;i<=l;++i) if(!dfn[i]) tarjan(i);
     for(int i=;i<=n;++i)
     if(bl[i]==bl[i+n]) return (void)(puts("BAD"));
     puts("GOOD");
 }
 int main(){
 //    freopen("testdata.in","r",stdin);
     int T;scanf("%d",&T);
     while(T--) solve();
     return ;
 }