有没有大佬证明 tarjan 求 lca 的并查集复杂度为什么是均摊 $O(1)$ oiwiki 上说的。