hdu 3062 Party(2-sat)

Party

Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 6963    Accepted Submission(s): 2285

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 

 

Sample Input

  
  

   
   2 
1
0 1 1 1 
  
  

 

Sample Output

  
  

   
   YES
  
  

 

解：如果一个人与另一个人有矛盾 就将其与另一个人的搭档连边；最后判断这个人是否与自己的搭档在同一个环中，因为如果一个人和自己的搭档在一个环中，即出现了

两对搭档任何一对都不能互相出现的情况

#include <iostream>
#include <stdio.h>
#include <string.h>
#include <stack>
#include <queue>
#include <map>
#include <set>
#include <vector>
#include <math.h>
#include <bitset>
#include <algorithm>
#include <climits>
using namespace std;
const int N = 2000+100;
typedef long long LL;
int head[N], vis[N], low[N], dfn[N], stack1[N], belong[N];
int cnt, time1, taj, top;
void init()
{
    memset(head,-1,sizeof(head));
    memset(low,-1,sizeof(low));
    memset(dfn,-1,sizeof(dfn));
    memset(vis,0,sizeof(vis));
    cnt=0,time1=0,taj=0,top=0;
}
struct node
{
    int to, next;
} p[N*N];
void add(int u,int v)
{
    p[cnt].to=v,p[cnt].next=head[u];
    head[u]=cnt++;
    return ;
}
void dfs(int u)
{
    low[u]=dfn[u]=time1++;
    stack1[top++]=u,vis[u]=1;
    for(int i=head[u]; i!=-1; i=p[i].next)
    {
        int v=p[i].to;
        if(dfn[v]==-1)
        {
            dfs(v);
            low[u]=min(low[u],low[v]);
        }
        else if(vis[v]) low[u]=min(low[u],dfn[v]);
    }
    if(low[u]==dfn[u])
    {
        taj++;
        while(1)
        {
            int v=stack1[--top];
            vis[v]=0;
            belong[v]=taj;
            if(v==u) break;
        }
    }
    return ;
}

int main()
{
    int n, m;
    while(scanf("%d %d", &n, &m)!=EOF)
    {
        init();
        for(int i=0; i<m; i++)
        {
            int x, y, c, d;
            scanf("%d %d %d %d",&x, &y, &c, &d);
            add(x*2+c,y*2+1-d);
            add(y*2+d,x*2+1-c);
        }
        for(int i=0; i<n; i++)
        {
            if(dfn[i*2]==-1) dfs(i*2);
            if(dfn[i*2+1]==-1) dfs(i*2+1);
        }
        int flag=0;
        for(int i=0; i<n; i++)
        {
            if(belong[i*2]==belong[i*2+1])
            {
                flag=1;
                break;
            }
        }
        if(!flag) puts("YES");
        else puts("NO");
    }
    return 0;
}