不相交集是解决等价问题的一种有效的数据结构,之所以称之为有效是因为,这个数据结构简单(几行代码,一个简单数组就可以搞定),快速(每个操作基本上可以在常数平均时间内搞定)。
首先我们要明白什么叫做等价关系,而在这个之前要先有一个关系(relation)的定义
Relation:定义在数据集S上的关系R是指,对于属于数据集S中的每一对元素(a,b),a R b要么是真要么是假。如果a R b为真,就说a related b,即a与b相关。
等价关系也是一种关系(Relation),只不过是要满足一些约束条件
a) a R a,对于所有属于S的a
b) a R b 当且仅当 b R a
c) a R b 并且 b R a 意味着 a R c
动态等价性问题:
定义在非空集合S上的关系R,对于任意属于数据集S中的每一对元素(a,b),确定a R b是否为真,也就是说a与b是否有关系。
而对于a与b是否有关系,我们只需要证明a与b是否在同一个等价类集合中。
数组实现的代码如下:
#include<iostream>
using namespace std;
#define NumSets 8
typedef int DisjSet [NumSets + 1];
typedef int SetType;
typedef int ElementType;
void Initiaize (DisjSet S)
{
for (int i = NumSets; i > 0; --i)
S[i] = 0;
}
SetType Find(ElementType x, DisjSet S)
{
if(S[x] <= 0)
return x;
else
return Find(S[x],S);
}
void SetUnion (DisjSet S, SetType Root1, SetType Root2) //按高度求并
{
if(S[Root2] < S[Root1]) //Root2高度高一点
S[Root1] = Root2;
else
{
if(S[Root1] == S[Root2]) //一样高
S[Root1]--;
S[Root2] = Root1;
}
}
int main ()
{
DisjSet S1;
Initiaize (S1);
SetUnion (S1, 5,6);
SetUnion (S1, 7,8);
SetUnion (S1, 5,7);
SetUnion (S1, 5,4);
for (int i = 1; i <= NumSets; ++i)
cout << S1[i] << '\t';
cout << endl;
cout << Find(3, S1) << endl;
return 0;
}
传送门: http://blog.csdn.net/changyuanchn/article/details/16810535 这篇博客写的比较清楚,可以参考,我的这篇博客主要是代码完整。
夜深了,,,