A Bug's Life（并查集拓展）

A Bug's Life

Time Limit: 15000/5000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)
Total Submission(s): 12358    Accepted Submission(s): 4032

Problem Description

Background 
Professor Hopper is researching the sexual behavior of a rare species of bugs. He assumes that they feature two different genders and that they only interact with bugs of the opposite gender. In his experiment, individual bugs and their interactions were easy to identify, because numbers were printed on their backs. 

Problem 
Given a list of bug interactions, decide whether the experiment supports his assumption of two genders with no homosexual bugs or if it contains some bug interactions that falsify it.

 

Input

The first line of the input contains the number of scenarios. Each scenario starts with one line giving the number of bugs (at least one, and up to 2000) and the number of interactions (up to 1000000) separated by a single space. In the following lines, each interaction is given in the form of two distinct bug numbers separated by a single space. Bugs are numbered consecutively starting from one.

 

Output

The output for every scenario is a line containing "Scenario #i:", where i is the number of the scenario starting at 1, followed by one line saying either "No suspicious bugs found!" if the experiment is consistent with his assumption about the bugs' sexual behavior, or "Suspicious bugs found!" if Professor Hopper's assumption is definitely wrong.

 

Sample Input

  
  

   
   2
3 3
1 2
2 3
1 3
4 2
1 2
3 4
  
  

 

Sample Output

  
  

   
   Scenario #1:
Suspicious bugs found!

Scenario #2:
No suspicious bugs found!


   
   

    
    

     
     Hint
    
    
Huge input,scanf is recommended.
   
   
   
    
  
  

 

本题大概意思就是：例如给出a和b，表示a与b为异性，判断所给数据是否冲突；

#include<iostream>
#include<stdlib.h>
#define Size 2005
using namespace std;
int father[Size],a[Size],s;
int find(int x){
    if(father[x]==x)
    return x;
    int t = find(father[x]);
    a[x]=(a[x]+a[father[x]])%2;
    father[x] = t;
    return father[x];
}
void merage(int x, int y){
     int fx,fy;
     fx=find(x);
     fy=find(y);   
     if(fx==fy){
        if(a[x]==a[y]){
           s= 1;  //表示冲突
        }
     }
	 else{
        father[fx]=fy;
        a[fx]=(a[x]+a[y]+1)%2;
     }
}
int main()
{
    int b,c,i,n,v,x,y;
    cin>>n;
    v=1;
    while(n--){
        cin>>x>>y;
        for(i=1;i<=x;i++){
            father[i]=i;
            a[i]=0;
        }
        s=0;
        while(y--){	
            cin>>b>>c;
            merage(b,c);
        }
        cout<<"Scenario #"<<v++<<":\n";
        if(s)cout<<"Suspicious bugs found!\n"<<endl;
        else cout<<"No suspicious bugs found!\n"<<endl;
    }
    return 0;
}

大牛详解：

个人认为它是初级并查集问题的一个升级。同时这个题让我看到了食物链的影子。。。
题目的大意是给出n只bug和m次观察到的性行为，并以此为依据判断两只bugs是不是有同性恋行为(gay)。
比如3只bug
1 2有性行为
2 3有性行为
1 3有性行为
---->>>>>首先1,2是异性。
---->>>>>然后2,3是异性。
可以推出1,3是异性。
但是1，3有性行为，所以可以判断出有一定有同性恋。

剥离这个题目所赋予的外壳，我们抽出这个问题的本质：并查集！
其实，这里最重要的是去维护每一个点到集合顶点的偏移量。（注意：下面生造了一个词 所谓集合元素 比如说f[i]=i,那么i就是集合元素，集合偏移量就是集合元素的偏移量）

初始状态下，应该是 
i号点挂在i号集合下面
我们考虑一般情况：假设合并的过程已经进行了一部分 ，这样每一个集合下面都有元素，且各自对于顶点的偏移量都算出来了；
现在在a集合中的元素x和b集合中的元素y进行合并。此时有两中情况改变偏移量；
1.首先是集合的合并，如果要将a,b集合合并，又要保证x,y数字的kind不相同，比如说把b集合挂到a集合下面去。
代表集合的那个元素，他的偏移量永远是0，所以b要改变偏移量，使得b里面的y在进行变换后要和x相异。
如果 kind[x]=0;kind[y]=0;那么y对应的那个代表集合的元素的偏移量必须变成1，因为只有这样才能使得合并后，x,y有不同的kind;
如果 kind[x]=0,kind[y]=1;y对应代表集合的元素偏移量是0，所以对应集合偏移量还是0；
类推   kind[x]=1,kind[y]=0,同上,0；
           kind[x]=1,kind[y]=1,y集合偏移量应该变为1；
综上 可以得到一个同或的关系。
用等式 kind [ a ]=( kind [ x ]+ kind [ y ]+ 1 )% 2 ;恰好满足要求.
2.然后是压缩路径时候的偏移量改变
个人认为，这个主要是解决集合合并时候产生的“残余问题”，因为在合并集合的时候只是考虑了集合的偏移量，至于它下面的元素一概不管。一个压缩路径既分离了父子元素的偏移量，又使得子元素直接指向集合元素。

总而言之，并查集的操作就是不断地维护者各个集合中，每个元素身上对集合元素的偏移关系。从而确定他们是否具有同性恋。
在这个题中，假设是不存在同性恋的，所以只有找到矛盾才输出 有同性恋。