07 并查集问题之食物链问题（并查集维护额外信息）

问题描述

 动物王国中有三类动物 A,B,C，这三类动物的食物链构成了有趣的环形。

A 吃 B，B 吃 C，C 吃 A。

现有 N 个动物，以 1∼N 编号。

每个动物都是 A,B,C 中的一种，但是我们并不知道它到底是哪一种。
*
有人用两种说法对这 N 个动物所构成的食物链关系进行描述：

第一种说法是 1 X Y，表示 X 和 Y 是同类。

第二种说法是 2 X Y，表示 X 吃 Y。

此人对 N 个动物，用上述两种说法，一句接一句地说出 K 句话，这 K 句话有的是真的，有的是假的。

当一句话满足下列三条之一时，这句话就是假话，否则就是真话。

当前的话与前面的某些真的话冲突，就是假话；
当前的话中 X 或 Y 比 N 大，就是假话；
当前的话表示 X 吃 X，就是假话。
你的任务是根据给定的 N 和 K 句话，输出假话的总数。

输入格式
第一行是两个整数 N 和 K，以一个空格分隔。

以下 K 行每行是三个正整数 D，X，Y，两数之间用一个空格隔开，其中 D 表示说法的种类。

若 D=1，则表示 X 和 Y 是同类。

若 D=2，则表示 X 吃 Y。

输出格式
只有一个整数，表示假话的数目。

数据范围
1≤N≤50000,
0≤K≤100000
输入样例：
100 7
1 101 1 
2 1 2
2 2 3 
2 3 3 
1 1 3 
2 3 1 
1 5 5
输出样例：
3

发现问题性质以及解题思路

记录每个点和根节点的关系，每个点到其父节点的距离代表它和根节点的一个关系，推出来一个关系，和父节点距离为1时候，代表这个点可以吃父节点，和父节点距离为2的时候，代表这个点被父节点吃，和父节点距离为3的时候，代表和父节点是同类。
然后整理一下就是：

1. 余1的时候，可以吃父节点节点。
2. 余2的时候，可以被父节点吃。
3. 余0的时候，和父节点是同类。

解决代码（附带注释）

#include <bits/stdc++.h>


using namespace std;

const int N = 1e6+10;
int p[N],d[N];
int n,m;

inline int find(int x)
{
    if(x!=p[x])
    {
        int tmp = p[x];
        p[x] = find(p[x]);
        d[x]+=d[tmp];
    // int tmp = find(p[x]);
    // d[x] += d[p[x]];
    // p[x] = tmp;
    }
    
    return p[x];
}

inline void solve()
{
    int ans = 0;
    cin>>n>>m;
    for(int i=1; i<=n; i++) p[i] = i;
    for(int i=1; i<=m; i++)
    {
        int op,x,y; cin>>op>>x>>y;
        if(x>n||y>n) {ans++;continue;}
        else
        {
            int px = find(x),py = find(y);
            if(op==1)
            {
                if(px==py&&(d[x]-d[y])%3) ans++;
                else if(px!=py)
                {
                    p[px] = py;
                    d[px] = d[y]-d[x];   /// 同类
                }
            }
            else
            {
                if(px==py&&(d[x]-d[y]-1)%3) ans++;  /// 此时x要能吃y，那么x%3的距离和y%3的距离多1.
                else if(px!=py)
                {
                    p[px] = py;
                    d[px] = d[y]+1-d[x];
                }
            }
        }
    }
    
    cout<<ans<<"\n";
}


int main()
{
    ios::sync_with_stdio(false); cin.tie(0);
    solve();
    return 0;
}