假设已经会了树套树和可持久化权值线段树 （主席树）
昨天晚上在机房里面写，发现我有一些细节问题不是很懂，并且对这个玩意理解的也不太行
一些约定
有一个树套树，内外都是权值线段树。
对于一个外层树上的点 \(u\)，称左右儿子为 \(ls(u),rs(u)\)，并且套着一个内层树 \(T(u)\)，\(T(u)\) 的根是 \(rt'(u)\)。
对于一个内层树上的点 \(u\)，称左右儿子为 \(ls'(u),rs'(u)\)，并且维护了一些信息。
对于一个线段树，设位置 \(x\) 的影响路径为，从根一路找，找到单点 \(x\)，经过的路径（包括根 \([1,n]\) 和 \([x,x]\)）
例如 \(n=5\) 时，\(x=2\) 的影响路径为 \([1,5],[1,3],[1,2],[2,2]\) 对应的点。
正片
有这样一个二维数点问题：加入一个点，询问矩形里点的信息（个数/和/max）。很明显可以树套树做。
这样的问题，如果要支持历史版本的询问，如何做？
即，我们要询问：如果只插入了前 \(i\) 个点，矩形信息。
考虑可持久化。相当于每个版本都有一个树套树。那首先我们肯定要把外层可持久化。
设 \(rt(i)\) 表示第 \(i\) 个版本的外层树的根。考虑 \(i-1\) 版本到 \(i\) 版本的变化，很明显是多了一个点 \((x,y)\)。
根据树套树，我们需要在外层的树上找到 \(x\) 位置的影响路径。对于影响路径上的所有点，它们套的内层树 \(T\) 都要在 \(y\) 位置做插入。
现在我们要可持久化这个过程。类似主席树，用 path copy 的思想：在外层树上把 \(x\) 的影响路径给copy一份。对于路径上的每个点，要修改的那个儿子就递归做，不要修改的那个儿子直接继承原树。
考虑复制的时候怎么快速维护。设它影响路径上有个点 \(u\)，我们把它复制到 \(u'\)。那么 \(T(u')\) 就是 \(T(u)\) 加上一个 \(y\) 位置的插入。
只有这个内层树操作是不好做的，剩下的操作都比较simple。考虑一下，我们相当于要支持：
- 有若干颗树
- 每次给 \(i,j,x\)，令 \(j\) 这颗树为 \(i\) 这颗树插入一个 \(x\) 位置
- 要求维护每棵树的信息
注意到这玩意也可以用可持久化做，把 \(i,j\) 看成版本就行了。
那我们内层也要维护一个可持久化树，来支持这个操作。
例题： bzoj3489
转换一下问题，设 \(pre,suf\) 表示前一个/后一个和当前相同的位置。问题变为：
有若干点 \((i,pre_i,suf_i)\)，每次给 \(l,r\)，求满足：\(i\in[l,r],pre_i<l,suf_i>r\) 的点中，最大的 \(a_i\)。
注意到 \(pre\) 这一维是一个 \(<\)，把它看成是版本，维护一个可持久化树套树。树套树里面维护 \((i,suf_i)\) 两维
然后就搞一个可持久化的树套树求矩形max就行了。
时空复杂度均为 \(O(n\log^2 n)\)。
标签：pre,持久,树套,路径,化树套,笔记,内层,版本 来源： https://www.cnblogs.com/LightningUZ/p/15239624.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。