題目描述
滿漢全席是中國最豐盛的宴客菜餚，有許多種不同的材料透過滿族或是漢族的料理方式，呈現在數量繁多的菜色之中。由於菜色眾多而繁雜，只有極少數博學多聞技藝高超的廚師能夠做出滿漢全席，而能夠烹飪出經過專家認證的滿漢全席，也是中國廚師最大的榮譽之一。

世界滿漢全席協會是由能夠料理滿漢全席的專家廚師們所組成，而他們之間還細分為許多不同等級的廚師。為了招收新進的廚師進入世界滿漢全席協會，將於近日舉辦滿漢全席大賽，協會派遣許多會員當作評審員，為的就是要在參賽的廚師之中，找到滿漢料理界的明日之星。

大會的規則如下：每位參賽的選手可以得到 n 種材料，選手可以自由選擇用滿式或是漢式料理將材料當成菜餚。大會的評審制度是：共有 m 位評審員分別把關。每一位評審員對於滿漢全席有各自獨特的見解，但基本見解是，要有兩樣菜色作為滿漢全席的標誌。如某評審認為，如果沒有漢式東坡肉跟滿式的涮羊肉鍋，就不能算是滿漢全席。但避免過於有主見的稽核，大會規定一個評審員除非是在認為必備的兩樣菜色都沒有做出來的狀況下，才能淘汰一位選手，否則不能淘汰一位參賽者。換句話說，只要參賽者能在這兩種材料的做法中，其中一個符合評審的喜好即可通過該評審的審查。如材料有豬肉，羊肉和牛肉時，有四位評審員的喜好如下表： 評審一 評審二 評審三 評審四 滿式牛肉 滿式豬肉 漢式牛肉 漢式牛肉 漢式豬肉 滿式羊肉 漢式豬肉 滿式羊肉 如參賽者甲做出滿式豬肉，滿式羊肉和滿式牛肉料理，他將無法滿足評審三的要求，無法通過評審。而參賽者乙做出漢式豬肉，滿式羊肉和滿式牛肉料理，就可以滿足所有評審的要求。 但大會後來發現，在這樣的制度下如果材料選擇跟派出的評審員沒有特別安排好的話，所有的參賽者最多隻能通過部分評審員的審查而不是全部，所以可能會發生沒有人通過考核的情形。

如有四個評審員喜好如下表時，則不論參賽者採取什麼樣的做法，都不可能通過所有評審的考核： 評審一 評審二 評審三 評審四 滿式羊肉 滿式豬肉 漢式羊肉 漢式羊肉 漢式豬肉 滿式羊肉 漢式豬肉 滿式豬肉 所以大會希望有人能寫一個程式來判斷，所選出的 m 位評審，會不會發生 沒有人能通過考核的窘境，以便協會組織合適的評審團。

輸入
第一行包含一個數字 K，代表測試檔案包含了 K 組資料。

每一組測試資料的第一行包含兩個數字 n 跟 m（n≤100，m≤1000），代表有 n 種材料，m 位評審員。

為方便起見，材料捨棄中文名稱而給予編號，編號分別從 1 到 n。

接下來的 m 行，每行都代表對應的評審員所擁有的兩個喜好，每個喜好由一個英文字母跟一個數字代表，

如 m1 代表這個評審喜歡第 1 個材料透過滿式料理做出來的菜，

而 h2 代表這個評審員喜歡第 2 個材料透過漢式料理做出來的菜。

每個測試檔案不會有超過 50 組測試資料，而每筆測試資料中材料的種類數跟評審員的個數均不超過 15。

輸出
每筆測試資料輸出一行，如果不會發生沒有人能通過考核的窘境，輸出 GOOD；否則輸出 BAD（大寫字母）。

樣例輸入
2
3 4
m3 h1
m1 m2
h1 h3
h3 m2
2 4
h1 m2
m2 m1
h1 h2
m1 h2
樣例輸出
GOOD
BAD

題解

標準的 2-Sat 問題
（A,B）不能同時不取
此時的連邊方法是：A’與 B 連，B’與 A 連
然後 Tarjan 縮點判斷 A 和 A’是否在一個連通塊內即可

程式碼

#include<bits/stdc++.h>
#define N 205
using namespace std;
struct edge{int to,nex;}e[N*10];
int T,n,m,cnt,num,head[N],dfn[N],sta[N],vis[N],col[N],low[N],x,y;
char c1,c2;
void add(int s,int t){e[++cnt].to=t;e[cnt].nex=head[s];head[s]=cnt;}
void Tarjan(int x){
    dfn[x]=low[x]=++num;sta[++sta[0]]=x;vis[x]=1;
    for(int k=head[x];k;k=e[k].nex){
        if(!dfn[e[k].to]) Tarjan(e[k].to),low[x]=min(low[x],low[e[k].to]);
        else if(vis[e[k].to]) low[x]=min(low[x],dfn[e[k].to]);}
    if(dfn[x]==low[x]){
        col[x]=++col[0];vis[x]=0;
        while(sta[sta[0]]!=x)vis[sta[sta[0]]]=0,col[sta[sta[0]--]]=col[0];
        sta[0]--;}
}
int main(){
    cin>>T;
    while(T--){
        scanf("%d%d",&n,&m);
        for(int i=0;i<=N;i++) head[i]=dfn[i]=sta[i]=vis[i]=col[i]=col[i]=low[i]=0;
        cnt=num=0;
        for(int i=1;i<=m;i++){
            scanf(" %c%d %c%d",&c1,&x,&c2,&y);
            if(c1=='m') x+=n;
            if(c2=='m') y+=n;
            if(c1=='h') add(x+n,y); else add(x-n,y);
            if(c2=='h') add(y+n,x); else add(y-n,x);}
        for(int i=1;i<=n;i++) if(!dfn[i]) Tarjan(i);
        bool pd=1;
        for(int i=1;i<=n*2;i++) if(col[i]&&col[i]==col[i+n]){pd=0;break;}
        puts(pd?"GOOD":"BAD");}
    return 0;
}