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
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
否则输出 NO
Sample Input
2 1 0 1 1 1
Sample Output
YES
Source
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; }
The article write by nealgavin