Party
有n对夫妻被邀请参加一个聚会,因为场地的问题,每对夫妻中只有1人可以列席。在2n 个人中,某些人之间有着很大的矛盾(当然夫妻之间是没有矛盾的),有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席?
Input
n: 表示有n对夫妻被邀请 (n<= 1000)
m: 表示有m 对矛盾关系 ( m < (n - 1)2)
在接下来的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
分析:
把每个点拆成两个点,分别表示留下和离开
对于一个节点x,用2x表示留下,用2x+1表示离开
当a和b矛盾的时候
建立有向边: 2a->2b+1,和2b->2a+1
表示a留下的时候b必须离开,和b留下的时候a必须离开
但是b离开的时候a不一定要留下,所以不用建立反向边
然后缩点
最后对于每个点x。判断2x和2x+1是否在同一个强连通分量里,
如果在同一个强连通分量,则表明留下又离开,矛盾。
如果没有上述情况,则成立
这题还用到了异或1的性质
code:
#include<iostream>
#include<cstdio>
#include<cstring>
#include<cmath>
#include<stack>
#include<set>
#include<algorithm>
#define lowbit(x) (x&(-(x)))
#define coff ios::sync_with_stdio(0)
const int inf=0x3f3f3f3f;
const int inn=0x80808080;
using namespace std;
const int maxm=1e6+5;//数组别太小了
int n,m;
int low[maxm],dfn[maxm],idx;
int head[maxm],nt[maxm<<1],to[maxm<<1],cnt;
int belong[maxm],sum;
stack<int>stk;
int ins[maxm];
void init(){
while(!stk.empty())stk.pop();
memset(head,-1,sizeof head);
memset(low,0,sizeof low);
memset(dfn,0,sizeof dfn);
memset(belong,0,sizeof belong);
memset(ins,0,sizeof ins);
sum=0;
cnt=1;
idx=0;
}
void add(int x,int y){
cnt++;nt[cnt]=head[x];head[x]=cnt;to[cnt]=y;
}
void input(){
for(int i=1;i<=m;i++){
int a1,a2,c1,c2;
scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
a1=a1*2+c1;
a2=a2*2+c2;
add(a1,a2^1);
add(a2,a1^1);
}
}
void dfs(int x){
low[x]=dfn[x]=++idx;
stk.push(x);
ins[x]=1;
for(int i=head[x];i!=-1;i=nt[i]){
int v=to[i];
if(!dfn[v]){
dfs(v);
low[x]=min(low[x],low[v]);
}else if(ins[v]){
low[x]=min(low[x],dfn[v]);
}
}
if(low[x]==dfn[x]){
sum++;
while(1){
int t=stk.top();
stk.pop();
ins[t]=0;
belong[t]=sum;
if(t==x)break;
}
}
}
void solve(){
for(int i=0;i<2*n;i++){
if(!dfn[i])dfs(i);
}
for(int i=0;i<n;i++){
if(belong[i*2]==belong[i*2+1]){
puts("NO");
return ;
}
}
puts("YES");
}
int main(){
while(scanf("%d%d",&n,&m)!=EOF){
init();
input();
solve();
}
return 0;
}