这个东西是可以二分，下面讲为什么能变大，顺便抽象出来
令分支系数为\(mid\)，令深度为\(i\)的点个数为\(d_i\)，令所需大小之和为\(s\)：
边界条件是链，从链往答案里面推
假设满足前三条，令最深深度为\(j\)，最小的\(i\)，满足\(d_i<d_{i-1}\times mid\)，则令\(d_i++,d_j--\)，\(\sum d_i\time i-=j-i\)
你会发现这就是不断堆满一个\(mid\)叉树
讲到这里差不多了...之后应该都会做了吧
原文：https://www.cnblogs.com/Grice/p/12902186.html