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;
}


你可能感兴趣的:(c,算法,input,output,Training)