因为每种食材只有一份，所以两个评委的如果有要求同一种食材的两种做法就是不可行，用这个来建立2-SAT模型
然后跑tarjan判可行性即可
#include<iostream>
#include<cstdio>
#include<cstring>
#include<queue>
using namespace std;
const int N=200005;
int T,n,m,h[N],cnt,dfn[N],low[N],tot,s[N],top,bl[N],col,rl[N],a[N],b[N];
bool v[N],fl;
struct qwe
{
int ne,to;
}e[N*10];
int read()
{
int r=0,f=0;
char p=getchar();
while(p>'9'||p<'0')
{
if(p=='m')
f=n;
p=getchar();
}
while(p>='0'&&p<='9')
{
r=r*10+p-48;
p=getchar();
}
return r+f;
}
void add(int u,int v)
{
cnt++;
e[cnt].ne=h[u];
e[cnt].to=v;
h[u]=cnt;
}
void tarjan(int u)
{
dfn[u]=low[u]=++tot;
v[s[++top]=u]=1;
for(int i=h[u];i;i=e[i].ne)
{
if(!dfn[e[i].to])
{
tarjan(e[i].to);
low[u]=min(low[u],low[e[i].to]);
}
else if(v[e[i].to])
low[u]=min(low[u],dfn[e[i].to]);
}
if(low[u]==dfn[u])
{
col++;
while(s[top]!=u)
{
bl[s[top]]=col;
v[s[top--]]=0;
}
bl[s[top]]=col;
v[s[top--]]=0;
}
}
int main()
{
T=read();
while(T--)
{
memset(h,0,sizeof(h));
memset(dfn,0,sizeof(dfn));
memset(v,0,sizeof(v));
cnt=0,tot=0,top=0,col=0,fl=1;
n=read(),m=read();
for(int i=1;i<=n;i++)
rl[i]=i,rl[i+n]=i;
for(int i=1;i<=m;i++)
a[i]=read(),b[i]=read();
for(int i=1;i<=m;i++)
for(int j=i+1;j<=m;j++)
{
if(rl[a[i]]==rl[a[j]]&&a[i]!=a[j])
add(i,j+m),add(j,i+m);
if(rl[b[i]]==rl[b[j]]&&b[i]!=b[j])
add(i+m,j),add(j+m,i);
if(rl[a[i]]==rl[b[j]]&&a[i]!=b[j])
add(i,j),add(j+m,i+m);
if(rl[b[i]]==rl[a[j]]&&b[i]!=a[j])
add(i+m,j+m),add(j,i);
}
for(int i=1;i<=m+m;i++)
if(!dfn[i])
tarjan(i);
for(int i=1;i<=m;i++)
if(bl[i]==bl[i+m])
{
fl=0;
break;
}
if(fl)
puts("GOOD");
else
puts("BAD");
}
return 0;
}