hdu 3062 Party（2-sat入门）

Party

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

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
   
   
   
   

 

Source

2009 Multi-University Training Contest 16 - Host by NIT

 

Recommend

lcy

 

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

题意：给你2*n个人，分成n对，没对中只能选择一个，选出的人不能有矛盾，问最多能不能选出n个人互不矛盾。。。

分析：典型的2-sat模型，直接套用2-sat算法，先建图，然后强连通缩点，判断每对夫妻是否在一个强连通内即可

PS：还没弄明白2-sat是什么东西啊，先刷题看看

代码：

#include<cstdio>
#include<iostream>
using namespace std;
const int mm=1111111;
const int mn=2222;
int ver[mm],next[mm];
int head[mn],dfn[mn],low[mn],id[mn],q[mn];
int i,j,k,n,m,edge,top,idx,cnt;
void add(int u,int v)
{
    ver[edge]=v,next[edge]=head[u],head[u]=edge++;
}
void dfs(int u)
{
    dfn[u]=low[u]=++idx;
    q[top++]=u;
    for(int i=head[u],v;i>=0;i=next[i])
        if(!dfn[v=ver[i]])
            dfs(v),low[u]=min(low[u],low[v]);
        else if(!id[v])low[u]=min(low[u],dfn[v]);
    if(dfn[u]==low[u])
    {
        id[u]=++cnt;
        while(q[--top]!=u)id[q[top]]=cnt;
    }
}
void Tarjan()
{
    int i;
    for(cnt=idx=top=i=0;i<n+n;++i)dfn[i]=id[i]=0;
    for(i=0;i<n+n;++i)
        if(!dfn[i])dfs(i);
}
bool ok()
{
    for(int i=0;i<n+n;i+=2)
        if(id[i]==id[i^1])return 0;
    return 1;
}
int main()
{
    int a1,a2,c1,c2;
    while(~scanf("%d%d",&n,&m))
    {
        for(edge=i=0;i<n+n;++i)head[i]=-1;
        while(m--)
        {
            scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
            add((a1<<1)+c1,(a2<<1|1)-c2);
            add((a2<<1)+c2,(a1<<1|1)-c1);
        }
        Tarjan();
        puts(ok()?"YES":"NO");
    }
    return 0;
}