标签：证明 就是 动态 最大的 如何 线段 style 最大 ati
线段树合并就是把两个维护相同区间的线段树合并到一块.
什么叫维护相同区间?就是每次操作的最大的那个区间是一样的,根节点维护的区间一样,根节点的左儿子维护的也一样,右儿子维护的也一样,左儿子的左儿子....
显然只需要建树的时候都建成一样的就好了.一般我们采用动态开点.
由于线段树合并的均摊复杂度是log的,虽然我看不懂证明可以开成权值线段树.
对于两个线段树该如何合并呢?我们递归的定义:
1.对于线段树a,b.如果只有a有当前区间或只有b有当前区间,那么把那个认定为新线段树的节点.
2.否则我们同时递归a的左儿子和b的左儿子,递归完后把刚认定的节点作为a的左儿子.
3.递归a的右儿子和b的右儿子,递归完后把刚认定的节点作为a的右儿子.
4.把a认定为新线段树的节点.
如果有两个满的线段树,每次复杂度是O(n)还多的.
标签：证明 就是 动态 最大的 如何 线段 style 最大 ati
原文地址：https://www.cnblogs.com/qywyt/p/10493626.html
