裸的2-sat 选 (hi,mj) 的话就连 (i′,j)(j′,i) 特别的 (hi,mi) 不用连
最近集训被吊打啊 好蒻 打算扎实学习一阵 总觉得在知识和实践之间有着一道无法跨越的鸿沟
#include<bits/stdc++.h>
#define bug(x) cout<<(#x)<<" "<<(x)<<endl
#define cl(x) memset(x,0,sizeof x)
/*
char *TT,*mo,but[(1<<15)+2];
#define getchar() ((TT==mo&&(mo=(TT=but)+fread(but,1,1<<15,stdin),TT==mo))?-1:*TT++)//*/
using namespace std;
const int N=2e3+5;
inline int read(){
int x=0,f=1;char ch=getchar();
while(ch<'0'||ch>'9'){if(ch=='-')f=-1;ch=getchar();}
while(ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}
return x*f;
}
struct Edge{
int v,nxt;
}e[N*2];
int n,m,T,id,flag,tot,cnt,top,head[N],dfn[N],low[N],q[N],bel[N];
bool vis[N];
char s1,s2;
void add(int u,int v){
e[++tot].v=v,e[tot].nxt=head[u],head[u]=tot;
}
void tarjan(int x){
dfn[x]=low[x]=++id,q[++top]=x,vis[x]=1;
for(int i=head[x];i;i=e[i].nxt){
int j=e[i].v;
if(!dfn[j]) tarjan(j),low[x]=min(low[x],low[j]);
else if(vis[j]) low[x]=min(low[x],dfn[j]);
}
if(low[x]==dfn[x]){
++cnt;
do{
// cout<<q[top]<<" ";
vis[q[top]]=0;
bel[q[top]]=cnt;
}while(q[top--]!=x);
// cout<<endl;
}
}
int main(){
#ifdef Devil_Gary
freopen("in.txt","r",stdin);
#endif
T=read();
while(T--){
n=read(),m=read();
cl(vis),cl(head),cl(e),cl(dfn),cl(low),cl(bel);
tot=id=cnt=flag=top=0;
for(int i=1,x,y,xx,yy,p1,p2;i<=m;i++){
scanf("\n%c%d %c%d",&s1,&p1,&s2,&p2);
if(s1=='h')x=p1,xx=p1+n;
else xx=p1,x=p1+n;
if(s2=='h')y=p2,yy=p2+n;
else yy=p2,y=p2+n;
if(abs(x-y)!=n&&(x-y)!=0) add(xx,y),add(yy,x);
}
for(int i=1;i<=n;i++) if(!dfn[i]) tarjan(i);
for(int i=1;i<=n;i++) if(bel[i]==bel[i+n]) {
flag=1;break;
}
printf(flag?"BAD\n":"GOOD\n");
}
return 0;
}