自动搬运

查看原文

来自洛谷，原作者为

	Kelin 这个家伙太菜，没什么可以留下的

搬运于2025-08-24 22:00:11，当前版本为作者最后更新于2018-04-15 17:42:24，作者可能在搬运后再次修改，您可在原文处查看最新版

自动搬运只会搬运当前题目点赞数最高的题解，您可前往洛谷题解查看更多

以下是正文

---

题意

给你一颗二叉树$,$每个叶子节点$i$有三个属性$a_i,b_i,c_i$

每个非叶子节点都能标记往左右儿子的边中的一条边$($分别记为$L$边和$R$边$)$

设叶子节点$i$到根的路径上没有被标记的$L$边有$x$条$,R$边有$y$条

那么$i$的贡献就是

$$c_i(a_i+x)(b_i+y)$$

最小化所有点的贡献和

---

题解

那个式子是唬你的

直接考虑倒推

设$f[u][i][j]$表示从根到$u$有$i$条没标记的$L$边和$j$条没标记的$R$边

对于每个叶子节点枚举有多少没有被标记的$L$边和$R$边

$$f[u][i][j]=c_u(a_u+i)(b_u+j)$$

对于非叶子节点枚举删哪条边

$$f[u][i][j]=min\{f[lson][i+1][j]+f[rson][i][j],f[lson][i][j]+f[rson][i][j+1]\} $$$$Ans=f[1][0][0]$$

貌似这题还可以卡空间

#include<bits/stdc++.h>
#define fp(i,a,b) for(register int i=a,I=b+1;i<I;++i)
#define fd(i,a,b) for(register int i=a,I=b-1;i>I;--i)
#define go(u) for(register int i=fi[u],v=e[i].to;i;v=e[i=e[i].nx].to)
#define file(s) freopen(s".in","r",stdin),freopen(s".out","w",stdout)
template<class T>inline bool cmax(T&a,const T&b){return a<b?a=b,1:0;}
template<class T>inline bool cmin(T&a,const T&b){return a>b?a=b,1:0;}
using namespace std;
char ss[1<<17],*A=ss,*B=ss;
inline char gc(){return A==B&&(B=(A=ss)+fread(ss,1,1<<17,stdin),A==B)?-1:*A++;}
template<class T>inline void sd(T&x){
    char c;T y=1;while(c=gc(),(c<48||57<c)&&c!=-1)if(c==45)y=-1;x=c-48;
    while(c=gc(),47<c&&c<58)x=x*10+c-48;x*=y;
}
const int N=4e4+1;
typedef int arr[N];
typedef long long ll;
int n,m,Top,Tot;arr a,b,c,s,t,Num,S;ll f[82][41][41];
void dfs(int u,int x,int y){
    int p=Num[u]=Top?S[Top--]:++Tot;
    if(!s[u]){
        fp(i,0,x)fp(j,0,y)f[p][i][j]=(ll)c[u]*(a[u]+i)*(b[u]+j);
        return;
    }
    dfs(s[u],x+1,y),dfs(t[u],x,y+1);
    int ls=Num[s[u]],rs=Num[t[u]];
    fp(i,0,x)fp(j,0,y)
        f[p][i][j]=min(f[ls][i+1][j]+f[rs][i][j],f[ls][i][j]+f[rs][i][j+1]);
    S[++Top]=ls,S[++Top]=rs;
}
int main(){
    #ifndef ONLINE_JUDGE
        file("s");
    #endif
    sd(n);m=2*n-1;int u,v;
    fp(i,1,n-1)sd(u),sd(v),s[i]=u<0?n-1-u:u,t[i]=v<0?n-1-v:v;
    fp(i,n,m)sd(a[i]),sd(b[i]),sd(c[i]);
    dfs(1,0,0);
    printf("%lld\n",f[Num[1]][0][0]);
return 0;
}