基本数据结构并查集.pptVIP

if(strcmp(temp, odd) == 0) b = 1; else b = 0; if(can) { if(!joint(f - 1, t, b)) { endPos = i - 1; can = false; } } } printf(%d\n, endPos); return 0; } 例3： Parity Game 并查集小结 先从问题的简单做法入手，构造出原始模型。 如果原始模型是对于集合之间合并处理问题，那么就可以使用并查集使得程序变得高效。 并查集的路径压缩只有在元素之间的特性存在递推关系时才可以使用。 基本数据结构并查集 ACM/ICPC程序设计 并查集 基本概念 如果给出各个元素之间的联系，要求将这些元素分成几个集合，每个集合中的元素直接或间接有联系。在这类问题中主要涉及的是对集合的合并和查找，因此将这种集合称为并查集。 链结构的并查集 树结构的并查集 链结构的并查集 表中的每个元素结点设两个指针：一个指向同一集合中的下一个元素；另一个指向表首元素。 例如, 集合{a1，a2，…，ai，…，an} 集合{b1，b2，…，bi，…，bn} headA a1 ∧ a2 an-1 an ai … ∧ … headB b1 ∧ b2 bm-1 bm bj … ∧ … 树结构的并查集 采用树结构支持并查集的计算能够满足我们的要求。并查集与一般的树结构不同，每个顶点纪录的不是它的子结点，而是将它的父结点记录下来。 9 6 1 3 2 8 10 10 8 2 9 6 1 3 S1 = {1,3,6,9} S2 = {2,8,10} S3 = s1 U s2 并查集 并查集主要用于处理一些不相交集合的合并问题。 并查集的主要操作有 1－合并两个不相交集合 2－判断两个元素是否属于同一个集合 3－路径压缩 元素的合并图示 1 3 2 4 5 合并1和2 合并1和3 合并5和4 合并5和3 判断元素是否属于同一集合 用father[i]表示元素i的父亲结点，如刚才那个图所示 1 2 3 5 4 father[1]=1 father[2]=1 father[3]=1 father[4]=5 father[5]=3 判断元素是否属于同一集合 由此用某个元素所在树的根结点表示该元素所在的集合 判断两个元素是否属于同一个集合的时候，只需要判断他们所在树的根结点是否一样即可 也就是说，当我们合并两个集合的时候，只需要在两个根结点之间连边即可 路径压缩 上述的做法就是移动元素的父亲结点指针，判断两个元素是否属于同一集合需要O(N)的时间，于是路径压缩产生了作用 路径压缩实际上是在找完根结点之后，在递归回来的时候顺便把路径上元素的父亲指针都指向根结点 路径压缩示意图 1 3 2 4 5 由此我们得到了一个复杂度只是O(1)的算法 程序清单 function judge(x,y:integer):boolean; var fx,fy : integer; begin fx := getfaher(x); fy := gefather(y); If fx=fy then judge := exit(true) else judge := false; father[fx] := fy;{合并两个集合} end; 程序清单 function getfather(v:integer):integer; begin if (father[v]=0) then getfather:=v else begin father[v]:=getfather(father[v]); getfather:=father[v]; end; end; 例1 亲戚 若某个家族人员过于庞大，要判断两个是否是亲戚，确实还很不容易，现在给出某个亲戚关系图，求任意给出的两个人是否具有亲戚关系。 规定：x和y是亲戚，y和z是亲戚，那么x和z也是亲戚。如果x,y是亲戚，那么x的亲戚都是y的亲戚，y的亲戚也都是x的亲戚。 例1 亲戚 数据输入： 第一行：三个整数n,m,p，（n=5000,m=5000,p=5000），分别表示有n个人，m个亲戚关系，询问p对亲戚关系。 以下m行：每行两个数Mi，Mj，1=Mi，Mj=