Let's go home+hdu+2sat问题的求解

Let's go home

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

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
  
  
  
  

   
   解决方案：把那两个队员当做一个整体，有回归简单的2-sat问题了。
  
  
  
  

   
   code:
   
   
#include<iostream>
#include<cstdio>
#include<cstring>
#include<stack>
#include<algorithm>
#define MMAX 1003
#define Max 5003
using namespace std;
stack<int>S;
int head[2*MMAX],k,group[3*Max];
int dfn[2*MMAX],low[2*MMAX],instack[2*MMAX],belong[2*MMAX];
int T,M,index;
struct edge
{
    int to;
    int next;
} E[Max*Max*2];
void init()
{
    index=1;
    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
    memset(instack,0,sizeof(instack));
    for(int i=0; i<2*T; i++)
    {
        belong[i]=i;
    }
    while(!S.empty())S.pop();

}
void tarjan(int u)
{

    dfn[u]=low[u]=index++;
    instack[u]=1;
    S.push(u);
    for(int v=head[u]; v!=-1; v=E[v].next)
    {
        int s=E[v].to;
        if(!instack[s])
        {
            tarjan(s);
            low[u]=min(low[u],low[s]);
        }
        else if(instack[s]==1)
        {
            low[u]=min(low[u],dfn[s]);
        }
    }
    if(dfn[u]==low[u])
    {
        while(!S.empty())
        {
            int temp=S.top();
            S.pop();
            instack[temp]=2;
            belong[temp]=u;
            if(temp==u) break;

        }
    }

}
void add(int from,int to)
{

    E[k].to=to;
    E[k].next=head[from];
    head[from]=k++;

}
int main()
{
    while(~scanf("%d%d",&T,&M))
    {
        init();
        memset(head,-1,sizeof(head));
        for(int i=0; i<T; i++)
        {
            int a,b,c;
            scanf("%d%d%d",&a,&b,&c);
            group[a]=2*i;
            group[b]=group[c]=2*i+1;
        }
        k=0;
        for(int i=0; i<M; i++)
        {
            int a,b;
            scanf("%d%d",&a,&b);
            add(group[a],group[b]^1);
            add(group[b],group[a]^1);
        }
        for(int i=0; i<2*T; i++)
        {
            if(!instack[i])
            {
                tarjan(i);
            }
        }
        bool flag=true;
        for(int i=0; i<T; i++)
        {
            if(belong[i*2]==belong[i*2+1])
            {
                flag=false;
                break;
            }
        }
        if(flag)
        {
            printf("yes\n");
        }
        else printf("no\n");
    }
    return 0;
}