设 fi,jf_{i,j}fi,j 表示深度为 i 的子树选 j 个的方案数
然后枚举其中大的一边做 k 次操作,另一边我觉得是可以随便选 j-k 次操作,fi,j=∑k>j−kfi−1,k×(2i−1−1)j−kf_{i,j}=\sum_{k>j-k} f_{i-1,k}\times (2^{i-1}-1)^{j-k}fi,j=∑k>j−kfi−1,k×(2i−1−1)j−k,再前缀和维护一下根节点上操作的情况
我没想通为什么不能直接随便选 j-k 次操作,有没有大神解释