数据结构：并查集-拆点

POJ1182

有三种动物，告诉A类吃B类，B类吃C类，C类吃A类

告诉你X和Y是同类或者是X吃Y，然后问给出的信息有几条和前面相违背

在这里我们用三个并查集来维护，把每一种动物拆成三类（因为我不知道它到底属于哪一个类别）

以下图片转自：https://blog.csdn.net/backforward/article/details/51892505

如果告诉你X和Y是同类，那么就这样归并

将A的每个节点与B的下一个节点相连

然后，如果告诉你X和Y是捕食关系，那样这么归并

如此处理之后

给出两个动物便可通过三个节点的相连情况得出二者的关系，从而判断真假

如果没毛病，就归并，有毛病就是矛盾的，跳过这句话

#include<cstdio>
const int maxn=50005;
int n,m,ans;
int fa[3*maxn];
int find(int x)
{
    return fa[x]==x?x:fa[x]=find(fa[x]);
}
void Union(int x,int y)
{
    int f1=find(x);
    int f2=find(y);
    if(f1!=f2) fa[f1]=f2;
}
int main()
{
    scanf("%d%d",&n,&m);
    for(int i=1;i<=3*n;i++) fa[i]=i;
    for(int i=1;i<=m;i++)
    {
        int num,a,b;
        scanf("%d%d%d",&num,&a,&b);
        if(a<1||a>n||b<1||b>n)
            {ans++;continue;}
        if(num==2&&a==b)
            {ans++;continue;}
        if(num==1)
        {
            if(find(a)==find(b+n)||find(a)==find(b+2*n)) ans++;
            else
            {
                Union(a,b);
                Union(a+n,b+n);
                Union(a+2*n,b+2*n);
            }
        }
        else if(num==2)
        {
            if(find(a)==find(b)||find(a)==find(b+2*n)) ans++;
            else
            {
                Union(a,b+n);
                Union(a+n,b+2*n);
                Union(a+2*n,b);
            }
        }
    }
    printf("%d
",ans);
    return 0;
}