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): 1771    Accepted Submission(s): 736

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水题

为什么要用反边存缩点后的图？

考虑到算法传递标记的时候，“选择”标记是没有进行传递的，也就是说正向边是没有利用到的，传递的都是“不选择”标记，也就是说走
的都是反边。

//#include <bits/stdc++.h>
#include <iostream>
#include <cstdio>
#include <cstring>
#include <cmath>
#include <algorithm>
using namespace std;
const int MAXN = 1e6+7;
struct node
{
    int v,next;
}edge[MAXN];
int head[MAXN],index;
void add_edge(int u,int v)
{
    edge[index].v=v;
    edge[index].next=head[u];
    head[u]=index++;
}
int DFN[MAXN],low[MAXN],stack_[MAXN],in_stack[MAXN],belong[MAXN];
int cir,top,temp;
void Tarjan(int u)
{
    int p;
    DFN[u]=low[u]=++temp;
    in_stack[u]=1;
    stack_[top++]=u;
    for(int i=head[u]; i+1; i=edge[i].next)
    {
        int v=edge[i].v;
        if(!DFN[v])
        {
            Tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(in_stack[v])
        {
            low[u]=min(low[u],DFN[v]);
        }
    }
    if(low[u]==DFN[u])
    {
        ++cir;
        do{
            p=stack_[--top];
            in_stack[p]=0;
            belong[p]=cir;
        }while(p!=u);
    }
}
int main()
{
    int n,m;
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        int a,b,c;
        temp=cir=top=index=0;
        memset(DFN,0,sizeof(DFN));
        memset(head,-1,sizeof(head));
        memset(in_stack,0,sizeof(in_stack));
        for(int i=0; i<n; ++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);
        }
        for(int i=0; i<m; ++i)
        {
            scanf("%d%d",&a,&b);
            add_edge(a<<1,(b<<1)^1);
            add_edge(b<<1,(a<<1)^1);
        }
        for(int i=0; i<n*6; ++i)
            if(!DFN[i])
            Tarjan(i);
        int flag=0;
        for(int i=0; i<n*3; ++i)
        {
            if(belong[i<<1]==belong[(i<<1)^1])
                {flag=1;break;}
        }
        if(flag)printf("no\n");
        else printf("yes\n");
    }
    return 0;
}