在倍增求 LCA 时，我们会使用数组 f[i][j] 表示 $i$ 节点第 $2^j$ 个父节点。然而，如果 $2^j>deep_i$，不存在这样一个节点。这里细节就会好多，之前我很难弄清。

有一次发现，我们可以将 $f[root][0]$ 设为 $root$，这样就可以放心的写成 for(int i=20;i>=0;i--)，因为无论多么向上，都会找到 $root$，而 $root$ 一定是所有节点的公共祖先。