Party
Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 2165 Accepted Submission(s): 707
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
题意:给你2*n个人,分成n对,没对中只能选择一个,选出的人不能有矛盾,问最多能不能选出n个人互不矛盾。。。
分析:典型的2-sat模型,直接套用2-sat算法,先建图,然后强连通缩点,判断每对夫妻是否在一个强连通内即可
PS:还没弄明白2-sat是什么东西啊,先刷题看看
代码:
#include<cstdio>
#include<iostream>
using namespace std;
const int mm=1111111;
const int mn=2222;
int ver[mm],next[mm];
int head[mn],dfn[mn],low[mn],id[mn],q[mn];
int i,j,k,n,m,edge,top,idx,cnt;
void add(int u,int v)
{
ver[edge]=v,next[edge]=head[u],head[u]=edge++;
}
void dfs(int u)
{
dfn[u]=low[u]=++idx;
q[top++]=u;
for(int i=head[u],v;i>=0;i=next[i])
if(!dfn[v=ver[i]])
dfs(v),low[u]=min(low[u],low[v]);
else if(!id[v])low[u]=min(low[u],dfn[v]);
if(dfn[u]==low[u])
{
id[u]=++cnt;
while(q[--top]!=u)id[q[top]]=cnt;
}
}
void Tarjan()
{
int i;
for(cnt=idx=top=i=0;i<n+n;++i)dfn[i]=id[i]=0;
for(i=0;i<n+n;++i)
if(!dfn[i])dfs(i);
}
bool ok()
{
for(int i=0;i<n+n;i+=2)
if(id[i]==id[i^1])return 0;
return 1;
}
int main()
{
int a1,a2,c1,c2;
while(~scanf("%d%d",&n,&m))
{
for(edge=i=0;i<n+n;++i)head[i]=-1;
while(m--)
{
scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
add((a1<<1)+c1,(a2<<1|1)-c2);
add((a2<<1)+c2,(a1<<1|1)-c1);
}
Tarjan();
puts(ok()?"YES":"NO");
}
return 0;
}