[JSOI2010] 满汉全席

为了招收新进的厨师进入世界满汉全席协会，将于近日举办满汉全席大赛，协会派遣许多会员当作评审员，为的就是要在參赛的厨师之中，找到满汉料理界的明日之星。

大会的规则如下：每位參赛的选手可以得到n 种材料，选手可以*选择用满式或是汉式料理将材料当成菜肴。

大会的评审制度是：共有m 位评审员分别把关。每一位评审员对于满汉全席有各自独特的見解，但基本见解是，要有兩样菜色作为满汉全席的标志。如某评审认为，如果没有汉式东坡肉跟满式的涮羊肉锅，就不能算是满汉全席。但避免过于有主見的审核，大会规定一个评审员除非是在认为必备的两样菜色都没有做出來的狀况下，才能淘汰一位选手，否则不能淘汰一位參赛者。

换句话說，只要參赛者能在这兩种材料的做法中，其中一个符合评审的喜好即可通过该评审的审查。如材料有猪肉，羊肉和牛肉时，有四位评审员的喜好如下表：

评审一 评审二 评审三 评审四 
满式牛肉 满式猪肉 汉式牛肉 汉式牛肉 
汉式猪肉 满式羊肉 汉式猪肉 满式羊肉 

如參赛者甲做出满式猪肉，满式羊肉和满式牛肉料理，他将无法满足评审三的要求，无法通过评审。而參赛者乙做出汉式猪肉，满式羊肉和满式牛肉料理，就可以满足所有评审的要求。

但大会后來发现，在这样的制度下如果材料选择跟派出的评审员没有特别安排好的话，所有的參赛者最多只能通过部分评审员的审查而不是全部，所以可能会发生没有人通过考核的情形。

如有四个评审员喜好如下表时，则不论参赛者采取什么样的做法，都不可能通过所有评审的考核：

评审一 评审二 评审三 评审四 
满式羊肉 满式猪肉 汉式羊肉 汉式羊肉 
汉式猪肉 满式羊肉 汉式猪肉 满式猪肉 

所以大会希望有人能写一个程序來判断，所选出的m 位评审，会不会发生 没有人能通过考核的窘境，以便协会组织合适的评审团。

输入输出格式

输入格式：

第一行包含一个数字 K，代表测试文件包含了K 组资料。

每一组测试资料的第一行包含兩个数字n 跟m（n≤100，m≤1000），代表有n 种材料，m 位评审员。

为方便起見，材料舍弃中文名称而给予编号，编号分别从1 到n。

接下來的m 行，每行都代表对应的评审员所拥有的兩个喜好，每个喜好由一个英文字母跟一个数字代表，如m1 代表这个评审喜欢第1 个材料透过满式料理做出來的菜，而h2 代表这个评审员喜欢第2 个材料透过汉式料理做出來的菜。

每个测试文件不会有超过50 组测试资料

输出格式：

每笔测试资料输出一行，如果不会发生没有人能通过考核的窘境，输出GOOD；否则输出BAD（大写字母）。

输入输出样例

输入样例#1： 复制

1
2 4
h1 m2
m2 m1
h1 h2
m1 h2

输出样例#1： 复制

BAD

Solution

题目太长了，一句话题意，有一些原材料，每个材料可以选择做两个菜中的一个，你要选择这些材料做菜，使得满足所有的评委要求的菜品，每个评委有两道菜，至少满足一个就够了。
2-SAT？怎么建图？
我们把一到材料分成两个点，(i)和(i+n)，看样例，假设我们选了m1，我们就不能选h1了，因为一到材料只能做一道菜，那么意味着我们必须要选m2，因为要满足第一个评委，所以m1向m2连边，代表选了m1必须选m2，同理，我们选了h2，必须选h1，这还是对于第一个评委的要求。
就这样建图，最后跑一遍tarjan缩点，我们只需判断(i)和(i+n)是否在同一个强连通分量就行了，如果在同一个强连通分量，说明有冲突，根据边的含义，这意味着同一个材料要同时做两道菜，所以不合法。
代码如下：

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
struct node
{
    int to,next;
}a[4011];
int len,last[500],cnt,siz,vis[500],stack[500],dfn[500],low[510],top,belong[510];
void add(int a1,int a2)
{
    a[++len].to=a2;
    a[len].next=last[a1];
    last[a1]=len;
}
void tarjan(int x)
{
    dfn[x]=low[x]=++siz;
    vis[x]=1;stack[++top]=x;
    for(int i=last[x];i;i=a[i].next)
    {
        int to=a[i].to;
        if(!dfn[to])
        {
            tarjan(to);
            low[x]=min(low[x],low[to]);
        }
        else if(vis[to]) low[x]=min(low[x],dfn[to]);
    }
    if(dfn[x]==low[x])
    {
        int to=0;
        cnt++;
        while(x!=to)
        {
            to=stack[top--];
            vis[to]=0;
            belong[to]=cnt;
        }
    }
}
int main()
{
    char s[5];
    int t;
    cin>>t;
    while(t--)
    {
        int n,m,k1,k2;
        len=0;siz=0;top=0;
        memset(last,0,sizeof(last));
        memset(dfn,0,sizeof(dfn));
        memset(low,0,sizeof(low));
        memset(belong,0,sizeof(belong));
        cin>>n>>m;
        for(int i=1;i<=m;i++)
        {
            int p=0;
            scanf("%s",s);
            for(int j=1;j<strlen(s);j++)
            p=p*10+(s[j]^48);
            if(s[0]=='h')
            k1=p;
            else 
            k1=p+n;
            p=0;
            scanf("%s",s);
            for(int j=1;j<strlen(s);j++)
            p=p*10+(s[j]^48);
            if(s[0]=='h')
            k2=p;
            else 
            k2=p+n;
            if(k1<=n) add(k1+n,k2);
            else add(k1-n,k2);
            if(k2<=n) add(k2+n,k1);
            else add(k2-n,k1);
        }
        for(int i=1;i<=n;i++)
        if(!dfn[i]) tarjan(i);
        int flag=1;
        for(int i=1;i<=n;i++)
        if(belong[i]==belong[i+n])
        flag=0;
        if(flag) printf("GOOD
");
        else printf("BAD
");

    }
}

博主蒟蒻，可以随意转载，但必须附上原文链接k-z-j。