hdu1824

小时候，乡愁是一枚小小的邮票，我在这头，母亲在那头。 
                        —— 余光中 

集训是辛苦的，道路是坎坷的，休息还是必须的。经过一段时间的训练，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问题判断,每个人有两种选择:留=0或走=1.

然后该2-SAT要满足两类条件,第一类是 队长留 or 另外两个队员留.

第二类是由M指出的 一对队员a和b的冲突条件.

        假设a b c 组成一个队,且a是队长,那么由于队长a与队员(b,c)组合二者只能选其一，

        所以对于任何人留下的话有下面关系:

        add(a,0,b,1)add(a,0,c,1) add(b,0,a,1) add(b,0,c,0) add(c,0,b,0) add(c,0,a,1)

        对于任何人走的话有下面关系：

        add(a,1,b,0)add(a,1,c,0) add(b,1,a,0) add(b,1,c,1) add(c,1,a,0) add(c,1,b,1)

        对于另外M个条件的a与b来说有:

        add(a,0,b,1)add(b,0,a,1)
代码：
 

#include<cstdio>
#include<cstring>
#include<algorithm>
#include<vector>
#include<iostream>
using namespace std;
const int maxn=10000+10;
struct TwoSAT
{
    int n;
    vector<int> G[maxn*5];
    int S[maxn*5],c;
    bool mark[maxn*2];
    bool dfs(int x)
    {
        if(mark[x^1]) return false;
        if(mark[x]) return true;
        mark[x]=true;
        S[c++]=x;
        for(int i=0; i<G[x].size(); i++)
            if(!dfs(G[x][i])) return false;
        return true;
    }

    void init(int n)
    {
        this->n=n;
        for(int i=0; i<n*2; i++) G[i].clear();
        memset(mark,0,sizeof(mark));
    }

    void add_clause(int x,int xval,int y,int yval)//这里的函数做了修改,只加单向边
    {
        x=x*2+xval;
        y=y*2+yval;
        G[x].push_back(y);
    }

    bool solve()
    {
        for(int i=0; i<2*n; i+=2)
            if(!mark[i] && !mark[i+1])
            {
                c=0;
                if(!dfs(i))
                {
                    while(c>0) mark[S[--c]]=false;
                    if(!dfs(i+1)) return false;
                }
            }
        return true;
    }
} TT;
int main()
{
    int t,m;
    while(~scanf("%d%d",&t,&m))
    {
        TT.init(3*t);
        for(int i=1; i<=t; i++)
        {
            int a,b,c;
            scanf("%d%d%d",&a,&b,&c);
            TT.add_clause(a,0,b,1);
            TT.add_clause(a,0,c,1);
            TT.add_clause(b,0,a,1);
            TT.add_clause(b,0,c,0);
            TT.add_clause(c,0,b,0);
            TT.add_clause(c,0,a,1);
            TT.add_clause(a,1,b,0);
            TT.add_clause(a,1,c,0);
            TT.add_clause(b,1,a,0);
            TT.add_clause(b,1,c,1);
            TT.add_clause(c,1,b,1);
            TT.add_clause(c,1,a,0);
        }
        for(int i=1;i<=m;i++)
        {
            int a,b;
            scanf("%d%d",&a,&b);
            TT.add_clause(a,0,b,1);
            TT.add_clause(b,0,a,1);

        }
        if(TT.solve())
        {
            printf("yes\n");
        }
        else
        {
            printf("no\n");
        }
    }
}