《数据结构与算法分析》不相交集

前言：

      回来到学校，今天又要开始苦逼的工作了，后悔回家玩去了，现在想学习时间又不够了。。。就是这么傻。这一周又有汇报，没有足够的学习时间了。

我的github：

我实现的代码全部贴在我的github中，欢迎大家去参观。

https://github.com/YinWenAtBIT

不相交集：

思想：

不相交集是解决等价问题的一种有效的数据结构，之所以称之为有效是因为，这个数据结构简单（几行代码，一个简单数组就可以搞定），快速（每个操作基本上可以在常数平均时间内搞定）。

首先我们要明白什么叫做等价关系，而在这个之前要先有一个关系（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是否在同一个等价类集合中。

基本数据结构与操作：

Find操作：返回给定元素的集合的名字，也就是检查a，b是否在同一个等价类中。对于Find运算，最重要的是判断Find（a，S） == Find（b，S）是否成立。

Union操作：如果a，b不在一个等价类中，可以用Union操作把这连个等价类合并为一个等价类。

我们可以用tree结构来表示一个集合，root可以表示集合的名字。由于仅有上面的两个操作而没有顺序信息，因此我们可以将所有的元素用1-N编号，编号可以用hashing方法。

进一步可以发现对于这两个操作无法使其同时达到最优，也就是说当Find以常数最坏时间运行时，Union操作会很慢，同理颠倒过来。因此就有了2种实现方式。

a）使Find运行快

在数组中保存每个元素的等价类的名字，将所有等价类的元素放到一个链表中

b）使Union运行快

使用树来表示每一个集合，根节点表示集合的名字。数组元素P[i]表示元素i的父亲，若i为root，则P[i]=0。

对于Union操作，相当于把连个树合并，也就是指针的移动，如下图所示：

编码实现：

对于实现这样的数据结构，只需要使用数组就可以完成，让每一个节点中存储其父亲节点的编号，然后根节点中存储0代表到达了树根。合并的两个集合的方式就是找到两个集合的树根，然后让其中一个数根指向另一个树根即可。

typedef int DisjSet[NumSets+1];  
typedef int SetType;  
  
void initialize(DisjSet S)  
{  
    int i;  
    for(i=NumSets;i>0;i--)  
        s[i]=0;  
}  
void SetUnion(DisjSet S, SetType Root1, SetType Root2)  
{  
    S[Root2] = Root1;  
}  
  
SetType Find(ElementType X, DisjSet S)  
{  
    if(S[x]<=0)  
        return x;  
    else  
        return Find(S[x],S);  
} 

灵巧合并算法：

上面的合并算法相当随意，它就是把第二棵树作为第一棵树的子树来完成合并操作。有一个简单的改进方法是总是让较小的树成为较大的树的子树，这种方法叫做Union-by-Size，如下图所示Union-by-Size可以降低树的深度，每个节点的深度都不会超过O(logN)。

为了实现这种方法，必须记录每一棵树的大小。我们可以另每一个根节点的数组元素表示树的大小的赋值，非根节点不变，依旧表示其父节点。这其实是把上面方法的数组中的0的位置做了一些利用。

另一种方法是Union-by-Height，也就是说我们把高度较浅的树作为高度较深的树的子树。亦即根节点记录的是树的高度的负值。

编码实现：

同样这也非常容易实现，高度不相同时，低的指向高的，高的不用更新，相同时指向任意一个，然后高度+1。

void SetUnion(DisjSet S, SetType root1, SetType root2)
{
	if(S[root1] < S[root2])
		S[root2] = root1;
	else
	{
		if(S[root1] == S[root2])
			S[root2] --;
		S[root1] = root2;
	}
}

路径压缩：

随着树的加深，Find操作的时间会增加。如果Find操作比Union操作多的多的话，那么运算时间会相当糟糕，比快速查找还要差。而且从上面可以看出，Union算法的改进比较困难，因此我们应该尝试去使Find更加高效。这就引入了path compression。

路径压缩：在Find操作期间执行与Union操作无关，路径压缩的效果是从X到根节点的路径上的每一个结点都使它的父节点成为根节点。

编码实现：

要让经过的每一个路径都指向根节点，只要返回的时候，让该节点中保存的父亲节点更新为返回值即可，由于等号运算符返回右值。所以可以写为连等。

/*路径压缩*/
SetType Find(ElementType X, DisjSet S)
{
	if(S[X] <= 0)
		return X;
	else
		return S[X] = Find(S[X], S);
}

路径压缩算法是与Union-by-Size相兼容的，与Union-by-Height并不完全兼容，因为路径节点直接指向了根节点，改变了树的高度。不过我们无需修改合并代码。把原来保存的高度当做秩处理即可（秩指示有多少节点连接在其上）。该书中有非常详细的一段关于秩的性质的证明，很遗憾我是在是看不懂。。

应用：

这个数据结构的目的是解决等价问题，那么用来处理链接就是最方便了。在这里可以用计算机网络的例子。

一个例子是计算机网络和双向连接表，每一个连接将文件从一个计算机传递到另一个计算机。现在的问题是能否将文件从任意一个计算机传递到另一个任意的计算机，并且这个问题要on-line解决。

解决这个问题，就可以用到上面的数据结构。开始阶段我们可以把每一台计算机放到他自己的集合中，要求两台计算机传递文件当且仅当这两台计算机在同一个集合中。因此传输文件能力相当于一个等价关系。当我们需要传输文件时，检验两个计算机是否在同一个集合里，是的话就传输文件，否的话，就用Union方法把它们合并到一个集合中，然后传输文件。

总结：

不相交集学的比较郁闷，因为中间一大段证明，然后还读不明白。好在最后的例子比较简单。网上找了找别人的博客，发现也没有什么新的内容，都是本书上的东西直接抄到了博客上。因此，我这篇博客也是直接把书上的东西给挪了过来（实际上用的别人的博客，反正和书一模一样。。）。