cf1281 F. Miss Punyverse

Link

Link

Solution

这种以$pair$为状态的$dp$还是第一次见到

$f[i][j]$表示以$i$为的子树，划分成$j$个连通块时，最大的二元组。二元组$(a,b)$的意义是当前已经有$a$个连通块是有收益的(不包含最后一个)，最后一个连通块的和为$b$

然后树形$dp$即可

时间复杂度的计算：

每个节点上的复杂度为

O ( s i z e s o n 1 + ( 1 + s i z e s o n 1 ) s i z e s o n 2 + ( 1 + s i z e s o n 1 + s i z e s o n 2 ) s i z e s o n 3 + …   ) = O ( s i z e u 2 − ∑ s i z e s o n i 2 ) O(size_{son1} + (1+size_{son1})size_{son2} + (1+size_{son1}+size_{son2})size_{son3} + \dots)\\ = O(size_u^2 - \sum size_{soni}^2)