[USACO13Jan] Liars and Truth Tellers B

假期集训Day1 T7(一  道  卡  了  我  4  个  小  时  的  黄  题 )

题面

[题目描述]

约翰有 N 头奶牛，有一部分奶牛是真话奶牛，它们只说真话，而剩下的是假话奶牛，只说假话。 有一天，约翰从奶牛的闲谈中陆续得到了 M 句话，第 i 句话出自第 X i 头奶牛，它会告诉约翰第 Y i头是一头真话奶牛还是假话奶牛。然而，约翰记性不好，他可能把这些话的内容记错了。请检查一下约翰的记录是否会有矛盾，帮助他找到一个尽量大的 K，使得约翰记下的前 K 句话不矛盾。

输入

第一行：两个整数 N 和 M，1 ≤ N ≤ 1000,1 ≤ M ≤ 10000

第二行到 M + 1 行：第 i + 1 行有两个整数：X i 和 Y i ，1 ≤ X i ,Y i ≤ N，接下来有一个字符：

– 如果是 T，表示 X i 说 Y i 是真话奶牛；

– 如果是 L，表示 X i 说 Y i 是假话奶牛；

输出

单个整数，即表示题目描述中的 K

样例输入

4 3
1 4 L
2 3 T
4 1 T

样例输出

2

样例解释

前两句没有矛盾, 但第一句和第三句存在矛盾

解析

一道朴素的扩展域并查集

首先,这道题询问矛盾的话,所以我们可以将所有不互相矛盾的话放到同一个并查集中,x存第x只奶牛为真,n+x存假,若约翰的话为"L"则x和y不同真假,反之则同真同假,因此,只需要查找当前这句话和之前取的话是否在同一并查集中就可以得出结果,话不多说,上代码:

#include<bits/stdc++.h>
using namespace std;
#define ll long long
ll n,m,u,v,d,k,fa[100005];
char op[11];
bool flag=1;
ll find(ll x){//压缩路径 
	if(fa[x]==x) return x;
	return find(fa[x]);
}
int main(){
	for(int i=1;i<=100000;i++) fa[i]=i;//初始化并查集 
	scanf("%lld%lld",&n,&m);
	for(ll i=1;i<=m;i++){
		cin>>u>>v>>op[0];
		if(op[0]=='L'){//假，则 u 和 v 不同真假 
			fa[find(u)]=find(n+v);
			fa[find(n+u)]=find(v);
		}
		else{//真，则 u 和 v 同真同假 
			fa[find(u)]=find(v);
			fa[find(n+u)]=find(n+v);
		}
		if(find(v)==find(n+v)) flag=0;//矛盾 
		if(flag) k++;//不矛盾则加入这句话 
	}
	printf("%lld\n",k);
}

 类似的扩展域并查集的题目还有几道,如:

P2024 [NOI2001] 食物链

P1525 [NOIP2010 提高组] 关押罪犯