POJ 3678 2-SAT 第一题

题意，给一些点，和边的值，和一些运算。

两个点经过运算是否可以满足边的值

比如 i-j 值是1 运算是 AND,那么  点i点j的值只能都是1.

就是求是否所有的点都满足这种情况。

典型的2-SAT问题。

将点s代表0，则s+n代表1。

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <string>
#include <cmath>
#include <cstring>
#include <queue>
#include <set>
#include <vector>
#include <stack>
#include <map>
#include <iomanip>
#define PI acos(-1.0)
#define Max 1005
#define inf 1<<28
#define LL(x) (x<<1)
#define RR(x) (x<<1|1)
using namespace std;

struct kdq
{
    int v,next;
} edge[1000005];

int head[Max];
int num=0;
int cntnum=0;
int dfn[Max],belong[Max],low[Max],instack[Max],sta[Max],index,top;

void add(int v,int to)
{
    edge[num].v=to;
    edge[num].next=head[v];
    head[v]=num++;
}

void init()
{
    memset(head,-1,sizeof(head));
    memset(dfn,0,sizeof(dfn));
    num=0;
    cntnum=0;
    index=0;
    top=0;
}
int n,m;

void tarjan(int id)
{
    dfn[id]=low[id]=index++;
    instack[id]=1;
    sta[top++]=id;
    int temp=head[id];
    while(temp!=-1)
    {
        int v=edge[temp].v;
        if(!dfn[v])
        {
            tarjan(v);
            if(low[v]<low[id])low[id]=low[v];
        }
        else if(instack[v]&&dfn[v]<low[id])
        low[id]=dfn[v];
        temp=edge[temp].next;
    }
    if(dfn[id]==low[id])
    {
        do
        {
            temp=sta[--top];
            instack[temp]=0;
            belong[temp]=cntnum;
        }
        while(temp!=id);
        cntnum++;
    }
}
int main()
{

    cin>>n>>m;
    init();
    int s,t,c;
    string op;
    while(m--)
    {
        scanf("%d%d%d",&s,&t,&c);
        cin>>op;
        if(op=="AND")
        {
            if(c)//两个1
            {
                add(s+n,t+n);//1和1连接
                add(t+n,s+n);
                add(s,s+n);//表示只取后者
                add(t,t+n);
            }
            else
            {
                add(s+n,t);//1和0
                add(t+n,s);
            }
        }
        else if(op=="OR")
        {
            if(!c)
            {
                add(s,t);//都是0
                add(t,s);
                add(s+n,s);//表示只取后者
                add(t+n,t);
            }
            else
            {
                add(s,t+n);//0,1
                add(t,s+n);
            }
        }
        else
        {
            if(c)
            {
                add(s,t+n);//一个为0另一个必定为1
                add(s+n,t);
                add(t+n,s);
                add(t,s+n);
            }
            else
            {
                add(s+n,t+n);//一个为0另一个必定为0，一个为1另一个必定为1
                add(t+n,s+n);
                add(s,t);
                add(t,s);
            }
        }
    }
    for(int i=0; i<2*n; i++)
        if(!dfn[i])tarjan(i);
    bool flag=0;
    for(int i=0; i<n; i++)
        if(belong[i]==belong[i+n])
        {
            flag=1;
            break;
        }
    if(flag)cout<<"NO"<<endl;
    else cout<<"YES"<<endl;
    return 0;
}