[U53204] 树上背包的优化

题目链接
本文旨在介绍树上背包的优化。
可见例题，例题中$N,M\in [1,100000]$的数据量让$O(n{m}^2)$的朴素树上背包T到飞起，我们需要考虑优化。
个人会将各种优化讲到极限（当然是本蒟蒻的极限）。
根据一番学习，我也认为上下界优化最简单易理解……
上下界优化这位神犇的博客相当不错了：戳我%他
我也口胡两句吧。
普通做法：

for (j=m+1;j>=1;--j)//枚举背包容量
	for (k=1;k<j;++k)//枚举在子树中选择多少
		f[u][j]=max(f[u][j],f[u][k]+f[v][j-k]);

那么size优化非常简单好想：

for (j=min(m+1,size[u]);j>=1;--j)//枚举背包容量
	for (k=1;k<j&&k<=size[v];++k)//枚举在子树中选择多少
		f[u][j]=max(f[u][j],f[u][k]+f[v][j-k]);

道理也很简单，选完就那么多，肯定不能枚举到超过的。
于是能AC这道题，用时$17s$。
但再想想，我们选择的$k$的下界其实也是会被约束的。
因为选到$j$的总容量的时候，假定前面的全部取完，$k$都必须要到达一个值才能满足条件。
例子：
$size[u]=size[son1]+size[son2]+size[son3]$
我们枚举时，比如$j=size[son1]+size[son2]+a$的情况，
我们至少要在 s o n 3 son3