hdu1824 Let's go home（2-sat）

Time Limit: 10000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 2776    Accepted Submission(s): 1204

Problem Description

小时候，乡愁是一枚小小的邮票，我在这头，母亲在那头。
                        —— 余光中

集训是辛苦的，道路是坎坷的，休息还是必须的。经过一段时间的训练，lcy决定让大家回家放松一下，但是训练还是得照常进行，lcy想出了如下回家规定，每一个队（三人一队）或者队长留下或者其余两名队员同时留下；每一对队员，如果队员A留下，则队员B必须回家休息下，或者B留下，A回家。由于今年集训队人数突破往年同期最高记录，管理难度相当大，lcy也不知道自己的决定是否可行，所以这个难题就交给你了，呵呵，好处嘛~，免费**漂流一日。

 

Input

第一行有两个整数，T和M，1<=T<=1000表示队伍数，1<=M<=5000表示对数。
接下来有T行，每行三个整数，表示一个队的队员编号，第一个队员就是该队队长。
然后有M行，每行两个整数，表示一对队员的编号。
每个队员只属于一个队。队员编号从0开始。

 

Output

可行输出yes，否则输出no，以EOF为结束。

 

Sample Input

1 2

0 1 2

0 1

1 2

 

2 4

0 1 2

3 4 5

0 3

0 4

1 3

1 4

Sample Output

yes

no

思路：

拆点，给每个点一个hash值，队长单独一个，两个队员共用一个，相当于他们之间连通

假设队长为A，队员为B，初始连接A->B'，B'->A，A'->B，B->A'

之后输入的两个点连接A->B'，B->A'

最后判断队长和队员是不是同一个连通分量中的，是为yes，否则no

#include <bits/stdc++.h>
using namespace std;

const int N=4e3+5,M=5e3+5;
int low[N],dfn[N],Stack[N],belong[N];
bool inStack[N];
int n,m,tot,tag,top;
vector<int> G[N];
map<int,int> mp;

void init(){
    top=tag=0;
    memset(low,0,sizeof low);
    memset(dfn,0,sizeof dfn);
    memset(Stack,0,sizeof Stack);
    memset(belong,0,sizeof belong);
    memset(inStack,false,sizeof inStack);
    for(int i=0;i<N;i++){
        G[i].clear();
    }
    mp.clear();
}

void tarjan(int u){
    int v;
    low[u]=dfn[u]=++tot;
    Stack[++top]=u;
    inStack[u]=true;
    for(int i=0;i<G[u].size();i++){
        v=G[u][i];
        if(dfn[v]==0){
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(inStack[v]==true){
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(dfn[u]==low[u]){
        tag++;
        do{
            v=Stack[top--];
            inStack[v]=false;
            belong[v]=tag;
        }while(u!=v);
    }
}

int main(){
    int x,y,z;
    while(~scanf("%d%d",&n,&m)){
        init();
        for(int i=0,k=0;i<n;i++){
            scanf("%d%d%d",&x,&y,&z);
            mp[x]=k++,mp[y]=k,mp[z]=k++;
            G[mp[x]*2].push_back(mp[y]*2+1);
            G[mp[y]*2+1].push_back(mp[x]*2);
            G[mp[y]*2].push_back(mp[x]*2+1);
            G[mp[x]*2+1].push_back(mp[y]*2);
        }
        for(int i=0;i<m;i++){
            scanf("%d%d",&x,&y);
            G[mp[x]*2].push_back(mp[y]*2+1);
//            G[mp[y]*2+1].push_back(mp[x]*2);
            G[mp[y]*2].push_back(mp[x]*2+1);
//            G[mp[x]*2+1].push_back(mp[y]*2);
        }
        for(int i=0;i<4*n;i++){
            if(dfn[i]==0){
                tot=0;
                tarjan(i);
            }
        }
        int flag=1;
        for(int i=0;i<4*n;i+=4){
            if(belong[i]==belong[i+2]){
                flag=0;
                break;
            }
        }
        if(flag==1)printf("yes
");
        else printf("no
");
    }
}