学了一发2-SAT,感觉还是比较好理解的。
伍昱 由对称性解2-sat问题(ppt)
【研究总结】2-sat问题
推荐这个ppt和这个blog。
那么这道题就是一道裸题啦。
把汉式料理和满式料理看做点,满足的条件是至少选一个,也就是每次读入u,v,要连边u’->v,v’->u,代表若不选u必选v,若不选v必选u。跑2-SAT就行了。
#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
int n,m,cnt,tot,top,scc,flag,Case;
int head[205],dfn[205],low[205],stack[205],belong[205];
bool inset[205];
int next[2005],list[2005];
inline int read()
{
int a=0,f=1; char c=getchar();
while (c<'0'||c>'9') {if (c=='-') f=-1; c=getchar();}
while (c>='0'&&c<='9') {a=a*10+c-'0'; c=getchar();}
return a*f;
}
inline int init()
{
char c=getchar();
while (c!='m'&&c!='h') c=getchar();
if (c=='m') return read()*2;
return read()*2+1;
}
inline void insert(int x,int y)
{
next[++cnt]=head[x];
head[x]=cnt;
list[cnt]=y;
}
void dfs(int x)
{
dfn[x]=low[x]=++tot;
stack[++top]=x;
inset[x]=1;
for (int i=head[x];i;i=next[i])
if (!dfn[list[i]])
{
dfs(list[i]);
low[x]=min(low[x],low[list[i]]);
}
else if (inset[list[i]]) low[x]=min(low[x],dfn[list[i]]);
if (low[x]==dfn[x])
{
int i=-1; scc++;
while (i!=x)
{
i=stack[top--];
inset[i]=0;
belong[i]=scc;
}
}
}
inline void tarjan()
{
for (int i=2;i<=2*n+1;i++) if (!dfn[i]) dfs(i);
}
int main()
{
Case=read();
while (Case--)
{
n=read(); m=read();
flag=top=cnt=tot=scc=0;
memset(head,0,sizeof(head));
memset(dfn,0,sizeof(dfn));
for (int i=1;i<=m;i++)
{
int u=init(),v=init();
insert(u^1,v); insert(v^1,u);
}
tarjan();
for (int i=1;i<=n;i++)
if (belong[2*i]==belong[2*i+1]) {flag=1; break;}
flag?puts("BAD"):puts("GOOD");
}
return 0;
}