poj 3678 Katu Puzzle

http://poj.org/problem?id=3678

2-SAT 问题 关键在于处理关系 看了别人的解析 自己还是不行呀

代码：

#include<iostream>

#include<cstdio>

#include<cstring>

#include<algorithm>

#include<string>

#include<map>

#include<queue>

#include<stack>

#include<cmath>

#define LL long long



using namespace std;



const int N=2005;

struct node

{

    struct tt *next;

}mem[N];

struct tt

{

    int j;

    struct tt *next;

};

int dfn[N];

int low[N];

bool in[N];

bool visited[N];

int deep;

int f[N];

stack<int>str;

void build(int i,int j)

{

    struct tt *t=new tt;

    t->j=j;

    t->next=mem[i].next;

    mem[i].next=t;

}

void Dele(int n)

{

    for(int i=0;i<=n;++i)

    mem[i].next=NULL;

}

void Tarjan(int x)

{

    visited[x]=true;

    str.push(x);

    in[x]=true;

    dfn[x]=low[x]=deep++;

    struct tt *t=mem[x].next;

    while(t!=NULL)

    {

        if(visited[t->j]==false)

        {

            Tarjan(t->j);

            low[x]=min(low[x],low[t->j]);

        }else if(in[t->j]==true)

        {

            low[x]=min(low[x],dfn[t->j]);

        }

        t=t->next;

    }

    if(low[x]==dfn[x])

    {

        while(str.top()!=x)

        {

            int k=str.top();

            str.pop();

            in[k]=false;

            f[k]=x;

        }

        int k=str.top();

        str.pop();

        in[k]=false;

        f[k]=x;

    }



}

inline void Judge(int a,int b,int c,char s[],int n)

{

    if(s[0]=='A')

    {

        if(c==1)

        {

            build(a+n,a);build(b+n,b);//a表示1 a+n表示0 b也一样

        }else

        {

            build(a,b+n);build(b,a+n);

        }

        return ;

    }

    if(s[0]=='O')

    {

        if(c==1)

        {

            build(a+n,b);build(b+n,a);

        }else

        {

            build(a,a+n);build(b,b+n);

        }

        return ;

    }

    if(s[0]=='X')

    {

        if(c==1)

        {

            build(a,b+n);build(a+n,b);

            build(b,a+n);build(b+n,a);

        }else

        {

            build(a,b);build(a+n,b+n);

            build(b,a);build(b+n,a+n);

        }

    }

}

int main()

{

    //freopen("data.txt","r",stdin);

    int n,m;

    while(scanf("%d %d",&n,&m)!=EOF)

    {

        int a,b,c;

        char s[5];

        for(int i=0;i<m;++i)

        {

            scanf("%d %d %d %s",&a,&b,&c,s);

            Judge(a,b,c,s,n);

        }

        while(!str.empty())

        str.pop();

        memset(dfn,-1,sizeof(dfn));

        memset(low,-1,sizeof(low));

        memset(in,false,sizeof(in));

        memset(visited,false,sizeof(visited));

        memset(f,-1,sizeof(f));

        deep=0;

        int l;

        for(l=0;l<n;++l)

        {

            if(visited[l]==false)

            Tarjan(l);

            if(f[l]==f[l+n])

            break;

        }

        if(l<n)

        printf("NO\n");

        else

        printf("YES\n");

        Dele(n*2);

    }

    return 0;

}