hdu 1824 Let's go home【2-SAT------强连通Tarjan】

Let's go home

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

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

威士忌

 

2-SAT入门题目及个人详解：http://blog.csdn.net/mengxiang000000/article/details/51742976

思路：

1、拆点，将一个点拆成两个点，一个用来表示留下，一个用来表示回家，那么就是对应的a,!a;

2、对应的队内的约束条件，对应建边：(a,!b)(a,!b)(!a,b)(!a,c)。

3、对应约束 条件建边：(x,!y)(!x,y);

4、然后进行Tarjan算法求强连通分量，然后判断每一个a和!a是否在同一个强连通分量中，如果在，输出no，否则输出yes。

AC代码：

#include<stdio.h>
#include<iostream>
#include<string.h>
using namespace std;
int head[100000];
struct EdgeNode
{
    int to;
    int w;
    int next;
}e[1000000];
int stack[1000000];
int low[100000];
int dfn[100000];
int vis[100000];
int color[100000];
int n,m,cont,cnt,sig,tt;
void add(int from,int to)
{
    e[cont].to=to;
    e[cont].next=head[from];
    head[from]=cont++;
}
void init()
{
    cont=0;
    tt=-1;
    sig=0;
    cnt=1;
    memset(color,0,sizeof(color));
    memset(stack,0,sizeof(stack));
    memset(vis,0,sizeof(vis));
    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
    memset(head,-1,sizeof(head));
}
int Tarjan(int u)
{
    vis[u]=1;
    dfn[u]=low[u]=cnt++;
    stack[++tt]=u;
    for(int i=head[u];i!=-1;i=e[i].next)
    {
        int v=e[i].to;
        if(vis[v]==0)Tarjan(v);
        if(vis[v]==1)low[u]=min(low[u],low[v]);
    }
    if(dfn[u]==low[u])
    {
        sig++;
        do
        {
            color[stack[tt]]=sig;
            vis[stack[tt]]=-1;
        }
        while(stack[tt--]!=u);
    }
}
int Slove()
{
    for(int i=0;i<3*n;i++)
    {
        if(vis[i]==0)
        {
            Tarjan(i);
        }
    }
    for(int i=0;i<n*3;i++)
    {
        if(color[i]==color[3*n+i])return 1;
    }
    return 0;
}
int main()
{
    while(~scanf("%d%d",&n,&m))
    {
        init();
        for(int i=0;i<n;i++)
        {
            int a,b,c;
            scanf("%d%d%d",&a,&b,&c);
            add(a+3*n,b);
            add(a+3*n,c);
            add(b+3*n,a);
            add(c+3*n,a);
        }
        for(int i=0;i<m;i++)
        {
            int x,y;
            scanf("%d%d",&x,&y);
            add(x,y+3*n);
            add(y,x+3*n);
        }
        int judge=Slove();
        if(judge==1)printf("no\n");
        else printf("yes\n");
    }
}