模拟赛题，不知道为什么放在最后一题，感觉评分过高了。首先是经典问题，最大值是\(\sum\min(siz,n-siz)\)，证明考虑每条边上界。考虑证明的构造，对于重心的每个儿子拉出子树，求出子树大小即可转为序列上问题：每个点不跟内部匹配即可满足最大，容易证明充要。朴素dp发现怎么也避不开两