树链剖分
顾名思义,就是把一课时分成若干条链,使得它可以用数据结构(例如线段树)来维护
一些定义:
重儿子:子树最大的儿子
轻儿子:除了重儿子以外的儿子
重边:父节点与重儿子组成的边
轻边:除重边以外的边
重链:重边连接而成的链
轻链:轻边连接而成的链
链头:一条链上深度最小的点
第一步:进行进行轻重边的划分。
定义size[x]为以x为根的子树节点个数,令v为u儿子中size值最大的节点,那么(u,v)就是重边,其它出边都是轻边
两个重要性质:
1.轻边(u,v)中,Size[v]<size[u]/2 显然,如果儿子v的size>=size[u],则它应该是重边,u的子树中没有size比他更大的
2.从根到某一点的路径上,不超过logn条轻边和不超过logn条重路径。这条性质直接保证了树链剖分的复杂度
进行两次dfs,第一次dfs记录下所有的重边,第二次dfs连接重边,形成重链。
具体过程:在每一个节点,先递归重儿子,沿着重边向下拓展,形成一条重链,接着递归其他轻儿子,成为其子树中重链的起点
定义:
size[]数组:用来保存以x为根的子树节点个数
top[]数组:用来保存当前节点的所在链的顶端节点
son[]数组:用来保存重儿子
dep[]数组:用来保存当前节点的深度
fa[]数组:用来保存当前节点的父亲
dfn[]数组:用来保存树中每个节点剖分后的新编号(按第二遍dfs的访问顺序,先重儿子)
pos[]数组:用来保存当前节点在线段树中的位置
第二步 查询lca
我们象倍增求lca一样,每次跳到一条链的链首,然后跳到链首的父节点,重复前面的过程
直到跳到同一条链上,这时,深度较小的节点就是lca
注意前面的两个性质,它们保证的树剖的复杂度只有很小的logn
代码解释:a^b即a!=b
Dp即dep