2-sat——poj3678经典建图

比较经典的建图，详见进阶指南

2-sat一般要用到tarjan来求强连通分量

/*2-sat要加的是具有强制关系的边*/
#include<iostream>
#include<cstring>
#include<cstdio>
using namespace std;
#define N 2005
#define M 2000005
struct Edge{int to,nxt;}e[M<<];
int n,m,head[N],tot;
void init(){
    memset(head,-,sizeof head);
}
void add(int u,int v){
    e[tot].to=v;
    e[tot].nxt=head[u];
    head[u]=tot++;
}

int low[N],dfn[N],cnt,id[N],ind,stk[N],top,ins[N];
void tarjan(int x){
    dfn[x]=low[x]=++ind;
    stk[++top]=x;ins[x]=;
    for(int i=head[x];i!=-;i=e[i].nxt){
        int y=e[i].to;
        if(!dfn[y]){
            tarjan(y);
            low[x]=min(low[x],low[y]);
        }
        else if(ins[y])
            low[x]=min(low[x],low[y]);
    }
    if(dfn[x]==low[x]){
        cnt++;int y;
        do{
            y=stk[top--];
            ins[y]=;
            id[y]=cnt;
        }while(x!=y);
    }
}

int main(){
    init();
    int a,b,c;
    char op[];
    cin>>n>>m;
    for(int i=;i<=m;i++){
        scanf("%d%d%d %s",&a,&b,&c,op);
        a++,b++;
        if(op[]=='A'){
            if(c==)add(a+n,b),add(b+n,a);
            if(c==)add(a,a+n),add(b,b+n);
        }
        if(op[]=='O'){
            if(c==)add(a+n,a),add(b+n,b);
            if(c==)add(a,b+n),add(b,a+n);
        }
        if(op[]=='X'){
            if(c==)add(a,b),add(b,a),add(a+n,b+n),add(b+n,a+n);
            if(c==)add(a,b+n),add(a+n,b),add(b,a+n),add(b+n,a);
        }
    }
    for(int i=;i<=*n;i++)
        if(!dfn[i])tarjan(i);
    for(int i=;i<=n;i++)
        if(id[i]==id[i+n]){
            puts("NO");
            return ;
        }
    puts("YES");
}