Katu Puzzle[2-SAT]

传送门

2-sat

主要的思想是将一个点拆为两个点

如 点x变成x与x+n 其中x表示选0,x+n表示x选1

我们建立好关系后tarjan缩点,如果x与x+n在一个强联通分量,那么就是冲突的(x必须选0又必须选1)

本题如何建立关系

1.a&b = 0 , 如果a是1,b就是必须是0 于是a+n向b 连边,b+n向a连边

2.a&b = 1 , 表示a,b都为1,于是a向a+n,b向b+n连边 , 表示如果a取0,那么a必须取1

3.a|b = 0 ,类似2 , a+n向a,b+n向b连边

4.a|b = 1 , 类似1, a是0,b就必须是1 于是a向b+n,b向a+n连边

5.a^b = 0 , a,b相同 , 于是a->b , b->a , a+n->b+n , b+n->a+n

6.a^b = 1 , a,b 不同, 于是a->b+n , b->a+n , a+n -> b , b+n -> a

注意这里的边都是有向边,因为这些关系只能单方面推出

---

#include<iostream>
#include<cstdio>
#define N 1005*2
#define M 1000050*4
using namespace std;
int first[N],next[M],to[M],tot;
int n,m,flag; char s[10];
int dfn[N],low[N],sta[N],insta[N],sign,top,id[N],sum;
int read(){
	int cnt=0;char ch=0;
	while(!isdigit(ch)) ch=getchar();
	while(isdigit(ch))cnt=cnt*10+(ch-'0'),ch=getchar();
	return cnt;
}
void add(int x,int y){
	next[++tot]=first[x],first[x]=tot,to[tot]=y;
}
void dfs(int u){
	dfn[u]=low[u]=++sign;
	sta[++top]=u,insta[u]=1;
	for(int i=first[u];i;i=next[i]){
		int t=to[i]; 
		if(!dfn[t]) dfs(t),low[u]=min(low[u],low[t]);
		else if(insta[t] && dfn[t]<low[u]) low[u]=dfn[t];
	}
	if(low[u]==dfn[u]){
		sum++;do{
			id[sta[top]]=sum,insta[sta[top]]=0;
		}while(sta[top--]!=u);
	}
}
int main(){
	n=read(),m=read();
	for(int i=1;i<=m;i++){
		int x=read()+1,y=read()+1,z=read(); scanf("%s",s);
		if(s[0]=='A') {
			if(z==0) add(x+n,y),add(y+n,x);
			if(z==1) add(x,x+n),add(y,y+n);
		}
		if(s[0]=='O'){
			if(z==0) add(x+n,x),add(y+n,y);
			if(z==1) add(x,y+n),add(y,x+n);
		}
		if(s[0]=='X'){
			if(z==0) add(x,y),add(y,x),add(x+n,y+n),add(y+n,x+n);
			if(z==1) add(x,y+n),add(y,x+n),add(x+n,y),add(y+n,x);
		}
	}
	for(int i=1;i<=n*2;i++) if(!dfn[i]) dfs(i);
	for(int i=1;i<=n;i++) if(id[i]==id[i+n]) flag=1;
	if(flag) printf("NO"); else printf("YES"); return 0;
}