原题链接:
题目大意:
T组
n个1-n编号的昆虫,m个关系
判断您是否有同性别的。
思路:
在fa[]数组上多开一个存关系的数组,在压缩路径和合并字块时调整关系。
两个调整关系的关系式穷举法,均可证明其正确性。
(自己推也挺简单的)
代码如下:
#include<iostream>
#include<cstring>
#include<cstdio>
#include<algorithm>
using namespace std;
const int MAXN=2000+10;
int fa[MAXN],re[MAXN];
bool boss;
void init(int n)
{
for(int i=1;i<=n;i++)
fa[i]=i;
memset(re,0,sizeof(re));
boss=true;
}
int find(int x)
{
if(x==fa[x])
return x;
int temp=find(fa[x]);
re[x]=(re[x]+re[fa[x]])%2;//因为有路径压缩,所以树的深度最大为3。压缩时,需要根据儿子结点与父结点的关系、父节点和爷爷结点的关系来调整儿子结点与爷爷结点之间的关系
fa[x]=temp;
return temp;
}
void merge(int a,int b)
{
int x=find(a);
int y=find(b);
if(x==y)//根结点相同
{
if(re[a]==re[b])//两者与根结点的关系相等则说明存在矛盾
boss=false;
return;
}
re[x]=(1+re[a]+re[b])%2;//合并两个根节点不同的字块调整两个根节点的关系,根据两个根节点的两个儿子关系以及两个儿子分别跟两个父结点的关系
fa[x]=y;
return;
}
int main()
{
int T;
scanf("%d",&T);
for(int kase=1;kase<=T;kase++)
{
int n,m,a,b;
scanf("%d%d",&n,&m);
init(n);
for(int i=0;i<m;i++)
{
scanf("%d%d",&a,&b);
if(boss)//发现矛盾后就不用再合并了
merge(a,b);
}
printf("Scenario #%d:\n",kase);
if(!boss)
printf("Suspicious bugs found!\n\n");
else printf("No suspicious bugs found!\n\n");
}
return 0;
}