POJ 1182_食物链

题意：

三种动物A,B,C，A吃B，B吃C，C吃A，
有人用两种说法对这N个动物所构成的食物链关系进行描述：
第一种说法是”1 X Y”，表示X和Y是同类。
第二种说法是”2 X Y”，表示X吃Y。
此人对N个动物，用上述两种说法，一句接一句地说出K句话，这K句话有的是真的，有的是假的。当一句话满足下列三条之一时，这句话就是假话，否则就是真话。
1） 当前的话与前面的某些真的话冲突，就是假话；
2） 当前的话中X或Y比N大，就是假话；
3） 当前的话表示X吃X，就是假话。
求假话数

分析：

最初想到用三个并查集分别表示A,B,C，然后用数组表示之间的联系，可是操作起来很麻烦，过了样例也一直WA，后来看了《挑战程序设计竞赛》上的解法，用偏移量表示他们之间的关系，处理起来方便很多。即
X为A，X+N为B，X+2*N为C

代码：

#include<iostream>
#include<cstdio>
using namespace std;
const int maxn = 500055;
int pa[maxn], _rank[maxn];
int _find(int x)
{
    if(pa[x]==x) return x;
    else return pa[x]=_find(pa[x]);
}
void unite(int x, int y)
{
    int rx = _find(x), ry = _find(y);
    if(rx==ry) return;
    if(_rank[rx]>_rank[ry]) pa[ry]=rx;
    else {
        pa[rx] = ry;
        if(_rank[rx]==_rank[ry]) _rank[ry]++;
    }
    return;
}
bool same(int x, int y)
{
    return _find(x)==_find(y);
}
int main (void)
{
    int n, k ;scanf("%d%d",&n,&k);
    for(int i = 1; i <= 3 * n; i++) pa[i] = i;
    int x, y, f, cnt = 0;
    int mod = 3 * n;
    for(int i = 0; i < k; i++){
        scanf("%d%d%d",&f,&x,&y);
        if(x>n||y>n) {cnt++;continue;}
        if(f==1){
            if(same(x,y+n)||same(x,y+2*n)) cnt++;
            else{
                unite(x,y);
                unite(x+n,y+n);
                unite(x+2*n,y+2*n);
            }
        }else {
            if(same(x,y)||same(x, y + 2*n)) cnt++;
            else {
                unite(x, y+n);
                unite(x+n,y+2*n);
                unite(x+2*n, y);
            }
        }
    }
    printf("%d\n",cnt);
}