HDU 3062 2-SAT入门题

Party

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

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 

 

解题思路：根据题目的矛盾关系建图，tarjin缩点判断是否可行。

代码：

#include<iostream>
#include<stdio.h>
#include<string.h>
#include<algorithm>
#include<string>
using namespace std;
struct node
{
        int to,next;
}edge[400000];
int head[3000],tol,low[3000],dfn[3000],indexx,Stack[300000],instack[3000],belong[3000],scc,top;
void add(int u,int v)
{
        edge[tol].to=v;
        edge[tol].next=head[u];
        head[u]=tol++;
}
void tarjin(int u)
{
        low[u]=dfn[u]=++indexx;
        Stack[top++]=u;instack[u]=1;
        int i,v;
        for(int i=head[u];i!=-1;i=edge[i].next)
        {
                v=edge[i].to;
                if(!dfn[v])
                {
                        tarjin(v);
                        if(low[u]>low[v])low[u]=low[v];
                }
                else if(instack[v]&&low[u]>dfn[v])low[u]=dfn[v];
        }
        if(low[u]==dfn[u])
        {
                scc++;
                do
                {
                        v=Stack[--top];
                        instack[v]=0;
                        belong[v]=scc;
                }while(u!=v);
        }
}
int solve(int n)
{
        memset(dfn,0,sizeof(dfn));
        memset(instack,0,sizeof(instack));
        indexx=top=scc=0;
        for(int i=0;i<=2*n;i++)if(!dfn[i])tarjin(i);
        for(int i=0;i<=2*n;i++)if(belong[i]==belong[i^1])return 0;
        return 1;
}
int main()
{
        int i,j,k,m,n;
        while(~scanf("%d",&n))
        {
                scanf("%d",&m);
                memset(head,-1,sizeof(head));tol=0;
                int a,b,c,d;
                while(m--)
                {
                     scanf("%d%d%d%d",&a,&b,&c,&d);
                             a=2*a+c;
                             b=2*b+d;
                             add(a,b^1);
                             add(b,a^1);

                }
                if(solve(n))puts("YES");
                else puts("NO");
        }
        return 0;
}

 

Sample Output

YES