BZOJ1823[JSOI2010]满汉全席

http://www.lydsy.com/JudgeOnline/problem.php?id=1823

首先我们看到这道题目描述里就非常明显地给出了对于每一个点只有两个选择。。。

那么OI中，涉及这种类型的题目一般用什么呢？

2-SAT或是二分图

仔细一看，不像是二分图

于是就是2-SAT

我们可以明显地用贪心的思想，既然他只要评委两样中符合一样就行了

那我们不妨令这两个选择是相斥的

连边+Tarjan

最后判断同一组的点是否属于同一个联通块

如果是，就不合法

#include <cmath>
#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
#define ll long long
#define fo(i,x,y) for(int i=x; i<=y; i++)
#define pr(i,x,y) for(int i=x; i>=y; i--)
#define clear(a,x) memset(a,x,sizeof(a))
#define INF 1e9
#define EPS 1e-8
#define LiQin 1 > 0

using namespace std;

int N,M;
int mark[200005];
int head1[100005],vet[4000005],next1[4000005];
bool flag[100005];
int top,num;
int cnt;
int Time;
int dfn[100005],low[100005];
int Stack[2000005];

inline ll read()
{ 
    int f=1;
    ll Tmp=0;
    char ch=getchar();
    while (ch != '-' && ch < '0' || ch > '9')
    {
        ch=getchar();
    }
    if (ch == '-')
    {
        f=-1;
        ch=getchar();
    }
    while (ch >= '0' && ch <= '9')
    {
        Tmp=Tmp * 10 + ch - 48;
        ch=getchar();
    }
    return Tmp * f;
}

void add(int u,int v)
{
    vet[++num]=v;
    next1[num]=head1[u];
    head1[u]=num;
}

void Tarjan(int u)
{
    low[u]=dfn[u]=++Time;
    Stack[++top]=u;
    flag[u]=1;
    for (int e=head1[u]; e != -1; e=next1[e])
    {
        int V=vet[e];
        //printf("%d %d
",u,V);
        if (! dfn[V])
        {
            Tarjan(V);
            low[u]=min(low[u],low[V]);
        }
        else if (flag[V])
        {
            low[u]=min(dfn[V],low[u]);
        }
    }
    if (low[u] == dfn[u])
    {
        cnt++;
        while (1)
        {
            int V=Stack[top--];
            flag[V]=0;
            mark[V]=cnt;
            if (V == u)
            {
                break;
            }
        }
    }
}

int get1()
{
    int X;
    char c=getchar();
    while (c != 'm' && c != 'h')
    {
        c=getchar();
    }
    if (c == 'm') X=(read() - 1) * 2;
    else X=(read() - 1) * 2 + 1;
    return X;
}

int main()
{
    int _=read();
    while (_--)
    {
        scanf("%d%d",&N,&M);
        //printf("%d %d
",N,M);
        num=0;
        clear(head1,-1);
        fo(i,1,M)
        {
            int u=get1();
            int v=get1();
            //printf("%d %d
",u,v);
            add(v,u ^ 1);
            add(u,v ^ 1);
        }
        clear(dfn,0);
        clear(flag,0);
        clear(low,0);
        clear(mark,0);
        top=cnt=Time=0;
        fo(i,0,2 * N - 1)
        {
            if (! dfn[i])
            {
                Tarjan(i);
            }
        }
        bool flag1=true;
        for (int i=0; i<=2 * N - 2; i+=2)
        {
            if (mark[i] == mark[i + 1])
            {
                flag1=false;
                break;
            }
        }
        if (flag1) printf("GOOD
");
        else printf("BAD
");
    }
}