据说在某些情况下（好像是两边有重合？）FHQ-Treap可以做到均摊单log启发式合并？

顺便问一下，Splay的单log启发式合并其他平衡树可否同样做到......好像因为依赖伸展性质并不能？要不是Splay楼主这个蒟蒻写六十多次写不出来就不会问了