***POJ 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

思路：并查集。x，x+N，x+2N分别是编号x的动物为A/B/C类的可能性。每给出一句话，将同时成立的可能性加入一个并查集，判断是否矛盾。

AC代码：

#include <iostream>
#include <stdio.h> 
#include <algorithm>
#include <cstdlib>
#define N 50000  //最多50000个动物 
using namespace std;

int i,n,k;  //n个动物，k句话 
int x,y;
int par[3*N];  //父亲
int rank[3*N];  //树高

//并查集 

int find(int x)  //找根
{
    if(par[x]==x) return x;
    else return par[x]=find(par[x]);
 } 

bool same(int x0,int y0)  //是否同集
{
    return find(x0)==find(y0);
} 


void unite(int x,int y)
{
    x=find(x);
    y=find(y);
    if(x==y) return;
    else{
        if(rank[x]>rank[y])  par[y]=x;
        else{
            par[x]=y;
            if(rank[x]==rank[y])  rank[y]++;
        }
    }
}

int main()
{
    int d,ans=0;  //d:1或2 
    for(i=0;i<N*3;i++)  //x,x+N,x+N*2是x分别属于A,B,C组的可能性 
    {
        par[i]=i;
        rank[i]=0;
    }
    scanf("%d %d",&n,&k);
    getchar(); 
    for(i=0;i<k;i++){
        scanf("%d %d %d",&d,&x,&y);
        getchar(); 
        x=x-1,y=y-1;
        if(x<0 || y<0 || x>=n || y>=n){
            ans++;
            continue;
        }
        if(d==1){
            if(same(x,y+N) || same(x,y+N*2)){
                ans++;
                continue;
            }
            else{
                unite(x,y);  //x属于A组和y属于A组会同时发生或同时不发生 
                unite(x+N,y+N);
                unite(x+N*2,y+N*2);
            }
        }
        if(d==2){
            if(same(x,y) || same(x,y+N*2)){
                ans++;
                continue;
            }
            else{
                unite(x,y+N);
                unite(x+N,y+N*2);
                unite(x+N*2,y);
            }
        }
    } 
    cout<<ans<<endl;
    return 0;
}