BZOJ_1823_[JSOI2010]满汉全席_2-sat+tarjan

BZOJ_1823_[JSOI2010]满汉全席_2-sat

题意：http://www.lydsy.com/JudgeOnline/problem.php?id=1823

分析：一道比较容易看出来的2-sat。

设满为1，汉为0；

题目要求两个至少满足一个。那么建图同奶牛议会http://www.cnblogs.com/suika/p/8457467.html。

之后求一遍强连通分量。

如果同一个点的true和false在一个强连通分量中就不可能满足。

代码：

#include <stdio.h>
#include <string.h>
#include <algorithm>
using namespace std;
#define N 250
#define M 4500
int head
,to[M],nxt[M],cnt,n,m,ins
;
char s1[20],s2[20];
int tot,dfn
,low
,st
,top,bel
,scc;
inline void add(int u,int v){
to[++cnt]=v;nxt[cnt]=head[u];head[u]=cnt;
}
void tarjan(int x){
dfn[x]=low[x]=++tot;
st[top++]=x;ins[x]=1;
for(int i=head[x];i;i=nxt[i]){
if(!dfn[to[i]]){
tarjan(to[i]);
low[x]=min(low[x],low[to[i]]);
}else if(ins[to[i]]){
low[x]=min(low[x],dfn[to[i]]);
}
}
if(low[x]==dfn[x]){
int t=st[--top];ins[t]=0;
bel[t]=++scc;
while(t^x){
t=st[--top];ins[t]=0;
bel[t]=scc;
}
}
}
int main(){
int T;
scanf("%d",&T);
while(T--){
memset(head,0,sizeof(head));cnt=0;tot=0;scc=0;
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));
scanf("%d%d",&n,&m);
int x,y,tx,ty;
for(int i=1;i<=m;i++){
scanf("%s%s",s1,s2);
if(s1[0]=='m')tx=1;else tx=0;
if(s2[0]=='m')ty=1;else ty=0;
sscanf(s1+1,"%d",&x);
sscanf(s2+1,"%d",&y);
add((1-tx)*n+x,ty*n+y);
add((1-ty)*n+y,tx*n+x);
}
int flg=0;
for(int i=1;i<=n+n;i++)if(!dfn[i])tarjan(i);
for(int i=1;i<=n;i++){
if(bel[i]==bel[i+n]){
flg=1;break;
}
}
puts(flg?"BAD":"GOOD");
}
}