CLJ的《可持久化数据结构研究》讲的按随机概率合并可持久化treap

就是讲超级编辑器的那个按随机概率合并的做法，后来有人证出期望复杂度吗？
我yy出一个看起来挺靠谱的做法……就是在复制一段的时候先随机出个值x，然后给提取的那一段打上标记，表示把这一段的所有随机优先级都加上x……这样靠不靠谱？