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