@[王熙文](/user/353688) 应该是对的。只要保证每个元素最多被合并 $\mathcal O(\log n)$ 次就没问题吧。
一个带插入的启发式合并的例子：https://atcoder.jp/contests/abc279/tasks/abc279_f
by Dr_Gilbert @ 2023-01-31 07:35:15
道理应该和 CF438D 差不多，不过这题不是启发式合并是势能分析（应该
by StarLbright40 @ 2023-01-31 07:49:10
Orz
by E1_de5truct0r @ 2023-01-31 07:49:40