不相交集ADT-概述

学了这么久的数据结构，发现很多基础知识其实在离散数学中早有涉及。

不相交集中就涉及到关系
对不相交集的操作有两个，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);        //尾递归
}