POJ 3678 Katu Puzzle 2-SAT 强连通分量 tarjan

http://poj.org/problem?id=3678

给m条连接两个点的边，每条边有一个权值0或1，有一个运算方式and、or或xor，要求和这条边相连的两个点经过边上的运算后的结果是边的权值。问存不存在使所有边都符合条件的给点赋值的方法。

2-SAT的各种连法都有了。

#include<iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
#include<cmath>
using namespace std;
const int maxn=2010;
int n,m;char s[5]={};
struct nod{
    int y,next;
}e[maxn*maxn];
int head[maxn]={},tot=0;
inline void init(int x,int y){e[++tot].y=y;e[tot].next=head[x];head[x]=tot;}
int low[maxn]={},vis[maxn]={},dfn[maxn]={},cnt=0;
int sta[maxn]={},tai=0,bel[maxn]={},tn=0;
void tarjan(int x){
    low[x]=dfn[x]=++cnt;vis[x]=1;sta[++tai]=x;
    for(int i=head[x];i;i=e[i].next){
        int y=e[i].y;
        if(!dfn[y]){
            tarjan(y);if(low[x]>low[y])low[x]=low[y];
        }
        else if(vis[y]&&dfn[y]<low[x])low[x]=dfn[y];
    }
    if(low[x]==dfn[x]){
        int w;++tn;
        do{
            w=sta[tai--];
            vis[w]=0;bel[w]=tn;
        }while(w!=x);
    }
}
int main(){
    scanf("%d%d",&n,&m);int x,y,v;
    for(int i=1;i<=m;i++){//x+n 1 x 0
        scanf("%d%d%d",&x,&y,&v);scanf("%s",s);++x;++y;
        if(s[0]=='A'){
            if(v==1){
                init(x+n,y+n);init(y+n,x+n);
                init(y,x+n);init(x,y+n);
            }else {init(x+n,y);init(y+n,x);}
        }
        else if(s[0]=='O'){
            if(v==1){init(x,y+n);init(y,x+n);}
            else{
                init(x,y);init(y,x);
                init(x+n,y);init(y+n,x);
            }
        }
        else{
            if(v==1){
                init(x,y+n);init(y+n,x);
                init(x+n,y);init(y,x+n);
            }
            else{
                init(x+n,y+n);init(y+n,x+n);
                init(x,y);init(y,x);
            }
        }
    }
    for(int i=1;i<=2*n;i++)if(!dfn[i])tarjan(i);
    int f=0;
    for(int i=1;i<=n;i++){
        if(bel[i]==bel[i+n]){
            f=1;break;
        }
    }
    if(f)printf("NO\n");
    else printf("YES\n");
    return 0;
}