poj 3678 2-SAT问题

思路：将每个点拆分为两个点 a与a' ，a表示为1，a'表示为0。那么条件给的每个边自然就会存在矛盾，然后根据2-SAT建边就行了。

#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
#include<cmath>
#include<vector>
#define Maxn 3010
#define Maxm 1000000
using namespace std;
int dfn[Maxn],low[Maxn],vi[Maxn],head[Maxn],e,n,m,lab,top,Stack[Maxn],num,id[Maxn];
struct Edge{
    int u,v,next,l;
}edge[Maxm];
void init()
{
    int i,j;
    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
    memset(head,-1,sizeof(head));
    memset(id,0,sizeof(id));
    memset(vi,0,sizeof(vi));
    e=lab=num=top=0;
}
void add(int u,int v)
{
    edge[e].u=u,edge[e].v=v,edge[e].next=head[u],head[u]=e++;
}
void Tarjan(int u)
{
    int i,j,v;
    dfn[u]=low[u]=++lab;
    Stack[top++]=u;
    vi[u]=1;
    for(i=head[u];i!=-1;i=edge[i].next)
    {
        v=edge[i].v;
        if(!dfn[v])
        {
            Tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        if(vi[v])
        low[u]=min(low[u],dfn[v]);
    }
    if(low[u]==dfn[u])
    {
        ++num;
        do{
            i=Stack[--top];
            vi[i]=0;
            id[i]=num;
        }while(i!=u);
    }
}
int solve()
{
    int i,j;
    for(i=1;i<=n*2;i++)
    {
        if(!dfn[i])
            Tarjan(i);
    }
    for(i=1;i<=n;i++)
    {
            if(id[i]==id[i+n])
            return 0;
    }
    return 1;
}
int main()
{
    int i,j,a,b,c;
    char str[10];
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        init();
        for(i=1;i<=m;i++)
        {
            scanf("%d%d%d%s",&a,&b,&c,&str);
            a++,b++;
            if(str[0]=='O')
            {
                if(c==0)
                {
                    add(a,b+n);
                    add(a,b);
                    add(b,a+n);
                    add(b,a);
                    add(a+n,b+n);
                    add(b+n,a+n);
                }
                else
                {
                    add(a+n,b);
                    add(b+n,a);
                }
            }
            if(str[0]=='A')
            {
                if(c==0)
                {
                    add(a,b+n);
                    add(b,a+n);
                }
                else
                {
                    add(a+n,b);
                    add(a,b);
                    add(b+n,a);
                    add(b,a);
                    add(a+n,b+n);
                    add(b+n,a+n);
                }
            }
            if(str[0]=='X')
            {
                if(c==0)
                {
                    add(a,b);
                    add(b+n,a+n);
                    add(b,a);
                    add(a+n,b+n);
                }
                else
                {
                    add(a,b+n);
                    add(b,a+n);
                    add(a+n,b);
                    add(b+n,a);
                }
            }
        }
        if(solve())
            printf("YES\n");
        else
            printf("NO\n");
    }
    return 0;
}