【BZOJ1823】[JSOI2010]滿漢全席 2-SAT

標籤：tar   desc   bad   std   輸出   name   scanf   判斷   考核   

【BZOJ1823】[JSOI2010]滿漢全席Description

滿漢全席是中國最豐盛的宴客菜肴，有許多種不同的材料透過滿族或是漢族的料理方式，呈現在數量繁多的菜色之中。由於菜色眾多而繁雜，只有極少數博學多聞技藝高超的廚師能夠做出滿漢全席，而能夠烹飪出經過專家認證的滿漢全席，也是中國廚師最大的榮譽之一。 世界滿漢全席協會是由能夠料理滿漢全席的專家廚師們所組成，而他們之間還細分為許多不同等級的廚師。為了招收新進的廚師進入世界滿漢全席協會，將於近日舉辦滿漢全席大賽，協會派遣許多會員當作評審員，為的就是要在參賽的廚師之中，找到滿漢料理界的明日之星。 大會的規則如下：每位參賽的選手可以得到n 種材料，選手可以自由選擇用滿式或是漢式料理將材料當成菜肴。大會的評審制度是：共有m 位評審員分別把關。每一位評審員對於滿漢全席有各自獨特的見解，但基本見解是，要有兩樣菜色作為滿漢全席的標誌。如某評審認為，如果沒有漢式東坡肉跟滿式的涮羊肉鍋，就不能算是滿漢全席。但避免過於有主見的審核，大會規定一個評審員除非是在認為必備的兩樣菜色都沒有做出來的狀況下，才能淘汰一位選手，否則不能淘汰一位參賽者。換句話說，只要參賽者能在這兩種材料的做法中，其中一個符合評審的喜好即可通過該評審的審查。如材料有豬肉，羊肉和牛肉時，有四位評審員的喜好如下表： 評審一 評審二 評審三 評審四 滿式牛肉 滿式豬肉 漢式牛肉 漢式牛肉 漢式豬肉 滿式羊肉 漢式豬肉 滿式羊肉 如參賽者甲做出滿式豬肉，滿式羊肉和滿式牛肉料理，他將無法滿足評審三的要求，無法通過評審。而參賽者乙做出漢式豬肉，滿式羊肉和滿式牛肉料理，就可以滿足所有評審的要求。 但大會後來發現，在這樣的制度下如果材料選擇跟派出的評審員沒有特別安排好的話，所有的參賽者最多隻能通過部分評審員的審查而不是全部，所以可能會發生沒有人通過考核的情形。如有四個評審員喜好如下表時，則不論參賽者採取什麼樣的做法，都不可能通過所有評審的考核： 評審一 評審二 評審三 評審四 滿式羊肉 滿式豬肉 漢式羊肉 漢式羊肉 漢式豬肉 滿式羊肉 漢式豬肉 滿式豬肉 所以大會希望有人能寫一個程式來判斷，所選出的m 位評審，會不會發生 沒有人能通過考核的窘境，以便協會組織合適的評審團。

Input

第一行包含一個數字 K，代表測試檔案包含了K 組資料。每一組測試資料的第一行包含兩個數字n 跟m（n≤100，m≤1000），代表有n 種材料，m 位評審員。為方便起見，材料捨棄中文名稱而給予編號，編號分別從1 到n。接下來的m 行，每行都代表對應的評審員所擁有的兩個喜好，每個喜好由一個英文字母跟一個數字代表，如m1 代表這個評審喜歡第1 個材料透過滿式料理做出來的菜，而h2 代表這個評審員喜歡第2 個材料透過漢式料理做出來的菜。每個測試檔案不會有超過50 組測試資料

Output

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

Sample Input2
3 4
m3 h1
m1 m2
h1 h3
h3 m2
2 4
h1 m2
m2 m1
h1 h2
m1 h2
Sample OutputGOOD
BAD

題解：又一道語文題~

本題的2-SAT模型是：對於一個評委喜歡的兩道菜，二者必須選一個。假設評委喜歡A,B，那麼選了A‘就必須選B，選了B‘就必須選A，連邊就好了

本題不需要輸出方案，直接Tarjan即可

#include <cstdio>#include <cstring>#include <iostream>using namespace std;int n,m,cnt,top,tot,sum;int to[20010],next[20010],head[2100],dep[2100],low[2100],ins[2100],sta[2100],bel[2100];int rd(){int ret=0,f=0;char gc=getchar();while(gc<‘0‘||gc>‘9‘){if(gc==‘m‘)f=1;gc=getchar();}while(gc>=‘0‘&&gc<=‘9‘)ret=ret*10+gc-‘0‘,gc=getchar();return (ret-1)<<1|f;}void tarjan(int x){dep[x]=low[x]=++tot,ins[x]=1,sta[++top]=x;for(int i=head[x];i!=-1;i=next[i]){if(!dep[to[i]])tarjan(to[i]),low[x]=min(low[x],low[to[i]]);elseif(ins[to[i]])low[x]=min(low[x],dep[to[i]]);}if(dep[x]==low[x]){sum++;int t;do{t=sta[top--],ins[t]=0,bel[t]=sum;}while(t!=x);}}void add(int a,int b){to[cnt]=b,next[cnt]=head[a],head[a]=cnt++;}void work(){cnt=tot=sum=0;memset(head,-1,sizeof(head));memset(dep,0,sizeof(dep));scanf("%d%d",&n,&m);int i,a,b;for(i=1;i<=m;i++){a=rd(),b=rd();add(a^1,b),add(b^1,a);}for(i=0;i<2*n;i++)if(!dep[i])tarjan(i);for(i=0;i<n;i++)if(bel[i<<1]==bel[i<<1|1]){printf("BAD\n");return ;}printf("GOOD\n");return ;}int main(){int K;scanf("%d",&K);while(K--)work();return 0;}

【BZOJ1823】[JSOI2010]滿漢全席 2-SAT