并查集定义.pptVIP

并 查 集;并查集的定义; 并查集的数学模型是若干不相交的动态集合的集合S＝{A,B,C,...}，它支持以下的运算： (1)INITIAL(A,x)：构造一个取名为A的集合，它只包含一个元素x； (2)MERGE(A,B)：将集合A和B合并，其结果取名为A或B； (3)FIND(x)：找出元素x的所在集合，并返回该集合的名字。; 例如，对于S＝{1,2,...,7}，要求作出S的等价类划分满足给定的等价性条件:1≡2，5≡6，3≡4，和1≡4。 我们首先将S的每一个元素看成一个等价类，然后顺序地处理所列的条件。每处理完一个条件，所得到的相应等价类列表如下: 1≡2 {1,2}{3}{4}{5}{6}{7}； 5≡6 {1,2}{3}{4}{5,6}{7}； 3≡4 {1,2}{3,4}{5,6}{7}； 1≡4 {1,2,3,4}{5,6}{7}。 所得到的结果是{1,2,3,4}{5,6}{7}。;用数组实现并查集;建立一个集合 O(1);查找一个元素所属集合 O(1);合并两个集合 O(n);Const maxn=100; Var data:array[1..maxn] of integer;;用链表实现并查集; data＝record setheaders： array[1..n] of record count：1..n；{集合中元素的个数} firstelement：1..n;{第一个元素} end； names： array[1..n] of record Setname：1..n；{该元素所属集合} nextelement：1..n{该元素的下一个元素} end end；;例：集合1为{1,3,4}，集合2为{2}，集合5为{5,6}。;procedure INITIAL (A:nametype;x:elementtype;var C:data); begin C. names[x].setname:=A; C. names[x].nextelement:=0; C. setheaders[A].count:=1; C. setheaders[A].firstelement.:=x; end; function FIND(x:elementtype;var C:data):nametype; begin find:=C.names[x].setname; end;;procedure MERGE (A,B:nametype;var C:data)； Var i:elementtype; Begin if C.setheaders[A].countC.setheaders[B].count then begin{将B合并到A} i:=C.setheaders[B].firstelement; while C.names[i].nextelement0 do begin C.names[i].setname:=A; i:=C.names[i].nextelement; end; C.name[i].setname:=A; C.name[i].nextelement:=C.sethteaers[A].firstelement; C.setheaders[A].firstelement:=C.setheaders[B].firstelement; C.setheaders[A].count:=C.setheaders[A].count+C.setheaders[B].count; C.setheaders[B].count:=0; C.se