POJ3678 Katu Puzzle（2-SAT）

题意： 有N个Xi...又告诉M个位运算( AND OR XOR  )结果..问是否有存在可行解。

分析：2-SAT板子题，详见《算法竞赛进阶指南》P415-416。

代码：

#include <cstdio>
#include <vector>
#include <iostream>
#include <algorithm>
using namespace std;
const int N = 1006;
int n, m, dfn[N], low[N], num, st[N], top, c[N], cnt;
bool ins[N];
vector<int> e[N<<1];

inline void add(int x, int y) {
	e[x].push_back(y);
}

void tarjan(int x) {
	dfn[x] = low[x] = ++num;
	st[++top] = x;
	ins[x] = 1;
	for (unsigned int i = 0; i < e[x].size(); i++) {
		int y = e[x][i];
		if (!dfn[y]) {
			tarjan(y);
			low[x] = min(low[x], low[y]);
		} else if (ins[y])
			low[x] = min(low[x], dfn[y]);
	}
	if (dfn[x] == low[x]) {
		++cnt;
		int y;
		do {
			y = st[top--];
			ins[y] = 0;
			c[y] = cnt;
		} while (x != y);
	}
}

int main() {
	cin >> n >> m;
	while (m--) {
		int a, b, c;
		char s[6];
		scanf("%d %d %d %s", &a, &b, &c, s);
		if (s[0] == 'A') {
			if (c) {
				add(a, a + n);
				add(b, b + n);
			} else {
				add(a + n, b);
				add(b + n, a);
			}
		} else if (s[0] == 'O') {
			if (c) {
				add(a, b + n);
				add(b, a + n);
			} else {
				add(a + n, a);
				add(b + n, b);
			}
		} else {
			if (c) {
				add(a, b + n);
				add(b, a + n);
				add(a + n, b);
				add(b + n, a);
			} else {
				add(a, b);
				add(b, a);
				add(a + n, b + n);
				add(b + n, a + n);
			}
		}
	}
	for (int i = 0; i < n; i++)
		if (!dfn[i]) tarjan(i);
	for (int i = 0; i < n; i++)
		if (c[i] == c[i+n]) {
			puts("NO");
			return 0;
		}
	puts("YES");
	return 0;
}