势能分析

这是原论文中证明的简化版本，但不失其正确性。 记 $\newcommand\mx{\text{mx}}\mx_x$ 为 $x$ 子树中最大值，$\newcommand\smx{\text{smx}}\...