POJ 1182 食物链（并查集）

题目链接

食物链

Time Limit: 1000MS Memory Limit: 10000K
Total Submissions: 93830 Accepted: 28312

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

此题也作为了《挑战程序设计竞赛（第2版）》的例题（P88）。

本题并不只有属于同一类的信息，还有捕食关系的存在，因此需要开动脑筋维护这些关系。
对于每只动物i创建3个元素i-A，i-B，i-C，并用3×N个元素建立并查集。

可用一个3N数组维护动物的各种关系。
两只x,y在同一个并查集中则表示这两只动物是同类。
x与y+N或x+N与y+2N或x+2*N与y在同一个并查集中则表示x捕食y。

代码实现：

#include <iostream>
#include <cstdio>
#define MAX_K 100010
#define MAX_N 50010
using namespace std;

int N,K;
int T[MAX_K],X[MAX_K],Y[MAX_K];
int father[3*MAX_N];
void Init(int x)
{
    for(int i=0;i<=x;i++)
        father[i]=i;
}
int Find(int x)
{
    int r=x;
    //找到根节点
    while(father[r]!=r)
        r=father[r];

    //路径压缩
    int i=x;
    int j;
    //找到根节点的子节点为止
    while(father[i]!=r)
    {
        j=father[i];
        father[i]=r;
        i=j;
    }
    //返回根节点
    return r;
}
void Union(int x,int y)
{
    int fx=Find(x);
    int fy=Find(y);
    if(fx!=fy)
        father[fx]=fy;
}
int main()
{
    cin>>N>>K;
    for(int i=0;i<K;i++)
    {
        scanf("%d%d%d",&T[i],&X[i],&Y[i]);
    }
    Init(3*N);
    int ans=0;
    for(int i=0;i<K;i++)
    {
        int t=T[i];
        int x=X[i];
        int y=Y[i];
        if(x<1||x>N||y<1||y>N)
        {
            ans++;
            continue;
        }
        if(t==1)
        {
            if(Find(x)==Find(y+N)||Find(x)==Find(y+2*N))
                ans++;
            else
            {
                Union(x,y);
                Union(x+N,y+N);
                Union(x+2*N,y+2*N);
            }
        }
        else
        {
            if(Find(x)==Find(y)||Find(x)==Find(y+2*N))
                ans++;
                else
                {
                    Union(x,y+N);
                    Union(x+N,y+2*N);
                    Union(x+2*N,y);
                }

        }
    }
    cout<<ans<<endl;
    return 0;
}