该博客详细分析了LCT（Lightweight Concurrency Tools）数据结构中的access、makeroot、link和cut四种操作的复杂度。通过重链剖分、权值w(x)和s(x)的定义以及势函数Φ的组成部分，博主阐述了如何在均摊意义上达到O(logn)的时间复杂度。通过对不同操作中重虚边和轻虚边变化的讨论，证明了每个操作的效率。
LCT复杂度分析
首先对维护的树进行重链剖分。
定义节点 x x x 的权值 w ( x ) w(x) w(x) 为其下方挂的虚儿子的子树大小和加 1 1 1 。定义权值 s ( x ) s(x) s(x) 为 x x x 在所属 s p l a y splay splay 中对应子树的 w w w 和。取势函数 Φ = Φ 1 + Φ 2 \Phi=\Phi_1+\Phi_2 Φ=Φ1+Φ2 ，其中 Φ 1 \Phi_1 Φ1 为 “重虚边” 的个数， Φ 2 = ∑ u ∈ T log s ( u ) \Phi_2=\sum_{u\in T}\log s(u) Φ2=∑u∈Tlogs(u) 。
考虑 a c c e s
最低0.47元/天 解锁文章
扫一扫
6504
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
