题目大意: 有 n n n 对夫妻,要开一个宴会,每对夫妻只能去一个人,有些人之间有仇不能同时去,问是否存在一种方案能让 n n n 个人去宴会。
题解
2 − S A T 2-SAT 2−SAT 裸题,夫妻只能去一个其实就是每个点状态要么为 0 0 0 要么为 1 1 1,假如 i 0 i_0 i0 和 j 0 j_0 j0 有仇,那么让 i 0 i_0 i0 向 j 1 j_1 j1 建边, j 0 j_0 j0 向 i 1 i_1 i1 建边, x → y x\to y x→y 的边表示选了 x x x 必须选 y y y,由于这里选了 i 0 i_0 i0 必须不选 j 0 j_0 j0,而夫妻二人必去一个,所以选了 i 0 i_0 i0 必选 j 1 j_1 j1。
代码如下:
#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");
}
}