在网上看到了 $\log n$ 的合并方法，这里看到的

请问哪位大佬可以证明一下正确性以及假若操作带分裂的错误性？