Tag Info

Let me solve the case where you got stuck. Suppose $T_i$ with $\ell_i$ and $T_j$ with $\ell_j$ is merged into tree $T$, where $\ell_i$ = $\ell_j$. WLOG, suppose we make the root of $T_i$ point to the ...