【HAOI2015】 T1

为什么感觉越来越迷了X. X

原题：

有一棵点数为 N 的树，树边有边权。给你一个在 0~N 之内的正整数 K，你要在这棵树中选择 K 个点，将其染成黑色，并将其他的N-K 个点染成白色。将所有点染色后，你会获得黑点两两之间的距离加上白点两两之间的距离的和的受益。问受益最大值是多少。

n<=2000

一眼树形DP，然而状态似乎不太好转移啊

我最开始是f[i][j]表示第i个点为根的子树中j个黑点到i的距离和，然后发现还有白点的距离和要计算，再开一个数组又可能出现两种方案不一样的情况

思考无果，只能膜拜别人的题解，最后看到萌帝的

正解是f[i][j]表示第i个点为根的子树中有j个黑点的最优答案，转移的时候因为不论是白点还是黑点想要和这个子树外的白点/黑点连接一定会经过i和某子节点之间的边，所以"(外面黑点个数*里面黑点个数+外面白点个数*里面白点个数)*这条边的权值"就是对答案的贡献

然后枚举子树中有k个黑点，子树选k个黑点的最优答案+这条边对答案的贡献就是以i为根的子树中的最优答案，酱紫就可以往上转移了

还有一个问题就是f不能在一开始就初始化成0，而是要初始化成-oo并在每次dfs开始的时候f[x][0]=f[x][1]=0，因为这是一个类似背包的东西，而且必须保证这个包装满

感觉好迷啊，关于这题的具体思路和上面提到的背包的问题如何往更广泛的应用去扩展感觉很困难啊

还要再多想/看

（也许是我状态不好X. X

代码：

 #include<iostream>
 #include<cstdio>
 #include<algorithm>
 #include<cstring>
 #include<cmath>
 using namespace std;
 #define ll long long
 ll rd(){ll z=,mk=;  char ch=getchar();
     while(ch<''||ch>''){if(ch=='-')mk=-;  ch=getchar();}
     while(ch>=''&&ch<=''){z=(z<<)+(z<<)+ch-'';  ch=getchar();}
     return z*mk;
 }
 struct ddd{int nxt,y;  ll v;}e[];  int lk[],ltp=;
 inline void ist(int x,int y,ll z){  e[++ltp].nxt=lk[x],lk[x]=ltp,e[ltp].y=y,e[ltp].v=z;}
 int n,m;
 ll f[][],sz[];
 void dfs(int x,int y){
     sz[x]=,f[x][]=f[x][]=;
     ll bwl=;
     for(int i=lk[x];i;i=e[i].nxt)if(e[i].y!=y){
         dfs(e[i].y,x);
         sz[x]+=sz[e[i].y];
         for(int j=sz[x];j>=;--j)
             for(int k=;k<=sz[e[i].y] && k<=j;++k){
                  bwl=(ll)k*(m-k)+(ll)(sz[e[i].y]-k)*(n-m-sz[e[i].y]+k);
                  bwl=bwl*e[i].v+f[e[i].y][k];
                  f[x][j]=max(f[x][j],f[x][j-k]+bwl);
             }
     }
 }
 int main(){//freopen("ddd.in","r",stdin);
     memset(f,-,sizeof(f));
     cin>>n>>m;
     ll l,r,v;
     for(int i=;i<n;++i){
         l=rd(),r=rd(),v=rd();
         ist(l,r,v),ist(r,l,v);
     }
     dfs(,);
     cout<<f[][m]<<endl;
     return ;
 }