1182 食物链

第一行输入n，k代表n个动物，k条语句
接下来k行
每一行输入d，x，y
d=1代表xy为同类
d=2代表x吃y
要求输出假话数目
问>0<何为假话
1.x或y大于n
2.现在输入的语句与之前语句矛盾
3.自己吃自己
每输入一个询问，就判断x和y是否都被放入同一集合中（也就是是否已确定关系），如果以确定，判断比较，未确定，添加。
确定关系
rel[i]=0(d=1 1-1)
i与根节点为同类
rel[i]=1(d=2 2-1)
i吃根节点
rel[i]=2
根节点吃i
解释三个公式：
公式1：>0<
–rel[x]=(rel[x]+rel[fa])%3
–由向量即可证明
公式2：>0<
–判断所给语句是否符合xy关系
–rel[x]==((d-1)+rel[y])%3
–d-1代表xy之间的关系
–由公式一易证此公式
公式3：>0<
–在将x所在的集合并入y所在集合时^_^
–rel[fx]=(rel[y]+(d-1)-rel[x]+3)%3
–由公式二易证
^_^

#include<iostream> //带偏移量的并查集，重点是如何路径压缩 #include<cstdio>#include<cstring>#include<cmath>using namespace std;int f[50010];//此节点的父节点 int rel[50010];//此节点与其父节点的距离**rel=0同类，rel=1此节点吃父节点，rel=2此节点被其父节点吃 int find(int x){//路径压缩     if(f[x]==x)        return x;    int fa=f[x];    f[x]=find(f[x]);    rel[x]=(rel[x]+rel[fa])%3；    return f[x];}void add(int d,int x,int y){    int fx,fy;    fx=find(x);    fy=find(y);    if(fx==fy)        return;//如果两个节点的最终父节点是一个，则不用进行任何操作     //如果不相等将fx的父节点设为y的父节点    f[fx]=fy;    rel[fx]=(rel[y]+(d-1)-rel[x]+3)%3;//将x所在的集合合并到y的集合 }bool judge(int d,int x,int y){    int fx,fy;    fx=find(x);    fy=find(y);    if(fx!=fy)        return true;    if(rel[x]==((d-1)+rel[y])%3)         return true;    return false;}int main(){    int n,k,ans=0;    scanf("%d%d",&n,&k);    for(int i=1;i<=n;i++){//初始化         f[i]=i;        rel[i]=0;//此节点与自己为同类     }    for(int i=1,d,x,y;i<=k;i++){        scanf("%d%d%d",&d,&x,&y);        if(x>n||y>n||(d==2&&x==y))//如果输入动物不在n范围内或自己吃自己那么一定是假话             ans++;        else if(judge(d,x,y)==false)            ans++;        else            add(d,x,y);    }    cout<<ans<<endl;    return 0;}