「WC2020」有根树（轻重链剖分）

题目

容易发现题目中那个包含$1$的连通块是提示你的，并不是来限制你的。
那么答案一定是$S$中选择最大的若干个$w$，剩下的$w$的最大值$\le |S|$。
设剩下的 $w$为集合$X$
考虑一个调整的过程：
如果$|S|<{\max }_{w\in X}w$，则选出${\max }_{w\in X}w$从$X$删去后加入$S$。
如果$|S|>{\max }_{w\in X}w$并且${\min }_{w\in S}w\le {\max }_{w\in X}w$，则选出${\min }_{w\in S}w$从$S$删去后加入$X$。
并且每次加点删点后只会有一次调整。（但是前提是你不是无脑的把所有点都加入$X$，如果当前加入的点$w>{\max }_{w\in X}w$的话还是要加入$S$，否则就无法高效的维护$S$和$X$。）
注意这里我们一定要保证${\max }_{w\in X}\le {\min }_{w\in S}$。
那么就有一个很简单的$O(q{\log }^{2}n)$做法：
线段树维护每个点的$w$，和每个区间的${\max }_{w\in X}w,{\min }_{w\in S}w$，然后每次调整即可。
注意到我们会有区间加一操作，如果在这次操作之后不满足${\max }_{w\in X}\le {\min }_{w\in S}$。
那么可以发现一定是（最多只有一个点）加一后达到了$|S|+1$，同时$S$中还有值为$|S|$的元素。
那么只有一个点会违背规则，我们找出这样的一对点，他们分别在$X,S$，然后将他们分别在$X,S$删除后分别加入$S,X$即可。
区间减一请读者自行思考。
使用$zkw$