并查集学习.docVIP

并查集 ——BOBO 从听到“并查集”这个名词到第一次用它做出题目，中间经历了很长一段时间，因为没有算法底子的我一直不太明白到底对于程序，集合是什么意思，然后就不用谈并和查了。 其实并查集顾名思义就是有“合并集合”和“查找集合”两种操作的关于数据结构的一种算法。 一般来说，一个并查集一三个操作。 初始化 包括对所有单个的数据建立一个单独的集合（即根据题目的意思自己建立的最多可能有的集合，为下面的合并查找操作提供操作对象） 在每一个单个的集合里面，有三个东西。 集合所代表的数据。（这个初始值根据需要自己定义，不固定） 这个集合的层次通常用rank表示（一般来说，初始化的工作之一就是将每一个集合里的rank置为0）。 这个集合的类别parent（有的人也喜欢用set表示）（其实就是一个指针，用来指示这个集合属于那一类，合并过后的集合，他们的parent指向的最终值一定是相同的。） （有的简单题里面集合的数据就是这个集合的标号，也就是说只包含2和3，1省略了）。 初始化的时候，一个集合的parent都是这个集合自己的标号。没有跟它同类的集合，那么这个集合的源头只能是自己了。 （最简单的集合就只含有这三个东西了，当然，复杂的集合就是把3指针这一项添加内容，如PKU食物链那题，我们还可以添加enemy指针，表示这个物种集合的天敌集合；food指针，表示这个物种集合的食物集合。随着指针的增加，并查集操作起来也变得复杂，题目也就显得更难了） 有的人是建立一个结构体把集合表示出来，如： #define MAX 10000 struct Node { int data; int rank; int parent; }node[MAX]; 有的人则是弄很多相同大小的数组，如： int set[max]; int rank[max]; int data[max]; 一般来说，题目简单用数组，题目复杂用结构体，因为结构体有条理，数组可以少打几个字。 查找函数 就是找到parent指针的源头，可以把函数命名为get_parent（或者find_set，这个随你喜欢，以便于理解为主） 如果集合的parent等于集合的编号（即还没有被合并或者没有同类），那么自然返回自身编号。 如果不同（即经过合并操作后指针指向了源头（合并后选出的rank高的集合））那么就可以调用递归函数，如下面的代码： int get_parent(int x) { if(node[x].parent==x) return x; return get_parent(node[x].parent); } 数组的话就是： int Find_Set(int i) { if(set[i]==i) return set[i]; return Find_Set(set[i]); } 合并集合函数 这就是所谓并查集的并了。至于怎么知道两个集合是可以合并的，那就是题目的条件了。 先看代码： void Union(int a,int b) { a=get_parent(a); b=get_parent(b); if(node[a].ranknode[b].rank) node[b].parent=a; else { node[a].parent=b; if(node[a].rank==node[b].rank) node[b].rank++; } } 起先我在想，合并，那只要把两个的源头设置为其中一个就行了，要rank干嘛？ 后来我再想，如果把rank去掉，计算机怎么知道把哪个设为parent。 比如 /*这个错的！ void Union(int a,int b) { a=get_parent(a); b=get_parent(b); node[b].parent=a; ｝ */ 显然这样的话，如果把参数位置换了，就会引起内部混乱，所以有一个rank（层次）是非常必要的。从数据结构的角度讲的话，rank的意义就是确定树形结构的层次，这个重要度就更是不言而喻了。 再给出数组显示的合并函数： void Union(int i,int j) { i=Find_Set(i); j=Find_Set(j); if(i==j) return ; if(rank[i]rank[j]) set[j]=i; else { if(rank[i]==rank[j]) rank[j]++; set[i]=j; } } 以上基本就是并查集的模板了，至于怎么用，来两个例题吧： 题目来源： PKU 2524 Ubiquitous Religions /JudgeOnline/problem?id=2524 原题自