【NOI2001】食物链

原题：

 n<=5e4，k<=1e5

自己想了半天，发现了只需要立即合并真话，无视假话，那么就可以把已知的真话处理成若干个三元环，而不存在错综复杂的关系

但是这样处理起来太难写，还不一定对

最后还是决定看题解，果然发现了新知识点。。。

分组并查集，给每个动物拆ABC三个点，相同字母的分一组

盗一个洛谷题解的图，作者id是sooke，原文地址：https://www.luogu.com.cn/blog/Sooke/solution-p2024

 如果是吃的关系，就对A到B、B到C、C到A三种跨组关系都合并，如果是相等的关系，就三个组内合并

 这样若组间的点位于同一集合，就说明存在吃的关系，如果组内的点位于同一集合，就说明存在相等的关系

 两个动物的关系只有A吃B，B吃A，A等于B三种

若要判断某种关系是否存在，只需判断剩下两个关系是否存在，如果存在就表示冲突

如果三种关系都不存在就表示不知道

代码：

#include<iostream>
#include<cstdio>
using namespace std;
int n,m;
int tp[151000];
int ans=0;
int gttp(int x){
    int y=x,tmp;
    for(;tp[y]!=y;y=tp[y]);
    for(;x!=y;){  tmp=tp[x];  tp[x]=y;  x=tmp;}
    return y;
}
void mg(int x,int y){  tp[gttp(x)]=tp[gttp(y)];}
int main(){
    cin>>n>>m;
    for(int i=1;i<=n*3;++i)  tp[i]=i;
    int mk,l,r;
    while(m --> 0){
        scanf("%d%d%d",&mk,&l,&r);
        if(l>n || r>n){  ++ans;  continue;}
        if(mk==2){
            if(gttp(l+n)==gttp(r))  ++ans;
            else if(gttp(l)==gttp(r))  ++ans;
            else if(gttp(l)!=gttp(r+n)){
                for(int i=0;i<3;++i)
                    mg(l+i*n,r+((i+1)%3)*n);
            }
        }
        else{
            if(gttp(l+n)==gttp(r))  ++ans;
            else if(gttp(l)==gttp(r+n))  ++ans;
            else if(gttp(l)!=gttp(r)){
                for(int i=0;i<3;++i)
                    mg(l+i*n,r+i*n);
            }
        }
    }
    cout<<ans<<endl;
    return 0;
}