题目链接：http://icpc.njust.edu.cn/Problem/Pku/1182/
题意：给出动物之间的关系，有几种询问方式，问是真话还是假话。
定义三种偏移关系：
x->y 偏移量0时 x和y同类
x->y 偏移量1时 x被y吃
x->y 偏移量2时 x吃y
定义 rela[x]=rx->x;
如x,y不在同一个集合中，
由rx->ry=rx->x + x->y + y->ry=(rx->x)+(x->y)-(ry->y)可得
rx->ry=rela[ry]=rela[x]+rela[y]+(x->y);
由于关系仅限0,1,2,三种，对上面关系加三后取模才是正确的关系；
如果x,y在同一个集合中，
x->y=x->rx+rx->x;
所以x->y=(3-rela[x]+rela[y])%3;
种类并查集的问题我们必须清楚初始状况是什么样的还有状态的转移方程是什么。
代码如下：
#include<iostream>
#include<cstdio>
using namespace std;
#define maxn 50005
int n,k;
int fa[maxn],rela[maxn];//分别表示父亲、子节点和父节点的关系
int ans;
void init()
{
for(int i=;i<=n;i++)
{
fa[i]=i; /*relation:0、同类 1、吃2、被吃*/
rela[i]=;//初始状态下它和本身在一个集合中，关系为同类
}
ans=;
}
int find(int x)
{
if(x==fa[x])return fa[x];
else
{
int tmp=fa[x];
fa[x]=find(fa[x]); rela[x]=(rela[tmp]+rela[x])%;//更新x与x的新的根结点的关系，ppx->x=ppx->px+px->x=rela[ppx]+real[px];
return fa[x];
} //向量模式，rela为rootx->x的向量方向；为保证结果在[0,2]区间内，对3取模；
}
int main()
{
cin>>n>>k;
init();
int f,a,b;
for(int i=;i<=k;i++)
{
scanf("%d%d%d",&f,&a,&b);
if(a>n||b>n)
{
ans++;
continue;
}
if(f==&&a==b)//x吃x ，不合法，
{
ans++;
continue;
}
int px=find(a);
int py=find(b);
if(px!=py) //如果关系还未建立则建立关系 //合并的操作和查询是否正确的操作在主函数体中一起完成
{
fa[py]=px;
rela[py]=(+rela[a]+(f-)-rela[b])%;
}
else
{
if(f==&&rela[a]!=rela[b])//说是同类然而 计算得并不是，则说了假话
{
ans++;
continue;
}
if(f==&&(+rela[b]-rela[a])%!=f-)//两者之间三种状态题目中只有两种描述方式
{
ans++;
continue;
}
} } cout<<ans;
}
下面是分集合操作的代码，集合划分成三个 i是同类集合，n+i是食物集合，2*n+i表示天敌集合，三个集合是绝对不相交的。
代码如下：（因为只有吃，被吃，吃三种状态，所以检测的时候可能错误的状态就是两种）
#include<cstdio>
#include<iostream>
using namespace std;
int fa[];
int x1,x2,x3,y1,y2,y3;
int n,k,d,x,y,ans=;
int find(int x)
{
return fa[x]==x?x:fa[x]=find(fa[x]);
}
int main()
{
scanf("%d%d",&n,&k);
for(int i=;i<=n*;i++) fa[i]=i;
for(int i=;i<=k;i++)
{
scanf("%d%d%d",&d,&x,&y);
if(x>n||y>n)
{
ans++;
continue;
}
x1=find(x); //x表示自己
x2=find(x+n); //x+n表示x的食物
x3=find(x+n*); //x+2*n表示x的天敌
y1=find(y); //y表示自己
y2=find(y+n); //y+n表示y的食物
y3=find(y+n*); //y+2*n表Y的是天敌
if(d==)
{
if(x1==y2||y1==x2) ans++;
//给出的话表明x和y是同类，但是检测发现x吃y或者y吃x，产生矛盾。
//在这次检测之中和x，y的天敌集合是没有关系的，因为天敌只是对一方的天敌
//比如说x的天敌可能是y的同类，也可能是食物，也可能是天敌，所以说，是没有定论的美不需要检测
else
{
fa[x1]=y1;//由于x和y是同类，所以他们的同类，天敌，食物都是一样的，所以需要全部合并
fa[x2]=y2;
fa[x3]=y3;
}
}
else
{
if(x1==y1||x1==y2) ans++;//给出的话中表明x吃y，但是检测发现x和y是同类或者y吃x，发生矛盾
else
{//集合的合并
fa[y1]=x2;//y的同类都是x的食物
fa[y2]=x3;//x吃y，y吃z，z吃x
fa[y3]=x1;//将x集合归入y的天敌集合
}
}
}
printf("%d",ans);
return ;
}