[JSOI 2010] 满汉全席

[题目链接]

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

[算法]

2-SAT

[代码]

#include<bits/stdc++.h>
using namespace std;
#define MAXN 110
#define MAXM 1010

struct edge
{
        int to,nxt;
} e[MAXM << ];

int timer,cnt,top,tot;
int dfn[MAXN << ],low[MAXN << ],belong[MAXN << ],s[MAXN << ],head[MAXN << ];
bool instack[MAXN];

template <typename T> inline void read(T &x)
{
        int f = ; x = ;
        char c = getchar();
        for (; !isdigit(c); c = getchar()) if (c == '-') f = -f;
        for (; isdigit(c); c = getchar()) x = (x << ) + (x << ) + c - '';
        x *= f;
}
inline void addedge(int u,int v)
{
        tot++;
        e[tot] = (edge){v,head[u]};
        head[u] = tot;
}
inline void tarjan(int u)
{
        low[u] = dfn[u] = ++timer;
        instack[u] = true;
        s[++top] = u;
        for (int i = head[u]; i; i = e[i].nxt)
        {
                int v = e[i].to;
                if (!dfn[v])
                {
                        tarjan(v);
                        low[u] = min(low[u],low[v]);
                } else if (instack[v]) low[u] = min(low[u],dfn[v]);
        }
        if (low[u] == dfn[u])
        {
                cnt++;
                while (s[top + ] != u)
                {
                        instack[s[top]] = false;
                        belong[s[top]] = cnt;
                        top--;
                }
        }
}
int main()
{

        int T;
        read(T);
        while (T--)
        {
                int n,m;
                read(n); read(m);
                tot = ;
                for (int i = ; i <=  * n; i++) head[i] = ;
                for (int i = ; i <= m; i++)
                {
                        char a[] , b[];
                        scanf("%s%s",a + ,b + );
                        int t1 =  , t2 = ;
                        for (int j = ; j <= strlen(a + ); j++) t1 = t1 *  + a[j] - '';
                        for (int j = ; j <= strlen(b + ); j++) t2 = t2 *  + b[j] - '';
                        if (a[] == 'm') addedge(t1 + n,t2 + (b[] == 'h') * n);
                        else addedge(t1,t2 + (b[] == 'h') * n);
                        if (b[] == 'm') addedge(t2 + n,t1 + (a[] == 'h') * n);
                        else addedge(t2,t1 + (a[] == 'h') * n);
                }
                timer = cnt = ;
                for (int i = ; i <=  * n; i++) low[i] = dfn[i] = ;
                for (int i = ; i <=  * n; i++)
                {
                        if (!dfn[i])
                                tarjan(i);
                }
                bool ans = true;
                for (int i = ; i <= n; i++)
                {
                      if (belong[i] == belong[i + n])
                      {
                              ans = false;
                              break;
                        }
                }
                if (ans) printf("GOOD\n");
                else printf("BAD\n");
        }

        return ;

}