Poj 3678 Katu Puzzle【2-SAT----Tarjan强连通】

Katu Puzzle

Time Limit: 1000MS		Memory Limit: 65536K
Total Submissions: 9200		Accepted: 3422

Description

Katu Puzzle is presented as a directed graph G(V, E) with each edge e(a, b) labeled by a boolean operator op (one of AND, OR, XOR) and an integer c (0 ≤ c ≤ 1). One Katu is solvable if one can find each vertex V_i a value X_i (0 ≤ X_i ≤ 1) such that for each edge e(a, b) labeled by op and c, the following formula holds:

 X_a op X_b = c

The calculating rules are:

AND 0 1 0 0 0 1 0 1

OR 0 1 0 0 1 1 1 1

XOR 0 1 0 0 1 1 1 0

Given a Katu Puzzle, your task is to determine whether it is solvable.

Input

The first line contains two integers N (1 ≤ N ≤ 1000) and M,(0 ≤ M ≤ 1,000,000) indicating the number of vertices and edges.
The following M lines contain three integers a (0 ≤ a < N), b(0 ≤ b < N), c and an operator op each, describing the edges.

Output

Output a line containing "YES" or "NO".

Sample Input

4 4

0 1 1 AND

1 2 1 OR

3 2 0 AND

3 0 0 XOR

Sample Output

YES

Hint

X₀ = 1, X₁ = 1, X₂ = 0, X₃ = 1.

Source

POJ Founder Monthly Contest – 2008.07.27, Dagger

 

题目大意：有n个点，m条有向边，然后呢，对于每个边的输入有四个元素，a，b，c，d，表示从a到b有一条有向边，对于组成的图，我们给每个点都赋予一个值（0/1），问是否能有一个赋值方案能够满足对于每条边的操作a opd b==c。

思路：

1、拆点。对于每个点，要么取值为1，要么取值为0，那么一个点就可以看成两个点，两个点组成一块，就是一个党派即a（1），！a（0）。

2、建边。

①与运算&：同1为1，其余为0

②或运算|：有1为1，其余为0

③亦或运算^：不同为1，相同为0

对于每两个点之间有一个操作，和一个操作结果值。我们对矛盾情况进行枚举，我们拿与运算来举个例子：

①c==1：对应矛盾情况就是不让c=1，那么就是让c=0，对于a--->b 其中矛盾边为：a---->!b !a------->b !a-------->!b

②c==0：对应矛盾情况就是不让c=0，那么就是让c=0，对于a----->b 其中矛盾边为：a------->b

那么这个问题我们就转化到了入门2-SAT的题目问题：

给出n个党派，每个党派两个人，每个党派之间都有矛盾关系，判断是否能选出n个人使其中每个人都没有矛盾。

我们的问题是给出n个点，每个点都拆分出两个点，每个点之间都有矛盾关系，判断是否能够赋值给n个点，使其中每个点都能符合其边权值。

3、Tarjan求强连通，缩点染色，如果a和！a出现在同一个强连通分量就输出NO，否则输出YES

ac代码：

/*
    add(x+n,y);
    add(y+n,x);//0 0
    add(x,y+n);
    add(y,x+n);//1 1
    add(x,y);
    add(y+n,x+n);//1 0
    add(x+n,y+n);
    add(y,x);//0 1
*/
#include<stdio.h>
#include<string.h>
#include<queue>
using namespace std;
int head[100000];
struct EdgeNode
{
    int to;
    int w;
    int next;
}e[6000000];
int vis[100000];
int low[100000];
int dfn[100000];
int color[100000];
int stack[1000000];
int n,m,cont,sig,cnt,tt;
void init()
{
    cont=0;
    tt=-1;
    sig=0;
    cnt=1;
    memset(stack,0,sizeof(stack));
    memset(color,0,sizeof(color));
    memset(dfn,0,sizeof(dfn));
    memset(low,0,sizeof(low));
    memset(head,-1,sizeof(head));
    memset(vis,0,sizeof(vis));
}
void add(int from,int to)
{
    e[cont].to=to;
    e[cont].next=head[from];
    head[from]=cont++;
}
void Tarjan(int u)
{
    vis[u]=1;
    dfn[u]=low[u]=cnt++;
    stack[++tt]=u;
    for(int i=head[u];i!=-1;i=e[i].next)
    {
        int v=e[i].to;
        if(vis[v]==0)Tarjan(v);
        if(vis[v]==1)low[u]=min(low[u],low[v]);
    }
    if(dfn[u]==low[u])
    {
        sig++;
        do
        {
            color[stack[tt]]=sig;
            vis[stack[tt]]=-1;
        }
        while(stack[tt--]!=u);
    }
}
void Slove()
{
    for(int i=0;i<n*2;i++)
    {
        if(vis[i]==0)
        {
            Tarjan(i);
        }
    }
    int flag=0;
    for(int i=0;i<2*n;i+=2)
    {
        if(color[i]==color[i+n])
        flag=1;
    }
    if(flag==1)printf("NO\n");
    else printf("YES\n");
}
int main()
{
    scanf("%d%d",&n,&m);
        init();
        for(int i=0;i<m;i++)
        {
            int x,y,c;
            scanf("%d%d%d",&x,&y,&c);
            char s[10];
            scanf("%s",&s);
            if(strcmp(s,"AND")==0)
            {
                if(c==1)
                {
                    add(x,y);
                    add(y+n,x+n);//1 0
                    add(x+n,y+n);
                    add(y,x);//0 1
                    add(x+n,y);
                    add(y+n,x);//0 0
                }
                if(c==0)
                {
                    add(x,y+n);
                    add(y,x+n);//1 1
                }
            }
            if(strcmp(s,"OR")==0)
            {
                if(c==1)
                {
                    add(x+n,y);
                    add(y+n,x);//0 0
                }
                if(c==0)
                {
                    add(x,y+n);
                    add(y,x+n);//1 1
                    add(x,y);
                    add(y+n,x+n);//1 0
                    add(x+n,y+n);
                    add(y,x);//0 1
                }
            }
            if(strcmp(s,"XOR")==0)
            {
                if(c==0)
                {
                    add(x,y);
                    add(y+n,x+n);//1 0
                    add(x+n,y+n);
                    add(y,x);//0 1
                }
                if(c==1)
                {
                    add(x+n,y);
                    add(y+n,x);//0 0
                    add(x,y+n);
                    add(y,x+n);//1 1
                }
            }
        }
        Slove();
}