本文以codeforces EDU Disjoint Sets Union为资料
content
Introduction
DSU in Minimal Spanning Tree
kruskal
Bipartite Graph
一个图是二分的:存在这样两个互补的点的集合使得在任意一个集合中的点之间不存在边。
定义len是当前点到根所属的奇偶性,对具体路径的计算可以参考D. Bosses。val返回了父节点的根和距离。
我们可以证明二分图中的同一个集合内的点之间的任意路径的长度必然是偶数,那么我们对一条边的端点
x
,
y
x, y
x,y,计算他们到各自根的距离,如果是同一根并且距离奇偶不同,那么显然不是二分图。
get(a):
if p[a] == a:
return <a, 0>
val = get(p[a])
p[a] = val.fst
len[a] = (len[a] + val.snd) % 2
return <p[a], len[a]>
update: 这提供了一种好的路径压缩思路。
problems & solutions
C. Restructuring Company
对 t y p e = 2 type=2 type=2的区间合并,可以考虑维护一个左端点单调递增且区间不相交的区间队列,这样每次遇到区间合并时,只需要考虑新增区间与原来队列重合的情况。在实现过程中,用 n e x t next next数组实现了这一方法。 n e x t next next表示该点所属同一并查集的连续区间,指向的下一个位置,表示新增的
D. Bosses
该题的考虑方式与step 1的C. Experience相同。对该题的考虑,主要以秩 r r r为归并方法,而不是路径压缩。对于实际图中 y y y指向 x x x的情况,在并查集图中 x x x的秩大于 y y y的条件下(即在并查集图中, y y y指向 x x x)
y.add += 1 - x.add
表示
y
y
y所属的集合路径长度+1(这是考虑到对某个点求路径的长度是通过累加该点到根的和,下同);
在并查集图中
x
x
x的秩小于等于
y
y
y的条件下(即在并查集图中,
x
x
x指向
y
y
y),
y.add += 1
x.add -= y.add
表示y所属的集合路径长度+1,
x
x
x所属的集合路径长度不变。在实际代码中,对后一种情况的
x
,
y
x,y
x,y进行了调换。需要特别说明的是,上述提到的
x
,
y
x,y
x,y,并不表示该点在实际图中所属的根,而是表示并查集图中的根,这样对该根下的节点的路径的计算,是通过对路径上的add求和。
by the way,如果有大哥懂能路径压缩,能教教我吗。
F. Dense spanning tree
枚举每一种路径长度,可以证明时间复杂度是 O ( α ∗ M ) O(\alpha*M) O(α∗M),其中 α \alpha α是路径长度的种类。