Party （2-sat问题）

最新推荐文章于 2021-10-29 00:48:05 发布

爱上键盘的小哥哥

最新推荐文章于 2021-10-29 00:48:05 发布

阅读量404

点赞数

分类专栏： 2-SAT、

本文链接：https://blog.csdn.net/islittlehappy/article/details/81737989

版权

2-SAT、专栏收录该内容

2 篇文章 0 订阅

订阅专栏

有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

思路：将每对夫妻转化为0到2n间的值，01为第一对夫妻，23为第二对夫妻.....

根据矛盾建边

#include<cstdio>
#include<cstring>
#include<cmath>
#include<algorithm>
using namespace std;
const int N = 2010;
struct node{
	int v;
	int next;
}edge[N*N];
int id,head[N];
int LOW[N],DFN[N],index;
int type,include[N];
int sta[N],top,vis[N];
void init(){
	top=type=id=index=0;
	memset(head,-1,sizeof(head));
	memset(LOW,0,sizeof(LOW[N]));
	memset(DFN,0,sizeof(DFN));
	memset(vis,0,sizeof(vis));
}
void add(int u,int v){
	edge[id].v=v;
	edge[id].next=head[u];
	head[u]=id++;
}
void tarjan(int u){
	LOW[u]=DFN[u]=++index;
	vis[u]=1;
	sta[top++]=u;
	for(int i=head[u];i!=-1;i=edge[i].next){
		int v=edge[i].v;
		if(!DFN[v]){
			tarjan(v);
			LOW[u]=min(LOW[u],LOW[v]);
		}
		else if(vis[v]){
			LOW[u]=min(LOW[u],DFN[v]);
		}
	}
	if(LOW[u]==DFN[u]){
		include[u]=++type;
		int v;
		do{
			v=sta[--top];
			vis[v]=0;
			include[v]=type;
		}while(u!=v);
	}
}
int solve(int n){
	for(int i=0;i<n;i++)
	   if(!DFN[i]) tarjan(i);
	for(int i=0;i<n;i+=2)
	   if(include[i]==include[i^1]) return 0;
	return 1;
}
int main(){
	int n,m;
	while(~scanf("%d%d",&n,&m)){
		init();
		int u,v,x,y;
		for(int i=1;i<=m;i++){
			scanf("%d%d%d%d",&u,&v,&x,&y);//ux 与 vy矛盾 
			add(u*2+x,(v*2+y)^1); //ux与vx建边 
		    add(v*2+y,(u*2+x)^1);//vy与uy建边 
		}
		if(solve(2*n)) printf("YES\n");
		else printf("NO\n");
	}
	return 0;
}