[2-sat] bzoj1823: [JSOI2010]满汉全席

bzoj 1823: [JSOI2010]满汉全席 http://www.lydsy.com/JudgeOnline/problem.php?id=1823

2-sat 模板题 dalao一眼A

模板题在这里->http://caioj.cn/problem.php?id=1405

一种材料有两种做法

例如评审员a要求材料1要做成汉式，材料2要做成满式时 要通过评审员那么满式的1和汉式的2就不能同时出现

这就是不相容条件辣 oAo

然然后要统一是从正形式连到反形式还是反过来

然然然后一直WA我也不知道改了什么就A了

#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;
struct node
{
int x,y,next;
}a[2100];
int last[210],len;
int dfn[210],low[210],id;
int belong[210],cnt,sta[210],top;
bool v[210];
void build(int x,int y)
{
len++;
a[len].x=x;a[len].y=y;a[len].next=last[x];last[x]=len;
}
void dfs(int x)
{
dfn[x]=low[x]=++id;
v[x]=false;sta[++top]=x;
for (int k=last[x];k;k=a[k].next)
{
int y=a[k].y;
if (dfn[y]==0)
{
dfs(y);
low[x]=min(low[x],low[y]);
}
else
{
if (v[y]==false) low[x]=min(low[x],dfn[y]);
}
}
if (low[x]==dfn[x])
{
cnt++;
int i=0;
while (i!=x)
{
i=sta[top--];
v[i]=true;
belong[i]=cnt;
}
}
}
int main()
{
//freopen("1823.out","w",stdout);
//同一材料 汉式和满式只能选一种做 满足不相容条件
int t;
int n,m;
scanf("%d",&t);
while (t--)
{
memset(last,0,sizeof(last));len=0;
memset(dfn,0,sizeof(dfn));
memset(low,0,sizeof(low));id=0;
memset(belong,0,sizeof(belong));cnt=top=0;
memset(v,true,sizeof(v));
scanf("%d%d",&n,&m);
for (int i=1;i<=m;i++)
{
int x=0,y=0,xx,yy;char c1[6],c2[6];
scanf("%s %s",c1,c2);
int k=1;
while (c1[k]!=0) {x=x*10+c1[k]-'0';k++;}k=1;
while (c2[k]!=0) {y=y*10+c2[k]-'0';k++;}
if (c1[0]=='m') x+=n;
if (c2[0]=='m') y+=n;
xx=x;yy=y;
//因为要同时满足x和y 所以相反菜式就不能同时出现 这两个即为不相容条件 那么就连相反条件
if (c1[0]=='h') xx+=n; else xx-=n;
if (c2[0]=='h') yy+=n; else yy-=n;
build(xx,y); build(yy,x);
}
for (int i=1;i<=2*n;i++)
{
if (dfn[i]==0) dfs(i);
}
int bk=false;
for (int i=1;i<=n;i++)
{
if (belong[i]==belong[i+n]) {bk=true;break;}
}
if (bk) printf("BAD\n");
else printf("GOOD\n");
}
return 0;
}