poj3678详解（2-SAT）

题目大概意思为，有 N 个数（每个数都是 0 或 1），有 M 对关系，例 a b c AND，就是第 a 个数和第 b 个数进行 AND， 结果为 c，问是否存在能符合所有关系的这 N 个数

每个数要不为 0，要不为 1，且有限制条件（每个限制条件中变量个数不超过 2 ），考虑 2-SAT

对于AND：
如果 c 是 1，则如果 a 是 1，则 b 一定是 1，如果 b 是 1，则 a 一定是 1，且 a 一定是 1，b 一定是 1
如果 c 是 0，则如果 a 是 1，则 b 一定是 0，如果 b 是 1，则 a 一定是 0

对于OR：
如果 c 是 1，则如果 a 是 0，则 b 一定是 1，如果 b 是 0，则 a 一定是 1
如果 c 是 0，则如果 a 是 0，则 b 一定是 0，如果 b 是 0，则 a 一定是 0，且 a 一定是 0，b一定是 0

对于XOR：
如果 c 是 1，则如果 a 是 0，则 b 一定是 1，如果 a 是 1，则 b 一定是 0，如果 b 是 0，则 a 一定是 1，如果 b 是 1，则 a 一定是 0
如果 c 是 0，则如果 a 是 0，则 b 一定是 0，如果 a 是 1，则 b 一定是 1，如果 b 是 0，则 a 一定是 0，如果 b 是 1，则 a 一定是 1

将 N 个数分为 拆成 2N 个，i 表示第 i 个数选的是 1，N + i 表示第 i 个数选的是 0

主要就是如何连接图的边：
如果是选 a 就 必须选 b，就连接 a 到 b 的边
如果是一定选择 a，则连接 非a 到 a 的边

然后套 2-SAT 模板即可

#include <iostream>
#include <stdio.h>
#include <vector>
#include <string.h>
#include <stdlib.h>
using namespace std;
vector<int> edge[2005];
vector<int> redge[2005];
vector<int> flag;
vector<int> ddd;
int used[2005];
int kind[2005];
int N, M;
void add_edge(int i, int j)
{
    edge[i].push_back(j);
    redge[j].push_back(i);
}
void dfs(int v)
{
    used[v] = true;
    for(int i = 0; i < edge[v].size(); i++)
    {
        if(!used[edge[v][i]])
        {
            dfs(edge[v][i]);
        }
    }
    flag.push_back(v);
}
void rdfs(int v, int k)
{
    used[v] = true;
    kind[v] = k;
    for(int i = 0; i < redge[v].size(); i++)
    {
        if(!used[redge[v][i]])
        {
            rdfs(redge[v][i], k);
        }
    }
}
int main()
{
    scanf("%d %d", &N, &M);
    memset(kind, -1, sizeof(kind));
    for(int i = 0; i < M; i++)
    {
        int a, b, c;
        char d[10];
        scanf("%d %d %d %s", &a, &b, &c, d);
        if(strcmp("AND", d) == 0)
        {
            if(c == 0)
            {
                add_edge(a, b + N);
                add_edge(b, a + N);
            }
            else
            {
                add_edge(a, b);
                add_edge(b, a);
                add_edge(a + N, b);
                add_edge(b + N, a);
            }
        }
        if(strcmp("OR", d) == 0)
        {
            if(c == 0)
            {
                add_edge(a + N, b + N);
                add_edge(b + N, a + N);
                add_edge(a, a + N);
                add_edge(b, b + N);
            }
            else
            {
                add_edge(a + N, b);
                add_edge(b + N, a);
            }
        }
        if(strcmp("XOR", d) == 0)
        {
            if(c == 0)
            {
                add_edge(a, b);
                add_edge(a + N, b + N);
                add_edge(b, a);
                add_edge(b + N, a + N);
            }
            else
            {
                add_edge(a, b + N);
                add_edge(a + N, b);
                add_edge(b, a + N);
                add_edge(b + N, a);
            }
        }
    }
    memset(used, false, sizeof(used));
    for(int i = 0; i < 2 * N; i++)
    {
        if(!used[i]) dfs(i);
    }
    memset(used, false, sizeof(used));
    int num = 0;
    for(int i = flag.size() - 1; i >= 0; i--)
    {
        if(!used[flag[i]]) rdfs(flag[i], num++);
    }
    for(int i = 0; i < N; i++)
    {
        if(kind[i] == kind[i + N])
        {
            printf("NO\n");
            return 0;
        }
    }
    printf("YES\n");
    return 0;
}