POJ 3678 Katu Puzzle (2-SAT)

题意：就是解关于AND,OR,XOR的多元方程，有解输出YES，无解输出NO

思路：每个Xi有0和1的取值，对于AND之后c=1，如果a取0自身是矛盾边，a到a'连边，如果a取1，那么b必须1，反之b亦然，c=0时，a取1时，b必须取0，反之亦然；对于OR之后c=1，如果a取0，那么b必须取1，c=0时，a取0时，b必须取0，a取1时自身矛盾，a到a'连边，b同理；对于XOR之后c=1，如果a取1，b必须为0，如果a取0，b必须为1，b同理，c=0时，a取0，b必须取0，a取1时，b必须取1；

#include <iostream>
#include <cstdio>
#include <cstring>
using namespace std;
const int maxn=2002;
const int maxm=4000002;
int n,m;
struct node
{
    int to,next;
} e[maxm];
int head[maxn],edge;
inline void addedge(int u,int v)
{
    e[edge].to=v,e[edge].next=head[u],head[u]=edge++;
}
bool instack[maxn];
int dfn[maxn],low[maxn],stap[maxn],belong[maxn],cnt,ccnt,stop;
void init()
{
    stop=ccnt=cnt=edge=0;
    memset(head,-1,sizeof(head));
    memset(belong,0,sizeof(belong));
    memset(dfn,0,sizeof(dfn));
}
void dfs(int i)
{
    int v,u=i;
    dfn[u]=low[u]=++cnt;
    instack[i]=true;
    stap[stop++]=u;
    for(int j=head[u]; ~j; j=e[j].next)
    {
        if(!dfn[v=e[j].to])
        {
            dfs(v);
            low[u]=min(low[u],low[v]);
        }
        else if(instack[v])
            low[u]=min(low[u],dfn[v]);
    }
    if(low[u]==dfn[u])
    {
        ccnt++;
        while(true)
        {
            v=stap[--stop];
            belong[v]=ccnt;
            instack[v]=false;
            if(v==u) break;
        }
    }
}
void tarjan()
{
    for(int i=0; i<2*n; i++)
        if(!dfn[i])
            dfs(i);
}
bool ok()
{
    for(int i=0; i<n; i++)
        if(belong[i]==belong[i+n]) return 0;
    return 1;
}
int main()
{
    int a,b,c;
    char op[5];
    while(~scanf("%d%d",&n,&m))
    {
        init();
        while(m--)
        {
            scanf("%d%d%d%s",&a,&b,&c,op);
            if(op[0]=='A')
            {
                if(c)
                {
                    addedge(a+n,b+n);
                    addedge(b+n,a+n);
                    addedge(a,a+n);
                    addedge(b,b+n);
                }
                else
                {
                    addedge(a+n,b);
                    addedge(b+n,a);
                }
            }
            else if(op[0]=='O')
            {
                if(c)
                {
                    addedge(a,b+n);
                    addedge(b,a+n);
                }
                else
                {
                    addedge(a+n,a);
                    addedge(b+n,b);
                    addedge(a,b);
                    addedge(b,a);
                }
            }
            else
            {
                if(c)
                {
                    addedge(a+n,b);
                    addedge(b,a+n);
                    addedge(b+n,a);
                    addedge(a,b+n);
                }
                else
                {
                    addedge(a,b);
                    addedge(b,a);
                    addedge(a+n,b+n);
                    addedge(b+n,a+n);
                }
            }
        }
        tarjan();
        if(ok())  puts("YES");
        else puts("NO");
    }
    return 0;
}