hdu3062 Party (2-SAT入门)

Party

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

Input

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

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

Output

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

Sample Input

2
1
0 1 1 1

Sample Output

YES

分析：

把每个点拆成两个点，分别表示留下和离开
对于一个节点x，用2x表示留下，用2x+1表示离开
当a和b矛盾的时候
建立有向边： 2a->2b+1，和2b->2a+1
表示a留下的时候b必须离开,和b留下的时候a必须离开

但是b离开的时候a不一定要留下，所以不用建立反向边

然后缩点
最后对于每个点x。判断2x和2x+1是否在同一个强连通分量里，
如果在同一个强连通分量，则表明留下又离开，矛盾。
如果没有上述情况，则成立

这题还用到了异或1的性质

code：

#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<stack>
#include<set>
#include<algorithm>
#define lowbit(x) (x&(-(x)))
#define coff ios::sync_with_stdio(0)
const int inf=0x3f3f3f3f;
const int inn=0x80808080;
using namespace std;
const int maxm=1e6+5;//数组别太小了
int n,m;
int low[maxm],dfn[maxm],idx;
int head[maxm],nt[maxm<<1],to[maxm<<1],cnt;
int belong[maxm],sum;
stack<int>stk;
int ins[maxm];
void init(){
    while(!stk.empty())stk.pop();
    memset(head,-1,sizeof head);
    memset(low,0,sizeof low);
    memset(dfn,0,sizeof dfn);
    memset(belong,0,sizeof belong);
    memset(ins,0,sizeof ins);
    sum=0;
    cnt=1;
    idx=0;
}
void add(int x,int y){
    cnt++;nt[cnt]=head[x];head[x]=cnt;to[cnt]=y;
}
void input(){
    for(int i=1;i<=m;i++){
        int a1,a2,c1,c2;
        scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
        a1=a1*2+c1;
        a2=a2*2+c2;
        add(a1,a2^1);
        add(a2,a1^1);
    }
}
void dfs(int x){
    low[x]=dfn[x]=++idx;
    stk.push(x);
    ins[x]=1;
    for(int i=head[x];i!=-1;i=nt[i]){
        int v=to[i];
        if(!dfn[v]){
            dfs(v);
            low[x]=min(low[x],low[v]);
        }else if(ins[v]){
            low[x]=min(low[x],dfn[v]);
        }
    }
    if(low[x]==dfn[x]){
        sum++;
        while(1){
            int t=stk.top();
            stk.pop();
            ins[t]=0;
            belong[t]=sum;
            if(t==x)break;
        }
    }
}
void solve(){
    for(int i=0;i<2*n;i++){
        if(!dfn[i])dfs(i);
    }
    for(int i=0;i<n;i++){
        if(belong[i*2]==belong[i*2+1]){
            puts("NO");
            return ;
        }
    }
    puts("YES");
}
int main(){
    while(scanf("%d%d",&n,&m)!=EOF){
        init();
        input();
        solve();
    }
    return 0;
}