Question Link
题目大意
现在有 3 种动物,A,B,C,A吃B,B吃C,C吃A。现在告诉你 m 句话,其中有真有假,叫你判断假的个数 。当,当前语句和之前的语句由冲突的时候,我们将这句话视为假语句,如果当前语句和之前的语句没有冲突的时候,我们将这句话视为真语句。当然智障级别的判断,另外考虑。每句话开始都有三个数 D A B,当D = 1时,表示A 和B是同类,当D = 2时表示A 吃 B。
题解一(带权并查集)(向量法)
现在我们有,fa[i]数组表示 i 的祖先的结点编号,在此基础纸上增加数组re[i] , 表示 由 i 到 fa[i] 这条边的权值。
当re[i] == 0 时,i 和 fa[i] 是同类。
当re[i] == 1 时,i 可以吃掉 fa[i] 。
当re[i] == 2 时,fa[i] 可以吃掉 i 。
这样定义,那么i 到 fa[i] 这个变换关系就成为了有向的了。现在将这个变换关系,用 A->B 表示。
如果我们已知 A->B、B->C、的两个权值,我们要如何得到A->C的权值呢?
答案是 R(A->C) =( R(A->B)+ R(B->C) )% 3 。
以下是验证过程
从意义上,推,看,当 A和B的关系确定,B和C的关系确定,A和C的关系什么。
由公式推导,看,当 R(A->B), R(B->C) 推出的R(A->C )结果是什么。
发现二者一一对应。所以即可利用向量法推导关系。
注意
以下代码,re数组的意义是,re[ i ] 是 i 到 fa[ i ]的权值,所以一旦发生路径压缩,re的值需要改变。这样才能保证re数组意义的完整性。
下面是 AC code
#include<iostream>
#include<queue>
#include<cstring>
#include<string>
#include<sstream>
#include<map>
#include<vector>
#include<cstdio>
#include<iostream>
#include<cmath>
#include<algorithm>
#include<cstdlib>
#include<stack>
#include<ctime>
using namespace std;
#define rep(i,aa,bb) for(register int i=aa;i<=bb;i++)
#define rrep(i,aa,bb) for(register int i=aa;i>=bb;i--)
#define mset(var,val) memset(var,val,sizeof(var))
#define LL long long
#define eps 0.000001
#define inf 0x7f7f7f7f
#define llinf 1e18
#define exp 0.000001
#define pai 3.141592654
#define random(x) rand()%(x)
#define lowbit(x) x&(-x)
inline int read()
{
int x=0,y=1;char a=getchar();while ( a>'9' || a<'0'){if ( a=='-')y=-1;a=getchar();}
while ( a>='0' && a<='9' ){ x=(x<<3)+(x<<1)+a-'0'; a=getchar();}return x*y;
}
#define N 100000
int fa[N],re[N];
int n,k;
void init(){
rep(i,1,n) fa[i] = i , re[i] = 0;
}
int findfa( int x ){
int xfa = fa[x];
if ( xfa != x ){
fa[x] = findfa(fa[x]);
re[x] = ( re[x] + re[xfa] ) % 3 ;
return fa[x];
}
return x;
}
int main()
{
// freopen("1.txt","r",stdin);
srand((int)time(0));
// std::ios::sync_with_stdio(false);
n = read(); k = read();
init();
int ans = 0;
rep(aaaai,1,k){
int a,b,p;
p = read(); a = read(); b = read();
if ( ( a > n || b > n ) || ( a==b && p==2 ) ){
ans++; continue;
}
if ( p == 1 ){
int afa = findfa(a);
int bfa = findfa(b);
if ( afa == bfa && re[a] != re[b]){
ans++; continue;
}
else if ( afa != bfa ){
fa[ afa ] = bfa;
re[ afa ] = ( -re[a] + 0 + re[b] + 3 ) % 3;
}
}
else if ( p == 2 ){
int afa = findfa(a);
int bfa = findfa(b);
if ( afa == bfa ){
if ( (re[a] - re[b] + 3)%3 != 1 ){
ans++; continue;
}
}
else {
fa[ afa ] = bfa;
re[ afa ] = ( -re[a] + 1 + re[b] + 3 )%3;
}
}
}
cout<<ans;
return 0;
}
题解二(假设种类法)
我们将结点数拓展到三倍,1到N表示种族A,N到2N表示种族B,2N到3*N表示种族C。那么一个物种,可能在A,B,C中的任意一个种族内,所以每个种族给一个位置。也就是一个真实属性,两个虚拟属性,真实属性 可以吃掉 一个虚拟属性,同时可以被另一个虚拟属性吃掉。所以用并查集合并时,我们要合并三次。保证若物种在任意一个种族里面,整个结构不出错。下面请看实际操作部分。
#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<cstdlib>
#define maxn 150010
using namespace std;
int n,k,x,y,z,ans;
int f[maxn];
int read()
{
int f=1,w=0;char ch=getchar();
while(ch<'0'||ch>'9')ch=getchar();
while('0'<=ch&&ch<='9'){w=w*10+ch-48;ch=getchar();}
return f*w;
}
int find(int pos)
{
return f[pos] == pos ? pos : f[pos] = find(f[pos]);
}
int unity(int p,int q)
{
p=find(p);q=find(q);
f[q]=f[p];
}
int main(void)
{
n=read();k=read();
for(int i=1;i<=n*3;i++)f[i]=i;
for(int i=1;i<=k;i++)
{
z=read();x=read();y=read();
if(x>n||y>n){ans++;continue;}
if(z==1)
{
if(find(x+n)==find(y)||find(x+2*n)==find(y))ans++;
else
{unity(x,y);unity(x+n,y+n);unity(x+2*n,y+2*n);}
}
else
{
if(x==y||find(x)==find(y)||find(x+n)==find(y))ans++;
else
{unity(x+2*n,y);unity(x+n,y+2*n);unity(x,y+n);}
}
}
printf("%d\n",ans);
return 0;
}