codeforces EDU Disjoint Sets Union step 3

本文以codeforces EDU Disjoint Sets Union为资料

Introduction

Mo’s algorithm and DSU

莫队算法在DSU的应用（询问区间）
分块，考虑到加减边需要符合一定的优先级（假设这里有个例子 ），对同一unit内的$(l,r)$，直接用DSU解决；对$l$同一unit的询问，先加入剩下unit到$r$的边，$save$，再加入$l$到unit的边，即得到当前询问区间的结果，$rollback$ $l$到unit的边处理下一次询问。（加入$r1$到$r2$的边）。
$save$、$rollback$用$stack$模拟

Dynamic Connectivity Offline

离线动态算法
有三种操作：
$add(\mathbf{u},\mathbf{v})$
$remove(\mathbf{u},\mathbf{v})$
$get(\mathbf{u},\mathbf{v})$
考虑对$(u,v)$的$add$和$remove$成对考虑，即$(u,v,t_{add},t_{remove})$。该问题考虑时间戳，对当前时刻$t$，若$t_{add}⩽t⩽t_{remove}$，$(u,v,t_{add},t_{remove})$的边已加入且为消去；若$t$不在$[t_{add},t_{remove}]$，则不需考虑该边。那么可以用二分区间的算法考虑。

work(l, r, queries):
	if l == r - 1:
		for q in queries:
			if q.type == get && q.t == l:
			q.answer = get(q.u) == get(q.v)
        return

save DSU
queries2 = {}
for q in queries:
	if q.type == edge && [l, r) lies in [q.l, q.r):
		union(q.u, q.v)
	if (q.type == get && q.t in [l, r)) ||
		(q.type == edge && [l, r) intersects [q.l, q.r)):
		queries2.add(q)
m = (l + r) / 2
work(l, m, queries2)
work(m, r, queries2)
rollback DSU

problems & solutions

B. Number of Connected Components on Segments

莫队算法

C. Dynamic Connectivity Offline

一种可能可以减少内存的方法是使用线段树，但是笔者实际犯的错误是下面一种情况。所以可能是姿势问题。codeforces上关于该题的一个讨论
该题存在$m=0$的情况，注意导致$seg[v]$超范围的情况。当然如果你们姿势好的话，可能不会有这个问题。

code

code on github