HDU 3062 Party 2-sat

题目：

http://acm.hdu.edu.cn/showproblem.php?pid=3062

题意：

Problem Description
有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n 个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席？

Input
n： 表示有n对夫妻被邀请 (n<= 1000)
m： 表示有m 对矛盾关系 ( m < (n - 1) * (n -1))

在接下来的m行中，每行会有4个数字，分别是 A1,A2,C1,C2
A1,A2分别表示是夫妻的编号
C1,C2 表示是妻子还是丈夫 ，0表示妻子 ，1是丈夫
夫妻编号从 0 到 n -1

Output
如果存在一种情况 则输出YES
否则输出 NO

思路：

简单2-sat问题，对于i j不能共存，建两条边：i->j’, j->i’，然后强连通缩点，判断一下一对夫妻是否在同一个强连通分量内，若是则输出NO，否则输出YES。因为出现无法凑齐n个人的情况，必然是这样的：一对夫妻中任一人无法和另一对夫妻中任一人共存，按照之前的连边方式，夫妻二人必在同一个强连通分量内。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
using namespace std;

const int N = 2010;
struct edge
{
    int to, next;
} g[N*N];
int cnt, head[N];
int dfn[N], low[N], st[N], scc[N];
bool vis[N];
int num, top, idx;
int n, m;
void add_edge(int v, int u)
{
    g[cnt].to = u, g[cnt].next = head[v], head[v] = cnt++;
}
void init()
{
    memset(head, -1, sizeof head);
    memset(dfn, -1, sizeof dfn);
    memset(vis, 0, sizeof vis);
    cnt = num = top = idx = 0;
}
void tarjan(int v)
{
    dfn[v] = low[v] = ++idx;
    vis[v] = true, st[top++] = v;
    int u;
    for(int i = head[v]; i != -1; i = g[i].next)
    {
        u = g[i].to;
        if(dfn[u] == -1)
        {
            tarjan(u);
            low[v] = min(low[v], low[u]);
        }
        else if(vis[u]) low[v] = min(low[v], dfn[u]);
    }
    if(dfn[v] == low[v])
    {
        num++;
        do
        {
            u = st[--top];
            vis[u] = false;
            scc[u] = num;
        }
        while(u != v);
    }
}
int main()
{
    while(~scanf("%d%d", &n, &m))
    {
        init();
        for(int i = 1; i <= m; i++)
        {
            int a, b, c, d;
            scanf("%d%d%d%d", &a, &b, &c, &d);
            add_edge(2*a+c, (2*b+d)^1), add_edge(2*b+d, (2*a+c)^1);
        }
        for(int i = 0; i < 2*n; i++)
            if(dfn[i] == -1) tarjan(i);
        bool flag = true;
        for(int i = 0; i < 2*n; i += 2)
            if(scc[i] == scc[i+1])
            {
                flag = false;
                break;
            }
        if(flag) printf("YES\n");
        else printf("NO\n");
    }
    return 0;
}