首页 > 代码库 > HDOJ 1824 Let's go home

HDOJ 1824 Let's go home


2sat....  队长离开时两个队员必须同时留下,两个队员中只要有人离开队长就得留下...

Let‘s go home

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


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
 


#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>

using namespace std;

const int maxn=5500;

struct Edge
{
    int to,next;
}edge[maxn*4];
int Adj[maxn],Size;

void init()
{
    Size=0; memset(Adj,-1,sizeof(Adj));
}

void Add_Edge(int u,int v)
{
    edge[Size].to=v;
    edge[Size].next=Adj[u];
    Adj[u]=Size++;
}

int Low[maxn],DFN[maxn],Belong[maxn],Instack[maxn];
int top,Stack[maxn],Index,scc;

void Tarjan(int u)
{
    Low[u]=DFN[u]=++Index;
    Stack[top++]=u; Instack[u]=true;
    int v;
    for(int i=Adj[u];~i;i=edge[i].next)
    {
        v=edge[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])
    {
        scc++;
        do
        {
            v=Stack[--top];
            Instack[v]=false;
            Belong[v]=scc;
        }while(u!=v);
    }
}

void scc_solve(int n)
{
    memset(DFN,0,sizeof(DFN));
    memset(Belong,0,sizeof(Belong));
    memset(Instack,0,sizeof(Instack));
    top=scc=Index=0;

    for(int i=0;i<n;i++)
    {
        if(!DFN[i]) Tarjan(i);
    }

    for(int i=0;i<n;i+=2)
    {
        if(Belong[i]==Belong[i^1])
        {
            puts("no");
            return ;
        }
    }
    puts("yes");
}

int T,M;

int main()
{
    while(scanf("%d%d",&T,&M)!=EOF)
    {
        int n=T*3*2,a,b,c;
        init();
        for(int i=0;i<T;i++)
        {
            scanf("%d%d%d",&a,&b,&c);
            Add_Edge(a<<1|1,b<<1);
            Add_Edge(a<<1|1,c<<1);
            Add_Edge(b<<1|1,a<<1);
            Add_Edge(c<<1|1,a<<1);
        }

        while(M--)
        {
            scanf("%d%d",&a,&b);
            Add_Edge(a<<1,b<<1|1);
            Add_Edge(b<<1,a<<1|1);
        }
        scc_solve(n);
    }
    return 0;
}