POJ 1182 食物链 （并查集解法）（详细注释）

食物链

Time Limit: 1000MS		Memory Limit: 10000K
Total Submissions: 78510		Accepted: 23396

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

这题一看就是并查集，但是要注意的一点是第一句话：
　　　　动物王国中有三类动物A,B,C，这三类动物的食物链构成了有趣的环形。A吃B， B吃C，C吃A。
意思就是所有的种类只有A,B,C三种，只有三个关系A吃B， B吃C，C吃A。

这点看清楚就好做了。

思路：我们创建3个分组i-A,i-B,i-C。

如果x和y是同类，正确则合并x-A和y-A、x-B和y-B、x-C和y-C。
　　　　　　　　当存在x吃y或者y吃x时不正确。

如果x吃y，正确则合并x-A和y-B、x-B和y-C、x-C和y-A。
　　　　　　当存在x和y是同类或者y吃x时不正确。

代码：

#include <iostream>
#include <stdio.h>
using namespace std;
typedef long long ll;
#define MAX_N 50010
#define MAX_K 100010

//输入
int N,K;
//类型+X+Y
int T[MAX_K],X[MAX_K],Y[MAX_K]; 

int par[*MAX_N]; //par[i]表示i节点的父节点
int rank[*MAX_N]; // 树的高度 

//初始化n个元素
void init(int n){
    for(int i = ;i < n; i++){
        par[i] = i;
        rank[i] = ;
    }
} 

//查询包含x节点的树的根
int find(int x){
    if(par[x] == x) return x;
    else return par[x] = find(par[x]);
}

//合并 x和y所属的集合
void unite(int x,int y){
    x = find(x);
    y = find(y);
    if(x == y) return;

    if(rank[x] < rank[y]){
        par[x] = y;
    }else{
        par[y] = x;
        if(rank[x] == rank[y]) rank[x]++;
    }
}

//判断x和y是否属于同一个集合
bool same(int x,int y){
    return find(x) == find(y);
}

void solve(){
    //初始化3倍的点，0~(n-1)属于A类，n~(2n-1)属于B类，2n~(3n-1)属于C类
    init(N*);

    int ans = ;
    for(int i = ;i < K; i++){
        int t = T[i];
        int x = X[i] - ,y = Y[i] - ;

        if(x < || N <= x || y <  || N <= y){
            ans++;
            continue;
        }

        //分析x和y是同类是否正确
        if(t == ){
            //如果x吃y || y吃x就不正确
            if(same(x,y+N) || same(x,y+*N)){
                ans++;
            }else{
                //x和y是同类  正确
                unite(x, y);    //如果x属于A,y就属于A
                unite(x+N, y+N);  //如果x属于B,y就属于B
                unite(x+N*, y+N*); //如果x属于C,y就属于C
            }
        }else{
            //分析x吃y是否正确 

            //如果x和y是同类 || y吃x就不正确
            if(same(x,y) || same(x,y+*N)){
                ans++;
            }else{
                unite(x,y+N);   //如果x属于A,那么y就属于B
                unite(x+N,y+*N);  //如果x属于B,那么y就属于C
                unite(x+*N,y);   //如果x属于C,那么y就属于A
            }
        }
    }
    cout << ans << endl;
}

int main(){
    cin >> N >> K;
    for(int i = ;i < K; i++){
        scanf("%d%d%d",&T[i],&X[i],&Y[i]);
    }
    solve();
    return ;
}