hdu 3062 Party 题解

题目传送门

题目大意： 有 $n$ 对夫妻，要开一个宴会，每对夫妻只能去一个人，有些人之间有仇不能同时去，问是否存在一种方案能让 $n$ 个人去宴会。

题解

$2-SAT$ 裸题，夫妻只能去一个其实就是每个点状态要么为 $0$ 要么为 $1$，假如 $i_0$ 和 $j_0$ 有仇，那么让 $i_0$ 向 $j_1$ 建边，$j_0$ 向 $i_1$ 建边，$x\to y$ 的边表示选了 $x$ 必须选 $y$，由于这里选了 $i_0$ 必须不选 $j_0$，而夫妻二人必去一个，所以选了 $i_0$ 必选 $j_1$。

代码如下：

#include <cstdio>
#include <cstring>
#define maxn 2010

int n,m;
struct edge{int y,next;};
edge e[maxn*maxn<<1];
int first[maxn],len=0;
void buildroad(int x,int y){e[++len]=(edge){y,first[x]};first[x]=len;}
bool v[maxn];
void dfs(int x)
{
	v[x]=true;
	for(int i=first[x];i;i=e[i].next)
	if(!v[e[i].y])dfs(e[i].y);
}

int main()
{
	while(~scanf("%d",&n))
	{
		scanf("%d",&m);
		memset(first,0,sizeof(first));len=0;
		for(int i=1,x,y,c1,c2;i<=m;i++)
		scanf("%d %d %d %d",&x,&y,&c1,&c2),
		buildroad(x+c1*n,y+(!c2)*n),buildroad(y+c2*n,x+(!c1)*n);
		bool ans=true;
		for(int i=1;i<=n;i++)
		{
			int tot=0;
			memset(v,false,sizeof(v));
			dfs(i);tot+=v[i+n];
			memset(v,false,sizeof(v));
			dfs(i+n);tot+=v[i];
			if(tot==2){ans=false;break;}
		}
		if(ans)printf("YES\n");
		else printf("NO\n");
	}
}