不相交集ADT

$\quad\quad$首先我们必须明白不相交集这种数据结构是用来干什么的。不相交即主要用来实现动态等价问题的求解。

$\textbf{动态等价问题}$
$\quad\quad$这里不再说明等价关系的概念，这个可以参考数理逻辑之类的书。假设我们有一个集合和一个等价关系~,针对集合中的任意两个元素$a$和$b$，我们如何确定他们有等价关系~，即a~b.那么我们需要等价类的概念，一个元素$a \in S$的等价类是S的一个子集，它包含所有和$a$有关系~的元素。这样，等价类就把S进行了子集的划分，其实，如果我们能够找到这种子集划分，那么针对集合中的两个元素是否有~的问题就转变成这两个元素是否在同一个等价类中。这便是解决动态等价问题的思想。
$\quad\quad$要想找到所有的等价类，一个最基础的操作就是我如何找到集合$S$中的一个元素所属的等价类,我们将这个操作记为 Find