hdu 3062 Party 2-SAT入门
来源:互联网 发布:大圣美人进阶数据 编辑:程序博客网 时间:2024/05/19 18:47
Party
Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 2822 Accepted Submission(s): 878
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 10 1 1 1
Sample Output
YES
---------------------------
由于一对夫妻只出现一人,可以只考虑丈夫一人的情况,建立丈夫参加,丈夫不参加两个点。若无矛盾,则存在n人列席的情况。
---------------------------
#include <iostream>#include <cstdio>#include <cstring>using namespace std;const int maxn=4444;const int maxm=1111111;struct EDGE{ int to; int w; int next;}edges[maxm];int head[maxn];int edge,node;int lowlink[maxn],pre[maxn],sccno[maxn],stk[maxn],top,dfs_clock,scc_cnt;void prepare(int _node){ node=_node; for (int i=0;i<=node;i++) head[i]=-1; edge=0;}void addedge(int u,int v,int c=1){ edges[edge].w=c,edges[edge].to=v,edges[edge].next=head[u],head[u]=edge++;}void Tarjan_dfs(int u){ int i,v; pre[u]=lowlink[u]=++dfs_clock; stk[top++]=u; for(i=head[u];i!=-1;i=edges[i].next) if(!pre[v=edges[i].to]) Tarjan_dfs(v),lowlink[u]=min(lowlink[u],lowlink[v]); else if(!sccno[v]) lowlink[u]=min(lowlink[u],pre[v]); if(pre[u]==lowlink[u]) { sccno[u]=++scc_cnt; while(stk[--top]!=u)sccno[stk[top]]=scc_cnt; }}void Tarjan_find_scc(){ int i; scc_cnt=dfs_clock=top=0; memset(sccno,0,sizeof(sccno)); memset(pre,0,sizeof(pre)); for(i=0;i<node;i++) if(!pre[i]) Tarjan_dfs(i);}bool two_sat(){ for(int i=0;i<node;i+=2) if(sccno[i]==sccno[i^1])return false; return true;}int main(){ int n,m; int a1,a2,c1,c2; while (~scanf("%d",&n)) { scanf("%d",&m); prepare(n+n); while (m--) { scanf("%d%d%d%d",&a1,&a2,&c1,&c2); addedge( (a1<<1)+c1, (a2<<1|1)-c2 ); addedge( (a2<<1)+c2, (a1<<1|1)-c1 ); } Tarjan_find_scc(); if (two_sat()) { printf("YES\n"); } else { printf("NO\n"); } } return 0;}
- hdu 3062 Party(2-sat入门)
- hdu 3062 Party 2-SAT入门
- HDU 3062 Party 2-SAT 入门题
- [hdu 3062] Party(2-sat入门)
- HDU 3062 Party (2-SAT入门)
- hdu 3062 party#2-sat
- HDU 3062 Party (2-SAT)
- HDU 3062 Party (2-SAT)
- 【HDU】3062 Party 2-sat
- HDU 3062 Party(2-sat)
- HDU 3062 Party (2-sat)
- HDU 3062 Party 2-SAT
- HDU 3062 Party 2-SAT
- HDU 3062 Party 2-sat
- HDU 3062 Party(2-SAT)
- HDU 3062 Party (2-SAT)
- HDU 3062 Party 2-sat
- hdu 3062 Party(2-sat)
- 2-SAT模板
- eclipse集成ant使用
- android 问题汇总系列之八
- 大二学生的心路历程
- kvm
- hdu 3062 Party 2-SAT入门
- HDU 1863 畅通工程
- 排序算法之三选择排序
- poj 2406
- android preferenceActivity的用法
- hdu 1164 Eddy's research I
- 编译华天正源码的时候终端会在没有编译完的情况下直接退出的解决方法
- uva 10827 - Maximum sum on a torus(最大子矩阵升级版)
- DetailsView分页显示数据