HDU 1824 Let's go home

2-SAT，根据题意建好图，求一下强联通分量，判断一下就可以了

#include<cstdio>
#include<cstring>
#include<cmath>
#include<vector>
#include<stack>
#include<algorithm>
using namespace std;

const int maxn=;

int T,M;
vector<int>G[maxn];
vector<int>FG[maxn];

int Belong[maxn],flag[maxn];
stack<int>S;
int Block;

void init()
{
    if(!S.empty()) S.pop();
    for(int i=; i<maxn; i++) G[i].clear();
    for(int i=; i<maxn; i++) FG[i].clear();
    memset(Belong,,sizeof Belong);
    memset(flag,,sizeof flag);
    Block=;
}

void dfs1(int now)
{
    flag[now]=;
    for(int i=; i<G[now].size(); i++)
        if(!flag[G[now][i]])
            dfs1(G[now][i]);
    S.push(now);
}

void dfs2(int now)
{
    Belong[now]=Block;
    for(int i=; i<FG[now].size(); i++)
        if(!Belong[FG[now][i]])
            dfs2(FG[now][i]);
}

void Add(int x,int y)
{
    G[x].push_back(y);
    FG[y].push_back(x);
}

int main()
{
    while(~scanf("%d%d",&T,&M))
    {
        init();
        for(int i=; i<T; i++)
        {
            int a,b,c;
            scanf("%d%d%d",&a,&b,&c);
            Add(*T+a,b);
            Add(*T+a,c);
            Add(*T+b,a);
            Add(*T+c,a);
        }
        for(int i=; i<M; i++)
        {
            int a,b;
            scanf("%d%d",&a,&b);
            Add(a,*T+b);
            Add(b,*T+a);
        }

        for(int i=; i<*T; i++) if(!flag[i]) dfs1(i);
        while(!S.empty())
        {
            int Top=S.top();
            S.pop();
            if(!Belong[Top])
            {
                Block++;
                dfs2(Top);
            }
        }
        int ans=;
        for(int i=; i<*T; i++)
        {
            if(Belong[i]==Belong[*T+i])
            {
                ans=;
                break;
            }
        }
        if(ans==) printf("yes\n");
        else printf("no\n");
    }
    return ;
}