学了这么久的数据结构,发现很多基础知识其实在离散数学中早有涉及。
不相交集中就涉及到关系
对不相交集的操作有两个,Find和Unoin。
Find即返回包含给定元素的集合(即等价类)的名字。
Union是添加关系,在添加两个元素的关系之前,应该判断它俩是否已经存在关系。如果没有存在关系,再进行后序操作。即将两个元素所在的等价类合并,去掉原来两个集合而保持所有集合的不相交性。
起初看到Union操作,还有些迷,因为一个固定的思维是要添加两个元素的关系,如果是将两个集合合并了,那岂不是两个集合里面所有的元素都有关系了。后来画了个图,才发现自己真的蠢,一旦一个等价类中的一个元素和另一个等价类的一个元素有关系,那么他们就已经不是两个等价类了,因为等价关系存在传递性,即所有的元素都存在等价关系。
例如:
概念引入:
1.不相交集:解决等价关系的一种有效数据结构。
2.等价关系 (equivalence relation)是满足下列三个性质的关系R:
1.自反性,对于所有a∈A,aRa。
2.对称性,aRb当且仅当bRa。
3.传递性,若aRb且bRc则aRc。
3.划分 :等价类形成对S的一个划分:S的每一个成员恰好出现在一个等价类中。(要判断a~b是否成立,即判断ab是否在同一个等价类中)
又因为每个等价类中都含有不相同的元素,即S1 ∩ S2 = 空集,使得这些集合不相交
4.联机操作 :当Find执行时,他必须给出答案算法才能继续进行。
脱机操作 : 该算法需要观察全部的Union和Find序列。它对每一个Find给出的答案必须和所有执行到该Find的Union一致,该算法在看到所有问题以后再给出他的答案。
联机操作就好比是参加一次口试,你必须在考官提出一个问题后就给出解答
脱机操作就好比是参加一次笔试,你可以回答完所有问题之后再交卷
伪代码描述:
不相交集合的类型声明
typedef int DisjSet[ NumSets + 1]; //加一,不用DisjSet[0]
typedef int SetType;
typedef int ElementType;
void Initialize(DisjSet S);
void SetUnion(DisjSet S, SetType Root1, SetType Root2 );
SetType Find(ElementType X, DisjSet S);
不相交集合的初始化例程
void
Initialize(DisjSet S)
{
int i;
for(i = NumSets; i > 0; i--)
S[i] = 0; //初始化等价类,当S[i] = 0,即这棵树的根
}
关于Union
对于两个元素之间的Union,方法有很多种,Union的编写也影响到了整个程序的平均时间分析,因为树的高度会随着Union的优劣而变化,
算法1:通过使第二颗树称为第一棵树的子树而完成合并
void
SetUnion(DisjSet S, SetType Root1, SetType Root2 )
{
S[Root1] = Root2;
}
算法2:按高度(秩)求并的程序
void
SetUnion(DisjSet S, SetType Root1, SetType Root2 )
{
if(S[Root2] < S[Root1]) //Root2 is deeper set
S[Root1] = Root2; //Make Root2 new root
else
{
if(S[Root2] = S[Root1]) //Same Height
S[Root1]--; //so update
S[Root2] = S[Root1];
}
一个简单的Find算法
SetType
Find(ElementType X, DisjSet S)
{
if(S[X] <= 0)
return X;
else
return Find(S[X], S); //尾递归
}