hdu 1824 Let's go home(2-sat入门)

Let's go home

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

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
  
  

 

Author

威士忌

 

Source

HDOJ 2007 Summer Exercise（3）- Hold by Wiskey

 

Recommend

威士忌

 

题目： http://acm.hdu.edu.cn/showproblem.php?pid=1824

题意：有t支acm队，每个队有3人，每次只能选队长或两个队友同时留下，还有m对队员，两个人只能一个留下。。。。

分析：2-sat比较简单的转换，所有把一个队的两个非队长队员互连，保证同时被选或不选，并把队员与队长相对，然后按m对关系建图。。。

代码：

#include<cstdio>
#include<iostream>
using namespace std;
const int mm=22222;
const int mn=3333;
int ver[mm],next[mm];
int head[mn],dfn[mn],low[mn],q[mn],id[mn],p[mn];
int i,j,k,t,n,m,edge,idx,top,cnt;
void add(int u,int v)
{
    ver[edge]=v,next[edge]=head[u],head[u]=edge++;
}
void dfs(int u)
{
    dfn[u]=low[u]=++idx;
    q[top++]=u;
    for(int i=head[u],v;i>=0;i=next[i])
        if(!dfn[v=ver[i]])
            dfs(v),low[u]=min(low[u],low[v]);
        else if(!id[v])low[u]=min(low[u],dfn[v]);
    if(dfn[u]==low[u])
    {
        id[u]=++cnt;
        while(q[--top]!=u)id[q[top]]=cnt;
    }
}
void Tarjan()
{
    int i;
    for(cnt=idx=top=i=0;i<n+n+n;++i)dfn[i]=id[i]=0;
    for(i=0;i<n+n+n;++i)
        if(!dfn[i])dfs(i);
}
bool ok()
{
    for(int i=0;i<n+n+n;++i)
        if(id[i]==id[p[i]])return 0;
    return 1;
}
int main()
{
    while(~scanf("%d%d",&n,&m))
    {
        for(edge=i=0;i<n+n+n;++i)head[i]=-1;
        for(t=0;t<n;++t)
        {
            scanf("%d%d%d",&i,&j,&k);
            add(j,k);
            add(k,j);
            p[i]=j,p[j]=p[k]=i;
        }
        while(m--)
        {
            scanf("%d%d",&i,&j);
            add(i,p[j]);
            add(j,p[i]);
        }
        Tarjan();
        puts(ok()?"yes":"no");
    }
    return 0;
}