并查集基础.pptVIP

并查集初步 Yellow Vigorous Pine Disjoint Sets 并查集是一种树型的数据结构，用于处理一些不相交集合的合并问题。 并查集的主要操作有 1－合并两个不相交集合 2－判断两个元素是否属于同一个集合 3－路径压缩 元素的合并图示 判断元素是否属于同一集合 用father[i]表示元素i的父亲结点，如刚才那个图所示 判断元素是否属于同一集合 由此用某个元素所在树的根结点表示该元素所在的集合 判断两个元素时候属于同一个集合的时候，只需要判断他们所在树的根结点是否一样即可 也就是说，当我们合并两个集合的时候，只需要在两个根结点之间连边即可 路径压缩 上述的做法是指就是将元素的父亲结点指来指去的在指，当这课树是链的时候，可见判断两个元素是否属于同一集合需要O(N)的时间，于是路径压缩产生了作用 路径压缩实际上是在找完根结点之后，在递归回来的时候顺便把路径上元素的父亲指针都指向根结点 路径压缩示意图 程序清单 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; 程序清单 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; 例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=N，表示Ai和Bi具有亲戚关系。 接下来p行：每行两个数Pi，Pj，询问Pi和Pj是否具有亲戚关系。 数据输出： P行，每行一个’Yes’或’No’。表示第i个询问的答案为“具有”或“不具有”亲戚关系。 例1 亲戚 样例： input.txt 6 5 3 1 2 1 5 3 4 5 2 1 3 1 4 2 3 5 6 output.txt Yes Yes No 例1 亲戚 这个题目是最基础的并查集问题 运用基本的并查集工具就可以解决了 例2 银河英雄传说(NOI2002) 公元五八○一年，地球居民迁移至金牛座α第二行星，在那里发表银河联邦创立宣言，同年改元为宇宙历元年，并开始向银河系深处拓展。 宇宙历七九九年，银河系的两大军事集团在巴米利恩星域爆发战争。泰山压顶集团派宇宙舰队司令莱因哈特率领十万余艘战舰出征，气吞山河集团点名将杨威利组织麾下三万艘战舰迎敌。 例2 银河英雄传说(NOI2002) 杨威利擅长排兵布阵，巧妙运用各种战术屡次以少胜多，难免恣生骄气。在这次决战中，他将巴米利恩星域战场划分成30000列，每列依次编号为1, 2, …, 30000。之后，他把自己的战舰也依次编号为1, 2, …, 30000，让第i号战舰处于第i列(i = 1, 2, …, 30000)，形成“一字长蛇阵”，诱敌深入。这是初始阵形。当进犯之敌到达时，杨威利会多次发布合并指令，将大部分战舰集中在某几列上，实施密集攻击。合并指令为M i j，含义为让第i号战舰所在的整个战舰队列，作为一个整体（头在前尾在后）接至第j号战舰所在的战舰队列的尾部。显然战舰队列是由处于同一列的一个或多个战舰组成的。合并指令的执行结果会使队列增大。 例2 银河英雄传说(NOI2002) 然而，老谋深算的莱因哈特早已在战略上取得了主动。在交战中，他可以通过庞大的情报网络随时监听杨威利的舰队调动指令。 在杨威利发布指令调动舰队的同时，莱因哈特为了及时了解当前杨威利的战舰分布情况，也会发出一些询问指令：C i j。该指令意思是，询问电脑，杨威利的第i号战舰与第j号战舰当前是否在同一列中，如果在同一列中，那么它们之间布置有多少战舰。 作为一个资深的