食物链（带权并查集+向量偏移）

                                                食物链

 

Time Limit: 1000MS		Memory Limit: 10000K
Total Submissions: 92211		Accepted: 27801

Description

动物王国中有三类动物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句话有的是真的，有的是假的。当一句话满足下列三条之一时，这句话就是假话，否则就是真话。
1） 当前的话与前面的某些真的话冲突，就是假话；
2） 当前的话中X或Y比N大，就是假话；
3） 当前的话表示X吃X，就是假话。
你的任务是根据给定的N（1 <= N <= 50,000）和K句话（0 <= K <= 100,000），输出假话的总数。

Input

第一行是两个整数N和K，以一个空格分隔。
以下K行每行是三个正整数 D，X，Y，两数之间用一个空格隔开，其中D表示说法的种类。
若D=1，则表示X和Y是同类。
若D=2，则表示X吃Y。

Output

只有一个整数，表示假话的数目。

Sample Input

100 7
1 101 1 
2 1 2
2 2 3 
2 3 3 
1 1 3 
2 3 1 
1 5 5

Sample Output

3

                                                         [Submit]   [Go Back]   [Status]   [Discuss]

 

向量偏移：

对于集合里的任意两个元素a,b而言，它们之间必定存在着某种联系，因为并查集中的元素均是有联系的，否则也不会被合并到当前集合中。那么我们就把这2个元素之间的关系量转化为一个偏移量，以食物链的关系而言，不妨假设

a->b 偏移量0时 a和b同类

a->b 偏移量1时 a吃b

a->b 偏移量2时 a被b吃，也就是b吃a

有了这些基础，我们就可以在并查集中完成任意两个元素之间的关系转换了。不妨继续假设，a的当前集合根节点aa，b的当前集合根节点bb，a->b的偏移值为d-1（题中给出的询问已知条件）

(1)如果aa和bb不相同，那么我们把aa合并到bb上，并且更新delta[bb]值（delta表示i的当前集合根节点到i的偏移量）

此时 aa->bb = aa->a + a->b + b->bb，可能这一步就是所谓向量思维模式吧

上式进一步转化为：aa->bb = (3-delta[a]+d-1+delta[b])%3 = delta[bb]，（模3是保证偏移量取值始终在[0,2]间）

(2)如果aa和bb相同，那么我们就验证a->b之间的偏移量是否与题中给出的d-1一致

 此时 a->b = a->aa + aa->b = a->aa + bb->b，

上式进一步转化为：a->b = (3+delta[a]-delta[b])%3，若一致则为真，否则为假。

 

题解

f[N]是存 N 号动物的父节点的编号,r[N]是对父节点的关系 0 同类，1 被父节点吃，2 吃父节点 

关键在于确定对 爷爷节点 的那个公式上，穷举一下，然后就能很轻松的看出来的,关系有点像个三角形

 r[f[x]]           r[x]

父亲对爷爷  儿子对父亲  儿子对爷爷 

   0                  0                 0                                                所以，儿子对爷爷就可以推出这个式子 (r[x] + r[f[x]] )%3  

   0                  1                 1   

   0                  2                 2   

   1                  0                 1  

   1                  1                 2  

   1                   2                0  

   2                   0                2  

   2                   1                0     

   2                   2                 1 

 

#include <stdio.h>
int const N=50005;
int f[N];
int r[N];//此节点对当前所在集合的根节点的关系
int find(int x)
{
    if(x==f[x])
        return x;
    int fx=f[x];//记录未更新时候的父亲节点 

    f[x]=find(f[x]);//继续查找根节点 
    r[x]=(r[x]+r[fx])%3;     //更新此节点对根节点的关系（1） 

    return f[x];
}

int join(int d,int x,int y)
{

    int fx=find(x);
    int fy=find(y);
    if (fx!=fy)//如果根节点不同那么就合并 
    {
        f[fy]=fx;//fy的父亲节点指向fx 
        r[fy]=(3-r[y]+d-1+r[x])%3;      //更新关系（2）
        //  d-1 是因为relation 0 1 2代表同类 吃 和被吃 而 题中是1同类 2吃
        return 0;
    }
    if ((r[y]-r[x]+3)%3!=d-1) return 1; //如果根节点相同则判断x,y到根节点的关系进而判断是否是假话 
    return 0;
}

int main()
{
    int n,k;
    int d,x,y;
    int ans=0;
    scanf("%d%d",&n,&k);
    for (int i=1;i<=n;i++)//初始化 
    {
        f[i]=i;
        r[i]=0;
    }
    while (k--)
    {
        scanf("%d%d%d",&d,&x,&y);
        if (x>n||y>n||(x==y&&d==2))//如果编号大于最大编号或者x吃y并且x,y同类则此话为假话 
        {
            ans++;
            continue;
        }
        if (join(d,x,y)) ans++;
    }
    printf("%d\n",ans);
    return 0;
}

小结

并查集的偏移向量属于并查集的变形，只要适用于集合数目较少，或是固定的并查集类型。
比如1182中的食物链只有3个集合，（同类、天敌、食物）。
2492中的只有两个集合。（同类，异类）。
1703中的只有两个帮派。（龙帮、蛇帮）。
在处理此类集合绝对数量少但集合之间关系复杂的并查集，比如（1182，A吃B，B吃C，C吃D，那么A.D是同类。）

在查集函数中，向量转移方程表示儿子与祖先的偏移量＝(儿子与父亲的偏移量＋父亲和祖先的偏移量)%状态量。（这里的父亲和祖先可能是同一人，但没有关系，因为自己和自己的偏移量为0。）
在并集函数中，由于要将两个原本不相干的集合合并，d表示在两个集合交汇的地方的最深层的偏移量。
r[y]表示y与y祖先的偏移量，r[x]便是x与x祖先的偏移量。
加上一个3是为了防止出现负数，用%会得到意外的结果。