poj3678 Katu Puzzle(2-sat 裸题 tarjan判断是否可行)

题目

题意： 给你n个数和m组关系。 u v d XOR 意思是u^v=d。问是否可行。
主要就是 u uu必须选u的时候应该 add(uu,u).

#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
const int N=1e4+5,M=3e6+5;
struct Edge{int to,nex;}edge[M<<2];
int head[N],tot;
inline void add(int from,int to){edge[++tot]=(Edge){to,head[from]},head[from]=tot;}
int low[N],dfn[N],st[N],vis[N],col[N],cnt,index,color;
void tarjan(int x){
    dfn[x]=low[x]=++cnt,st[++index]=x,vis[x]=1;
    for(int i=head[x];i;i=edge[i].nex){
        int y=edge[i].to;
        if(!dfn[y]) tarjan(y),low[x]=min(low[x],low[y]);
        else if(vis[y]) low[x]=min(low[x],dfn[y]);
    }
    if(low[x]==dfn[x]){
        ++color;
        do{col[st[index]]=color,vis[st[index--]]=0;}while(x!=st[index+1]);
    }
}
char s[4];
int main(){
    int n,m;scanf("%d%d",&n,&m);
    while(m--){
        int u,v,d;scanf("%d%d%d%s",&u,&v,&d,s+1);++u,++v;
        if(s[1]=='A'){//&
            if(d) add(u+n,u),add(v+n,v);
            else add(u,v+n),add(v,u+n);
        }else if(s[1]=='O'){// |
            if(!d) add(u,u+n),add(v,v+n);
            else add(u+n,v),add(v+n,u);
        }else{// ^
            if(d) add(u,v+n),add(u+n,v),add(v,u+n),add(v+n,u);
            else add(u,v),add(u+n,v+n),add(v,u),add(v+n,u+n);
        }
    }
    for(int i=1;i<=2*n;++i) if(!dfn[i]) tarjan(i);
    for(int i=1;i<=n;++i) if(col[i]==col[i+n]) {puts("NO");return 0;}
    puts("YES");
}