51nod1511 与或式

题目

题目链接

解题思路

首先，一个变量只会至多出现两次。
我们将只出现一次的和只出现一种的看作自环，将本身和它的非都出现的看成边，我们发现一个无环连通块是不合法的。
用并查集维护连通块的大小和边数即可，当连通块边数不小于点数时，必定有环。
复杂度$O(n+m)$。

代码

#include <cstdio>
#include <algorithm>
#include <cstring>
#include <vector>
using namespace std;

const int N = 2e5 + 100;

int n, m;
int fa[N], sz[N], cnt[N];
vector<int> V[N];

int find(int x) {
	if (x == fa[x]) return x;
	return fa[x] = find(fa[x]);
}

void join(int x, int y) {
	x = find(x); y = find(y); cnt[x]++;
	if (x == y) return;
	fa[x] = y;
	sz[y] += sz[x];
	cnt[y] += cnt[x];
}

int main() {
	//freopen("0.txt", "r", stdin);
	int a, b;
	scanf("%d%d", &n, &m);
	for (int i = 1; i <= n; i++) {
		scanf("%d", &a);
		while (a--) {
			scanf("%d", &b);
			if (b > 0) V[b].push_back(i);
			else V[-b].push_back(-i);
		}
		fa[i] = i; sz[i] = 1;
	}
	for (int i = 1; i <= m; i++) {
		if (V[i].size() == 0);
		else if (V[i].size() == 1) cnt[find(abs(V[i][0]))]++;
		else if ((V[i][0] < 0) == (V[i][1] < 0)) cnt[find(abs(V[i][0]))]++, cnt[find(abs(V[i][1]))]++;
		else join(abs(V[i][0]), abs(V[i][1]));
	}
	bool flag = true;
	for (int i = 1; i <= n; i++) {
		if (find(i) != i) continue;
		if (sz[i] > cnt[i]) flag = false;
	}
	if (flag) puts("Yes");
	else puts("No");
	return 0;
}