POJ3678 KATU PUZZLE

POJ 3678 KATU PUZZLE

题目大意：

给定N个点M条边的无向图，每条边的有一个对应的运算符（AND,OR,XOR之一）和一个对应的值（0或1），问是否可以给每个点安排对应的值使得每条边的两个端点的值按照边上的运算符计算得到对应边上的值？

1 ≤ N ≤ 1000，0 ≤ M ≤ 1,000,000

——————————————————————————————————

比较好的2-SAT题目，可以很好的练习建图！

a&b=1:~a->a,~b->b

a&b=0:a->~b,b->~a

a|b=1:~a->b,~b->a

a|b=0:a->~a,b->~b

a^b=0:a->b,b->a,~a->~b,~b->~a

a^b=1:a->~b,~b->a,~a->b,b->~a

只里面要注意，a&b=1和a|b=0不存在推导的关系，关系是一定的。所以这样写！！

——————————————————————————————————

#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
using namespace std;
const int maxn=1010;
const int maxm=1e6+10;
int n,m;
char s[5];
struct edge
{
    int u,v,nxt;
}e[maxm*4];
int head[maxn<<1],js;
void addage(int u,int v)
{
    e[++js].u=u;e[js].v=v;
    e[js].nxt=head[u];head[u]=js;
}
int dfn[maxn<<1],low[maxn<<1],cnt,st[maxn<<1],top,lt[maxn<<1],lts;
void tarjan(int u)
{
    dfn[u]=low[u]=++cnt;
    st[++top]=u;
    for(int i=head[u];i;i=e[i].nxt)
    {
        int v=e[i].v;
        if(!dfn[v])
        {
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(!lt[v]) low[u]=min(low[u],dfn[v]);
    }
    if(dfn[u]==low[u])
    {
        lt[u]=++lts;
        while(st[top]!=u)lt[st[top--]]=lts;
        --top;
    }
}
void init()
{
    memset(head,0,sizeof head);
    js=0;
    memset(dfn,0,sizeof dfn);
    memset(low,0,sizeof low);
    cnt=top=lts=0;
    memset(lt,0,sizeof lt);
}
int main()
{
    while(scanf("%d%d",&n,&m)==2)
    {
        init();
        for(int a,b,c,i=1;i<=m;++i)
        {
            scanf("%d%d%d%s",&a,&b,&c,s);
            ++a;++b;
            if(s[0]=='A')
            {
                if(c==1)addage(a*2,a*2-1),addage(b*2,b*2-1);
                else if(c==0)addage(a*2-1,b*2),addage(b*2-1,a*2);
            }
            else if(s[0]=='O')
            {
                if(c==1)addage(a*2,b*2-1),addage(b*2,a*2-1);
                else if(c==0)addage(a*2-1,a*2),addage(b*2-1,b*2);
            }
            else
            {
                if(c==0)addage(a*2-1,b*2-1),addage(b*2-1,a*2-1),addage(a*2,b*2),addage(b*2,a*2);
                else if(c==1)addage(a*2-1,b*2),addage(b*2,a*2-1),addage(a*2,b*2-1),addage(b*2-1,a*2);
            }
        }
        for(int i=1;i<=n*2;++i)
            if(!dfn[i])tarjan(i);
        for(int i=1;i<=n;++i)
            if(lt[i*2]==lt[i*2-1])
            {
                puts("NO");
                return 0;
            }
        puts("YES");
    }
    return 0;
}