前置知识：( ext{2 - SAT}) 模板
简要题意：
烹饪比赛中你需要用 (n) 种材料，每种材料有两种烧法。（所谓汉式料理和满式）然后，(m) 个评委，每个评委都有要求：对第 (x) 道菜用第 (p) 种烧法（(p in {1,2})），或者 对第 (y) 道菜用第 (q) 种烧法（(q in {1,2})）. 是否有一种方案能让所有评委满足要求？（不必输出方案）
显然本题和 ( ext{2-SAT}) 类似，即建立布尔方程用模板解决。
关键，如何建立方程？即，如何建图？
首先，((x,p,y,q)) 应该要转化为：(x_i = p) 或 (x_j = q) 这种形式。
考虑一下，这是本来的建图的代码：
int a=read(),va=read(),b=read(),vb=read();
G[a+n*(va&1)].push_back(b+n*(vb^1));
G[b+n*(vb&1)].push_back(a+n*(va^1));
我们不想改动 ( ext{vector}) 的函数那两行，只想预处理出 (a,va,b,vb) 的值。
显然，(a) 和 (b) 应当分别对应 (p) 和 (q)，(va) 和 (vb) 分别对应 (x) 和 (y)，这样子建图就可以保证万无一失啦！
-
读入字符可以用 ( ext{scanf})，但快读较好。
-
注意 ( ext{vector}) 的清空操作，不是
for(int i=1;i<=n;i++)，而是for(int i=1;i<=(n<<1);i++)，时刻注意我们是 (n imes 2) 的图！
时间复杂度：(O(T imes (n+m))).（这题数据弱，导致 (T imes nm) 的暴力也过了，丧尽天良！）
实际得分：(100pts).
#pragma GCC optimize(2)
#include<bits/stdc++.h>
using namespace std;
const int N=2e3+1;
inline int read(){char ch=getchar();int f=1;while(ch<'0' || ch>'9') {if(ch=='-') f=-f; ch=getchar();}
int x=0;while(ch>='0' && ch<='9') x=(x<<3)+(x<<1)+ch-'0',ch=getchar();return x*f;}
bool h[N]; int cnt=0;
int times,dfn[N];
int low[N],n,m,f[N];
vector<int>G[N];
stack<int>s;
inline void dfs(int u) {
dfn[u]=low[u]=++times;
s.push(u); h[u]=1;
for(int i=0,t;i<G[u].size();i++) {
t=G[u][i];
if(!dfn[t]) {
dfs(t); low[u]=min(low[u],low[t]);
} else if(h[t]) low[u]=min(low[u],dfn[t]);
}
if(low[u]==dfn[u]) {
cnt++; int k;
do {
// a[cnt].push_back(s.top());
k=s.top();
h[k]=0; f[k]=cnt;
s.pop();
} while(k!=u) ;
}
}
template<typename T>inline void _read_(T &EE,T &X){
EE=0;char c=getchar();
for(;!isdigit(c);c=getchar()) X=c=='m'?1:X,X=c=='h'?0:X;
for(;isdigit(c);c=getchar()) EE=(EE<<1)+(EE<<3)+(c^48);
}
int main(){
int T=read(); while(T--) {
int n=read(),m=read(); while(m--) {
int a,a1,b,b1;
_read_(a,a1); _read_(b,b1); //建图
G[a+(a1^1)*n].push_back(b+b1*n);
G[b+(b1^1)*n].push_back(a+a1*n);
} for(int i=1;i<=(n<<1);i++)
if(!dfn[i]) dfs(i);
for(int i=1;i<=n;i++)
if(f[i]==f[i+n]) {
puts("BAD");
goto fin;
} puts("GOOD"); goto fin;
fin: { //记得数据还原
memset(f,0,sizeof(f));
memset(low,0,sizeof(low));
memset(dfn,0,sizeof(dfn));
for(int i=1;i<=(n<<1);i++) G[i].erase(G[i].begin(),G[i].end());
}
}
return 0;
}