【BZOJ】1823: [JSOI2010]满汉全席（2-sat）

题目

传送门：QWQ

分析

2-sat模板（然而辣鸡如我还是调了好久）

代码

//bzoj 1823 2-sat
#include <bits/stdc++.h>
using namespace std;
inline int read()
{
    int x=,f=;char ch=getchar();
    while(ch<''||ch>''){if(ch=='-')f=-;ch=getchar();}
    while(ch>=''&&ch<=''){x=x*+ch-'';ch=getchar();}
    return x*f;
}
int get()
{
    int x; char c=getchar();
    while(c!='m'&&c!='h')c=getchar();
    if(c=='m')x=read()*; else x=read()*-;
    return x;
}

struct Edge{
    int from,to;
};
vector<int> G[];
int low[], dfn[], sccno[], dfs_clock, scc_num;
stack<int> s;
void insert(int u,int v){
    G[u].push_back(v);
}
void tarjan(int u)
{
    dfn[u]=low[u]=++dfs_clock; s.push(u);
    for(int i=;i<G[u].size();i++){
        int v=G[u][i];
        if(!dfn[v]){
            tarjan(v);
            low[u]=min(low[u], low[v]);
        }else if(!sccno[v]){
            low[u]=min(low[u], dfn[v]);
        }
    }
    if(low[u]==dfn[u]){
        scc_num++;
        for(;;){
            int x=s.top(); s.pop();
            sccno[x]=scc_num;
            if(x==u) break;
        }
    }
}

int main()
{
    int n,m,T=read();
    while(T--)
    {
        while(!s.empty()) s.pop();
        n=read(); m=read();
        int x,y,xp,yp;
        for(int i=;i<m;i++)
        {
            x=get(); y=get();
            if(x%==)xp=x--;
            else xp=x++;
            if(y%==)yp=y--;
            else yp=y++;
            insert(xp,y); insert(yp,x);
        }

        memset(dfn,,sizeof(dfn)); memset(sccno,,sizeof(sccno));
        dfs_clock=scc_num=;
        for(int i=;i<=*n;i++)
            if(!dfn[i]) tarjan(i);

        bool flag=;
        for(int i=;i<=n;i++)
            if(sccno[*i]==sccno[*i-]) flag=false;
        if(flag) puts("GOOD");
        else puts("BAD");
        for(int i=;i<=*n;i++) G[i].clear();
    }
    return ;
}