首先看题意,可知本题中一共有两个种类。因此根据种类并查集的思想对group[x]数组进行定义:
group[x]=0表示x与pre[x]为同类,group[x]=1表示x与pre[x]为不同类。
一开始对group[x]=0;
由种类并查集的思想,在find()中对group进行更新(利用x与之前pre[x]的group的关系,可画出关系图找到相应的关系式,这是种类并查集的关键,一般会利用取模运算,模的一般是种类数),可以推出 group[x]=(group[x]+group[t])%2;(t为x之前的父亲)
当输入D时,对于a,b两点,若find(a)==find(b),说明a,b的group[]关系已经确定了,可以不用处理。
当find(a)!=find(b)时,用进行并查集的并的过程,父节点的合并和基础并查集一样,关键在于group的更新。对于a,b两点他们肯定是不同类的,以此为根据可以推出group[pre[a]]的更新值(可以对几种不同的情况进行分别讨论)。

#include<cstdio>
#include <algorithm>
using namespace std;
const int N=1e5+5;
int n,m;
int pre[N],group[N];//group[x]=0:表示与父节点同类,1表示不同类
int find(int x)
{
    if(x!=pre[x])
    {
        int t=pre[x];
        pre[x]=find(pre[x]);
        group[x]=(group[x]+group[t])%2;
    }
    return pre[x];
}
int main()
{
    int t;
    scanf("%d",&t);
    while(t--)
    {
        scanf("%d%d",&n,&m);
        for(int i=1;i<=n;i++)
        {//赋初值,因为pre[i]=i,所以group[i]=0
            pre[i]=i;
            group[i]=0;
        }
        int a,b;
        char cc;
        for(int i=1;i<=m;i++)
        {
            getchar();
            scanf("%c%d%d",&cc,&a,&b);
            int x=find(a);
            int y=find(b);
            if(cc=='A')
            {
                if(x==y)
                {
                    if(group[a]==group[b])
                        printf("In the same gang.\n");
                    else
                        printf("In different gangs.\n");

                }
                else
                    printf("Not sure yet.\n");
            }
            else if(cc=='D')
            {//如果x==y说明group[x]与group[y]已经确定
                if(x!=y)
                {
                    pre[x]=y;
                    group[x]=(group[a]+group[b]+1)%2;//画图推导
                }
            }
        }
    }
    return 0;
}