POJ - 3678(2-sat)

思路：很明显是一个2-sat问题。

对于顶点A，B，如果A & B = 1，那么A，B必须都是真，让A取假时矛盾，即 !A->A, !B->B.

     如果A & B = 0，那么A、B一真一假，即A->!B, B->!A.

     如果A | B = 1，那么A取假时B为真，B取假时A为真，即!A->B, !B->A.

     如果A | B = 0，那么A，B必须都是假，让A取真时矛盾，即 A->!A, B->!B.

     如果A ^ B = 1， 那么A，B不同，即A->!B, !A->B, B->!A, !B->A.

    如果A ^ B = 1，那么A，B相同，即A->B, !A->!B, B->A, !B->!A.

#include<cstdio>
#include<cstring>
#include<vector>
using namespace std;
typedef long long LL;
const int maxn = 2e3 + 10;
int x[maxn], y[maxn];
bool mark[maxn * 2];
int S[maxn * 2], c;
vector<int> G[maxn * 2];
int n, m;
void add(int x, int y){
    G[x].push_back(y);
}
void init(int n){
    for(int i = 0; i < 2 * n; ++i) G[i].clear();
    memset(mark, 0, sizeof mark);
}
bool dfs(int x){
    if(mark[x^1]) return false;
    if(mark[x]) return true;
    mark[x] = true;
    S[c++] = x;
    for(int i = 0; i < G[x].size(); ++i){
        if(!dfs(G[x][i])) return false;
    }
    return true;
}
bool solve(){
    for(int i = 0; i < 2 * n; i += 2){
        if(!mark[i] && !mark[i + 1]){
            c = 0;
            if(!dfs(i)){
                while(c > 0) mark[S[--c]] = false;
                if(!dfs(i + 1)) return false;
            }
        }
    }
    return true;
}
int main(){
    scanf("%d%d", &n, &m);
        init(n);
        for(int i = 0; i < m; ++i){
            int a, b, c;
            char op[5];
            scanf("%d%d%d%s", &a, &b, &c, op);
            if(op[0] == 'A' && c == 1){
                add(2 * a+1, 2 * a);
                add(2 * b+1, 2 * b);
            }
            else if(op[0] == 'A' && c == 0){
                add(2 * a, 2 * b + 1);
                add(2 * b, 2 * a + 1);
            }
            else if(op[0] == 'O' && c == 0){
                add(2 * a , 2 * a + 1);
                add(2 * b , 2 * b + 1);
            }
            else if(op[0] == 'O' && c == 1){
                add(2 * a + 1, 2 * b);
                add(2 * b + 1, 2 * a);
            }
            else if(op[0] == 'X' && c == 0){
               add(2 * a, 2 * b);
               add(2 * a + 1, 2 * b + 1);
               add(2 * b, 2 * a);
               add(2 * b + 1, 2 * a + 1);
            }
            else if(op[0] == 'X' && c == 1){
              add(2 * a, 2 * b + 1);
              add(2 * a + 1, 2 * b);
              add(2 * b, 2 * a + 1);
              add(2 * b + 1, 2 * a);
            }
        }
        printf("%s\n", solve() ? "YES" : "NO");
    return 0;
}