大连理工大学算法分析与设计ch6-5动态等价关系-1s [兼容模式].pdfVIP

6.6 动态等价关系与并查集 动态等价关系  在求解实际应用问题时常会遇到等价类问题 。  从数学上看 ，等价类是一个对象(或成员) 的集 合，在此集合中所有对象应满足等价关系 。  若用符号R表示集合上的等价关系 ，那么对于 该集合中的任意对象x, y, z ，下列性质成立：  自反性：x R x 。  对称性 ：若 x R y, 则 y R x 。  传递性 ：若 x R y且 y R z, 则 x R z 。  因此，等价关系是集合上的一个自反、对称、 传递的关系。≡≡ 动态等价关系  “相等 ”(=)就是一种等价关系 ，它 满足上述的三个特性。  图中顶点的连通也是一种等价关系 动态等价关系  设R 是集合S 上的等价关系 ，对任何x∈S ， 令[x] ={y|y ∈S∧x Ry} 。 R  则[x] S ，称为由x∈S 生成的一个R 等价 R 类。  一个集合 S 中的所有对象可以通过等价 关系划分为若干个互不相交的子集 S , S , 1 2 S , … ，它们的并就是 S 。这些子集即为 3 等价类 确定等价类的方法 假设 ：集合 S 中含有n 个元素 ，m个形如 (x,y)(x,y∈S) 的等价偶对。求 S 的划分。 集合S 中每个元素各自形成一个只含单个成员 的子集，记作S , S , S , … S 。 1 2 3 n 依次读入m个偶对(x,y )：若x ∈S , y ∈S , S ≠S ， i j i j 则S 并入S ,将S 置空。 i j i  find(x)IS x ≡ ≡ y？  union(t,u)MAKE 生成树  假设一个连通图有n 个顶点和e 条边，其中n- 1 条边和n 个顶点构成一个极小连通子图，称 该极小连通子图为此连通图的生成树。 B C B C A D A D F E F E 最小生成树  最小生成树：带权图的生成树上的各边权 值之和称为这棵树的代价。最小代价生成 树是各边权值的总和最小的生成树。 Kruskal算法的基本步骤  设G ＝(V,E), T 为G 的最小生成树 ，初态T ＝ (V,{})  按照边的权值由小到大的顺序 ，考察G 的边集 E 中的各条边。  n 个顶点m 条边 ：  加一条边后判断是否有回路 ：深度优先搜索 {v0},{v1},{v2},{v3},{v4},{v5} v0 v0 6 5 1 v1 5 5 v3 v1 v3 v2 v2 3 6