hdu 3062 Party(2-sat,3级)

Party

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

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 10 1 1 1 

 

Sample Output

YES

 

Source

2009 Multi-University Training Contest 16 - Host by NIT

 

Recommend

lcy

 

思路：入门，不说也。

#include<iostream>#include<cstring>#include<cstdio>using namespace std;const int mm=2000+9;int head[mm],low[mm],dfn[mm],e_to[mm];int next[mm*mm],ver[mm*mm],top,dex,cnt,edge,stack[mm];int n,m;bool instack[mm];void data(){ memset(head,-1,sizeof(head)); memset(dfn,0,sizeof(dfn)); memset(instack,0,sizeof(instack)); top=dex=cnt=edge=0;}void add(int u,int v){ ver[edge]=v;next[edge]=head[u];head[u]=edge++;}void tarjan(int u){int v; low[u]=dfn[u]=++dex; stack[top++]=u;instack[u]=1; for(int i=head[u];~i;i=next[i]) { v=ver[i];   if(!dfn[v])   {tarjan(v);low[u]=low[u]<low[v]?low[u]:low[v];   }   else if(instack[v])   {low[u]=low[u]<dfn[v]?low[u]:dfn[v];   } } if(dfn[u]==low[u]) { ++cnt;   do{    v=stack[--top];instack[v]=0;    e_to[v]=cnt;    }while(u^v); }}bool two_sat(){  for(int i=0;i<n;++i)  if(!dfn[i])tarjan(i);  for(int i=0;i<n;++i)  if(e_to[i]==e_to[i^1])return 0;  return 1;}int main(){ int a,b,c,d;  while(~scanf("%d%d",&n,&m))  {data();   for(int i=0;i<m;++i)   {    scanf("%d%d%d%d",&a,&b,&c,&d);    add(a*2+c,b*2+d^1);    add(b*2+d,a*2+c^1);   }   n+=n;   if(two_sat())   puts("YES");   else puts("NO");  }  return 0;}