HDU 1829 A Bug's Life（基础种类并查集）

题目分析

基础的种类并查集，一直想写，但是苦于不会，今天找了个简单的练手。种类并查集除了需要维护fa[]数组，同时还要维护关系数组，这里面只有2种关系，一种是互斥，一种是不互斥，这样已经很明显了，我们用re数组中的数字来表示与根的关系，为0是与根互斥，为1与根不互斥，这样我们还需要在状态压缩的时候同样维护re数组，这样就做出来了。

#include <cstdio>
#include <cstring>
#include <iostream>
#include <algorithm>
using namespace std;
const int maxn = 2005;
int fa[maxn],re[maxn];  //父节点数组,关系数组
bool flag;  //用来表示是否有bug存在

int Find(int x)  //状态压缩
{
    if(fa[x] == x) return fa[x];
    int temp = Find(fa[x]);
    re[x] = (re[x] + re[fa[x]])&1;
    fa[x] = temp;
    return fa[x];
}

void Union(int x,int y)
{
    int xx = Find(x);
    int yy = Find(y);
    if(xx == yy){     //属于同一个根
        if(re[x] == re[y])  //2个bug原来的关系是互斥的，但是现在给出的关系是不互斥，很明显矛盾
            flag = true;
        return ;
    }
    fa[xx] = yy;
    re[xx] = (re[x] + re[y] + 1)&1;  //推出2个根节点的关系
}

int main()
{
    int T;
    scanf("%d", &T);
    for(int kase = 1; kase <= T; kase++)
    {
        int n,m,x,y;
        scanf("%d%d", &n, &m);
        for(int i = 1; i <= n; i++)
        {
            fa[i] = i;
            re[i] = 0;
        }
        flag = false;
        for(int i = 1; i <= m; i++)
        {
            scanf("%d%d", &x, &y);
            if(flag) continue;   //已经有bug存在，接下来的就不用判断了
            Union(x,y);
        }
        printf("Scenario #%d:\n", kase);
        if(flag) printf("Suspicious bugs found!\n\n");
        else printf("No suspicious bugs found!\n\n");
    }
    return 0;
}