hdu 3062 Party 2-SAT

题目链接：HDU - 3062

有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的入门题，如果u和v有矛盾，选u的同时必须选v^1，选v的同时只能选择u^1，然后缩点判断即可。

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<algorithm>
#include<queue>
#include<vector>
#include<stack>
using namespace std;
const int maxn=2000+10;
const int M=1000000+10;

int n,m;
struct node
{
    int v,next;
}edge[M*4];
int head[maxn],edgenum;
int dfn[maxn],low[maxn],scc[maxn],ind[maxn],vis[maxn];
stack<int> S;
int color[maxn],f[maxn];
int dfs_clock,scc_cnt;
vector<int> dag[maxn];
void add(int u,int v)
{
    edge[edgenum].v=v ;edge[edgenum].next=head[u] ;
    head[u]=edgenum++;
}
void init()
{
    memset(head,-1,sizeof(head));
    memset(vis,0,sizeof(vis));
    memset(dfn,0,sizeof(dfn));
    memset(ind,0,sizeof(ind));
    memset(color,0,sizeof(color));
    edgenum=dfs_clock=scc_cnt=0;
}
void tarjan(int u)
{
    dfn[u]=low[u]= ++dfs_clock;
    vis[u]=1;
    S.push(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 (vis[v])
            low[u]=min(low[u],dfn[v]);
    }
    if (low[u]==dfn[u])
    {
        scc_cnt++;
        while (true)
        {
            int v=S.top() ;S.pop() ;
            vis[v]=0;
            scc[v]=scc_cnt;
            if (u==v) break;
        }
    }
}
void buildDag(int n)
{
    for (int u=0 ;u<2*n ;u++)
    {
        for (int i=head[u] ;i!=-1 ;i=edge[i].next)
        {
            int v=edge[i].v;
            if (scc[v] != scc[u])
            {
                dag[scc[v]].push_back(scc[u]);
                ind[scc[u]]++;
            }
        }
    }
}
void topsort()
{
    queue<int> Q;
    for (int i=1 ;i<=scc_cnt ;i++) if (!ind[i]) Q.push(i);
    while (!Q.empty())
    {
        int u=Q.front() ;Q.pop();
        if (!color[u]) color[u]=1,color[f[u]]=2;
        for (int i=0 ;i<(int)dag[u].size() ;i++)
        {
            int v=dag[u][i];
            ind[v]--;
            if (!ind[v]) Q.push(v);
        }
    }
}
void solve(int n)
{
    int flag=0;
    for (int i=0 ;i<2*n ;i++) if (!dfn[i]) tarjan(i);
    for (int i=0 ;i<n ;i++)
    {
        if(scc[2*i]==scc[(2*i)^1])
        {
            printf("NO
");
            flag=1;
            return ;
        }
        //else f[scc[i]]=scc[i+1],f[scc[i+1]]=scc[i];
    }
    if (!flag) printf("YES
");
//    for (int i=0 ;i<=scc_cnt ;i++) dag[i].clear();
//    buildDag(n);
//    topsort();
    return ;
}
int main()
{
    while (scanf("%d%d",&n,&m)!=EOF)
    {
        init();
        int a,b,c,d;
        for (int i=0 ;i<m ;i++)
        {
            scanf("%d%d%d%d",&a,&b,&c,&d);
            int u=2*a+c,v=2*b+d;
            add(u,v^1) ;add(v,u^1);
        }
        solve(n);
    }
    return 0;
}