poj 1182 并查集经典问题

http://poj.org/problem?id=1182

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

/**
poj 1182 并查集经典问题——食物链（一组输入）
题目大意：给定n个物种，和m个关系1.x和y是同类2.x吃y。问有多少个关系是假话
解题思路：由于n和m很大，所以必须高效的维护动物之间的关系，并快速的判断是否产生了矛盾。并查集是维护“属于同一组”的数据结构，但是在本题中，并不只有属于同一类的
        信息，还有捕食关系的存在，因此需要很好的维护这些关系。对于每只动物i创建3个元素i-A，i-B，i-C，并用这3*N个元素建立并查集，这个并查集维护如下信息：
        i-x表示：i属于种类x；
        并查集里的每一个组表示组内所有元素代表的情况都同时发生或不发生。
        例如：如果i—A和i-B在同一组里，就表示如果i属于种类A那么j一定属于种类B，如果j属于种类B那么i一定属于种类A，因此对于每一条信息，只要按照下面进行操作就可以
        了：
        第一种：x和y属于同一类·····合并x-A和y-A、x—B和y—B、x-C和y-C
        第二种：x吃y···············合并x-A和y-B、x—B和y-C、x-C和y-A
        不过在合并之前要先判断合并是否会产生矛盾。例如在第一种信息的情况下，需要检查比如x-A和y-B或者y-C是否在同一组等信息。
                                                                                                                         ————摘自《挑战程序设计竞赛》
*/
#include <stdio.h>
#include <string.h>
#include <algorithm>
#include <iostream>
using namespace std;
const int maxn=50005;
int p[150010];

int find(int x)
{
    return p[x]==x ? x : p[x]=find(p[x]);
}

bool same(int x,int y)
{
    return find(x)==find(y);
}

void unite(int x,int y)
{
    int u = find(x);
    int v = find(y);
    if(u != v) p[u] = v;
}

int main()
{
    int n,m;
    scanf("%d%d",&n,&m);
    for(int i=1; i<3*n; i++) p[i] = i;
    int ans=0;
    while(m--)
    {
        int id,x,y;
        scanf("%d%d%d",&id,&x,&y);
        if(x>n||y>n)
        {
            ans++;
            continue;
        }
        if(id==1)
        {
            ///x and y the same
            if(same(x,y+n)||same(x,y+2*n))
            {
                ans++;
            }
            else
            {
                unite(x,y);
                unite(x+n,y+n);
                unite(x+n*2,y+n*2);
            }
        }
        else
        {
            /// x eat y
            if(same(x,y)||same(x,y+2*n))
            {
                ans++;
            }
            else
            {
                unite(x,y+n);
                unite(x+n,y+2*n);
                unite(x+2*n,y);
            }
        }
    }
    printf("%d\n",ans);
    return 0;
}

2015.5.19更新