板子题。
考虑深搜,确定每个点的时间戳(即搜索顺序的编号吧) dfn \operatorname{dfn} dfn,然后记录 size \operatorname{size} size 表示子树大小。为方便进一步叙述, Tree \operatorname{Tree} Tree 表示子树集。
时间戳的性质,其中有一: ∀ v ∈ Tree ( u ) \forall v \in \operatorname{Tree}(u) ∀v∈Tree(u), dfn ( u ) ≤ dfn ( v ) < dfn ( u ) + s i z ( u ) \operatorname{dfn}(u) \leq \operatorname{dfn}(v) < \operatorname{dfn}(u) + siz(u) dfn(u)≤dfn(v)<dfn(u)+siz(u). 即 u u u 子树内所有节点( v v v)的 dfn \operatorname{dfn} dfn 是连续的。
考虑到 dfn \operatorname{dfn} dfn 连续,可以用线段树维护子树和变化。
时间复杂度: O ( n + m log n ) \ma