[2-sat]HDOJ1824 Let's go home

中问题 题意略

和HDOJ 3062 一样

这里 每个队员都有 选 和 不选 两种， 即 上篇所说的$x$和$x’$

建图：队长(a)留下或者其余两名队员(b、c)同时留下

        那么就是$a' Rightarrow b$ 、 $a' Rightarrow c$  (队长不在 b必须在， 队长不在 c必须在)

　　　　   以及$b' Rightarrow a$ 、$c' Rightarrow a$  (b不在 队长必须在，c不在 队长必须在)

　　  每一对队员，如果队员A留下，则队员B必须回家休息下，或者B留下，A回家

　　  那么就是$A Rightarrow B’$  (A在 则B必须不在)      以及   $B Rightarrow A'$ (B在 则A必须不在)

#include <bits/stdc++.h>
using namespace std;
typedef long long LL;
typedef pair<int, int> PI;
#define INF 0x3f3f3f3f

const int N=3005*2;
const int M=N*N;
//注意n是拆点后的大小 即 n <<= 1 N为点数(注意要翻倍) M为边数 i&1=0为i真 i&1=1为i假
struct Edge
{
    int to, nex;
}edge[M];
//注意 N M 要修改
int head[N], edgenum;
void addedge(int u, int v)
{
    Edge E={v, head[u]};
    edge[edgenum]=E;
    head[u]=edgenum++;
}

bool mark[N];
int Stack[N], top;
void init()
{
    memset(head, -1, sizeof(head));
    edgenum=0;
    memset(mark, 0, sizeof(mark));
}

bool dfs(int x)
{
    if(mark[x^1])
        return false;//一定是拆点的点先判断
    if(mark[x])
        return true;
    mark[x]=true;
    Stack[top++]=x;
    for(int i=head[x];i!=-1;i=edge[i].nex)
        if(!dfs(edge[i].to))
            return false;

    return true;
}

bool solve(int n)
{
    for(int i=0;i<n;i+=2)
        if(!mark[i] && !mark[i^1])
        {
            top=0;
            if(!dfs(i))
            {
                while(top)
                    mark[Stack[--top]]=false;
                if(!dfs(i^1))
                    return false;
            }
        }
    return true;
}

int main()
{
    int n, m;
    while(~scanf("%d%d", &n, &m))
    {
        int nn=n*3;
        init();
        while(n--)
        {
            int a, b, c;
            scanf("%d%d%d", &a, &b, &c);
            addedge(a*2+1, b*2);
            addedge(a*2+1, c*2);
            addedge(b*2+1, a*2);
            addedge(c*2+1, a*2);
        }
        while(m--)
        {
            int x, y;
            scanf("%d%d", &x, &y);
            addedge(x*2, y*2+1);
            addedge(y*2, x*2+1);
        }
        solve(nn)? puts("yes"): puts("no");
    }
    return 0;
}