HDU1824 Let's go home

Let’s go home

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

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

---

思路：很明显的2-sat题目，建图时先根据队内连边，假设a是队长bc队员，如果队长回去，队员必须留下 连边

#include   
#include   
#include   
#include   
#include   
#include   
#include 
#include   
#include   
#include   
#include   
#include   

using namespace std;

#define LL long long  
const int INF = 0x3f3f3f3f;
#define MAXN 100100  
#define MAXM 5000100  

struct node
{
    int u, v, next;
} edge[MAXM];


int dfn[MAXN], low[MAXN], s[MAXN], Stack[MAXN], in[MAXN], block[MAXN];
int cnt, tot, index, bnum, ctt;

void init()
{
    memset(s, -1, sizeof s);
    memset(dfn, 0, sizeof dfn);
    memset(low, 0, sizeof low);
    memset(Stack, 0, sizeof Stack);
    memset(in, 0, sizeof in);
    memset(block, 0, sizeof block);
    cnt = tot = index = bnum = 0;
}

void add(int u, int v)
{
    edge[cnt].u = u;
    edge[cnt].v = v;
    edge[cnt].next = s[u];
    s[u] = cnt++;
}

void tarjan(int x)
{
    dfn[x] = low[x] = ++tot;
    Stack[++index] = x;
    in[x] = 1;
    for (int i = s[x]; ~i; i = edge[i].next)
    {
        int v = edge[i].v;
        if (!dfn[v])
        {
            tarjan(v);
            low[x] = min(low[x], low[v]);
        }
        else if (in[v])
        {
            low[x] = min(low[x], low[v]);
        }
    }
    if (dfn[x] == low[x])
    {
        bnum++;
        do
        {
            //printf("%d ",Stack[index]);  
            block[Stack[index]] = bnum;
            in[Stack[index--]] = 0;
        } while (Stack[index + 1] != x);
        // printf("\n");  
    }
}

bool solve()
{
    for (int i = 0; i < ctt; i++)
        if (!dfn[i])
            tarjan(i);

    for (int i = 0; i < ctt; i += 2)
    {
        if (block[i] == block[i ^ 1])
            return 0;
    }
    return 1;
}


int main()
{
    int n, m,a,b,c;
    while (~scanf("%d%d", &n, &m))
    {
        ctt = 6 * n;
        init();
        for (int i = 0; i < n; i++)
        {
            scanf("%d%d%d", &a, &b, &c);
            int x = 2 * a, y = 2 * b, z = 2 * c;
            add(x ^ 1, y);
            add(x ^ 1, z);
            add(y ^ 1, x);
            add(z ^ 1, x);
        }
        for (int i = 0; i < m; i++)
        {
            scanf("%d%d", &a, &b);
            int x = 2 * a, y = 2 * b;
            add(x, y ^ 1);
            add(y, x ^ 1);
        }
        if (solve()) printf("yes\n");
        else printf("no\n");
    }
    return 0;
}