食物链

题意描述

动物王国中有三类动物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），输出假话的总数。

输入

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

输出

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

样例输入

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

样例输出

3

题意分析

一、输入:动物个数n以及k,接着输入k行每一行形式为:d x y,
在输入时可以先判断题目所说的条件2和3,即:
1>若(x>n||y>n):即当前的话中x或y比n大,则假话数目sum加1.
2>若(x==2&&x==y):即当前的话表示x吃x,则假话数目sum加1.
而不属于这两种情况外的话语要利用并查集进行判断当前的话是否与此前已经说过的话相冲突.
二、 relation的三种取值(假设节点x的父节点为rootx,即p[x].parent=rootx)：
p[x].relation=0 ……表示节点x与其父节点rootx的关系是：同类
p[x].relation=1 ……表示节点x与其父节点rootx的关系是：被根结点吃
p[x].relation=2 ……表示节点x与其父节点rootx的关系是：吃根结点
三、并查集的两个操作：查找和合并
1、查找：在查找时因为节点不仅有父亲节点域,而且还有表示节点与其父亲节点的关系域,查找过程中对父亲节点域的处理和简单的并查集处理一样,即在查找过程中同时实现路径压缩,但正是由于路径压缩,使得表示节点与其父亲节点的关系域发生了变化,所以在路径压缩过程中节点和其对应的父节点的关系域发生了变化(因为路径压缩之前节点x的父亲节点为rootx的话,那么在路径压缩之后节点x的父亲节点就变为了节点rootx的父亲节点rootxx,所以此时p[x].relation存储的应该是节点x与现在父亲节点rootxx的关系)。
假设此时p[x].relation=1(即表示x的父亲节点rootx吃x)且p[rootx].relation=0(即表示rootx和其父亲节点rootxx是同类),由这两个关系可以推出rootxx吃x,而合并以后节点x的父亲节点为rootxx(实现了路径压缩),且节点x的父亲节点rootxx吃x,即查找之后p[x].relation=1。
2、合并：在将元素x与y所在的集合合并时,假设元素x所在的集合编号为rootx,元素y所在的集合编号为rooty,合并时直接将集合rooty挂到集合rootx上,即p[rooty].parent=rootx,此时原来集合rooty中的根节点rooty的关系域也应随之发生变化,因为合并之前rooty的父亲节点就是其自身,故此时p[rooty].relation=0,而合并之后rooty的父亲节点为rootx,所以此时需判断rootx与rooty的关系,即更新p[rooty]的值。
此时假设假设p[x].relation=0(即x与rootx的关系是同类),p[y].relation=1(即rooty吃y),则有:
1>输入d=1时,即输入的x和y是同类,则有上述关系可以推出rooty吃rootx,即p[rooty].relation=2;
2>输入d=2时,即输入的x吃y,则有上述关系可以推出rooty与rootx是同类(因为rooty吃y,x吃y,则rooty与x是同类,又rootx与x是同类),即p[rooty].relation=0。
3、关系域更新：（思路：转化为向量形式）
rootx rooty
| |
x ~ y
对于集合里的任意两个元素x，y而言，它们之间必定存在着某种联系，因为并查集中的元素均是有联系的（这点是并查集的实质，要深刻理解），否则也不会被合并到当前集合中。那么我们就把这2个元素之间的关系量转化为一个偏移量
由上面可知：
x->y 偏移量0时 x和y同类
x->y 偏移量1时 x被y吃
x->y 偏移量2时 x吃y
假设x的当前集合根节点rootx，y的当前集合根节点rooty，x->y的偏移值为d-1（题中给出的询问已知条件）
(1)如果rootx和rooty不相同，那么我们把rooty合并到rootx上，并且更新relation关系域的值（注意：p[i].relation表示i的根结点到i的偏移量！！！！（向量方向性一定不能搞错））此时 rootx->rooty = rootx->x + x->y + y->rooty，按照向量思维模式上式进一步转化为：rootx->rooty = (relation[x]+d-1+3-relation[y])%3 = relation[rooty]，（模3是保证偏移量取值始终在[0,2]间）
(2)如果rootx和rooty相同(即x和y在已经在一个集合中，不需要合并操作了，根结点相同)，那么我们就验证x->y之间的偏移量是否与题中给出的d-1一致此时 x->y = x->rootx + rootx->y上式进一步转化为：x->y = (3-relation[x]+relation[y])%3。若一致则为真，否则为假。

代码

#include<iostream>  
#include<cstdio>  
#include<cstring>  
#include<algorithm>  
using namespace std;  
#define N 50010  

struct node  
{  
    int pre;  
    int relation;  
};  
node p[N];  

int find(int x) //查找根结点  
{  
    int temp;  
    if(x == p[x].pre)  
        return x;  
    temp = p[x].pre; //路径压缩  
    p[x].pre = find(temp);  
    p[x].relation = (p[x].relation + p[temp].relation) % 3; //关系域更新  
    return p[x].pre; //根结点  
}  

int main()  
{  
    int n, k;  
    int ope, a, b;  
    int root1, root2;  
    int sum = 0; //假话数量  
    scanf("%d%d", &n, &k);  
    for(int i = 1; i <= n; ++i) //初始化  
    {  
        p[i].pre = i;  
        p[i].relation = 0;  
    }  
    for(int i = 1; i <= k; ++i)  
    {  
        scanf("%d%d%d", &ope, &a, &b);  
        if(a > n || b > n) //条件2  
        {  
            sum++;  
            continue;  
        }  
        if(ope == 2 && a == b) //条件3  
        {  
            sum++;  
            continue;  
        }  
        root1 = find(a);  
        root2 = find(b);  
        if(root1 != root2) // 合并  
        {  
            p[root2].pre = root1;  
            p[root2].relation = (3 + (ope - 1) +p[a].relation - p[b].relation) % 3;  
        }  
        else  
        {  
            if(ope == 1 && p[a].relation != p[b].relation)  
            {  
                sum++;  
                continue;  
            }  
            if(ope == 2 && ((3 - p[a].relation + p[b].relation) % 3 != ope - 1))  
            {  
                sum++;  
                continue;}  
        }  
    }  
    printf("%d\n", sum);  
    return 0;  
}  

测试截图

AC截图