Party（2-sat板题）

咕咕咕了，最近事情实在太多，忙不过来了。学校没给复习时间，直接考试，时间还和四六级考试冲突，学吐了快。进暑假后打工挣学费去了，一上一整天，累吐了。

题目链接

---

思路：

2-sat问题之前写过一个，当时有说，是这场的H。

摘自OI wiki：

摘自B站up（信息学一本通）：

摘自B站up（bewildRan）：

每个集合有两种取值，假如某个集合的编号为 $i$，取值看作是 $1$ 或 $0$，用选取点 $i$ 当作是取值为 $1$，选取点 $i^{\prime }$ 当作是取值为 $0$，同理设 $j,j^{\prime }$。那么连接有向边 $i\to j$ 的意思就是选取 $i$ 则可以推出选取 $j$（也就是第 $i$ 个集合取值为 $1$，则第 $j$ 个集合必定取值为 $1$，反过来选第 $j$ 个集合则不影响选第 $i$ 个集合），显然 $i$ 的所有后继节点都要选择（另外选择了 $i$，就不能选 $i^{\prime }$ 了，那么 $i^{\prime }$ 的所有前导节点必定不能选）。在一条链上先选后面部分对前面无影响，相当于后半段选上前半段不选，但是如果是一个环（也就是强连通分量），只要确定了一个点的值，那么环上任意一点的值就确定了，因此如果

这个题里，假设前 $n$ 个点（$0\sim n-1$）表示妻子，后 $n$ 个点（$n\sim 2n-1$）表示丈夫，这样 $a_i,a_i+n$ 就是一对妻子丈夫的编号，放到图里就是两个点。假如 $a_1$ 的丈夫与 $a_2$ 的丈夫有矛盾，那么他俩就不能同时列席，换句话说，$a_1$ 的丈夫如果来的话，$a_2$ 来的必定是妻子，反之同理，即：选择 $a_1+n$ 这个点可以推出 $a_2$，选择 $a_2+n$ 这个点可以推出 $a_1$。我们直接连边 $a_1+n\to a_2$ 和 $a_2+n\to a_1$，之后直接跑2-sat即可。

2-sat加完边之后需要跑 $tarjan$ 找强连通分量并进行标号。如果只需要判断的话，就看看对于每一个集合的两个取值，是否在同一个强连通分量里，如果在说明两者取值是一致的，就矛盾了，无解，否则就有解。如果需要输出一种方案，那就将强连通分量缩点（scc缩点），然后建新图（这时候就是有向无环图DAG），跑一下拓扑排序，选点时，删掉强连通分量里的所有点，顺便把所有对应点所在强连通分量点删掉即可。

这题卡常，卡的很死，上快读才过，OI wiki的写法也超时。而且这题没告诉你是多组数据，读到文件尾结束。

code：

#include <iostream>
#include <cstdio>
#include <vector>
#include <cstring>
using namespace std;
const int maxn=1e3+5;
const int maxm=1e6+5;

int n,m;

inline int read(){
	int ans=0;
	char ch=getchar();
	while(ch<'0' || ch>'9')ch=getchar();
	while(ch>='0' && ch<='9'){
		ans=(ans<<3)+(ans<<1)+(ch^48);
		ch=getchar();
	}
	return ans;
}

int head[maxn<<1],ent;//前n表示妻子，后n表示丈夫 
struct edge{
	int v,nxt;
}e[maxm<<1];
inline void add(int u,int v){
	e[++ent]={v,head[u]};
	head[u]=ent;
}

int dfn[maxn<<1],low[maxn<<1],index;
int stk[maxn<<1],top;
int cnt,belong[maxn<<1];
bool ink[maxn<<1];
void tarjan(int u){
	dfn[u]=low[u]=++index;
	stk[++top]=u;ink[u]=true;
	for(int i=head[u],v;i;i=e[i].nxt){
		v=e[i].v;
		if(!dfn[v]){
			tarjan(v);
			low[u]=min(low[u],low[v]);
		}
		else if(ink[v])low[u]=min(low[u],dfn[v]);
	}
	if(dfn[u]==low[u]){
		int nd;++cnt;
		do{
			nd=stk[top--];
			ink[nd]=false;
			belong[nd]=cnt;
		}while(nd!=u);
	}
}

inline void init(){
	for(int i=0;i<(n<<1);i++)head[i]=low[i]=dfn[i]=0;
	ent=cnt=top=index=0;
//	memset(head,0,sizeof(head));
//	memset(low,0,sizeof(low));
//	memset(dfn,0,sizeof(dfn));
}

bool solve(){
	for(int u=0;u<(n<<1);u++)
		if(!dfn[u])
			tarjan(u);
	
	for(int u=0;u<n;u++)
		if(belong[u]==belong[u+n])
			return false;
	return true;
}

int main(){
	cin.tie(0)->sync_with_stdio(false);
	while(~scanf("%d%d",&n,&m)){
		init();
		for(int i=1,a1,a2,c1,c2;i<=m;i++){
//			scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
			a1=read();
			a2=read();
			c1=read();
			c2=read();
			add(a1+n*c1,a2+n*(c2^1));
			add(a2+n*c2,a1+n*(c1^1));
		}
		
		if(solve())printf("YES\n");
		else printf("NO\n");
	}
	return 0;
}