bzoj 2809: [Apio2012]dispatching

题意：

给一棵树，每个点有权值和能力值，问max（若干权值和不超过m的点的数量*它们某个公共祖先的能力值）

题解：

考虑选选择一个点x做管理员，那么显然从它的子树中从小到大选尽量多的点。
换句话说，当已选点权值和超过m时，从大到小删点。
那么左偏树维护最大值，合并子树即可。
code：

#include<cstdio>
#include<cstdlib>
#include<iostream>
#include<cstring>
#define LL long long
using namespace std;
struct node{
    int y,next;
}a[200010];int len=0,last[100010];
struct trnode{
    int lc,rc,d,c,fa;
}tr[100010];
int findfa(int x) {return tr[x].fa==x?x:tr[x].fa=findfa(tr[x].fa);}
int merge(int x,int y)
{
    if(!x) return y;
    if(!y) return x;
    if(tr[x].c<tr[y].c) swap(x,y);
    tr[x].rc=merge(tr[x].rc,y);tr[tr[x].rc].fa=x;
    if(tr[tr[x].rc].d>tr[tr[x].lc].d) swap(tr[x].lc,tr[x].rc);
    tr[x].d=tr[tr[x].rc].d+1;
    return x;
}
void ins(int x,int y)
{
    a[++len].y=y;
    a[len].next=last[x];last[x]=len;
}
void pop(int x)
{
    int lc=tr[x].lc,rc=tr[x].rc,t=merge(lc,rc);
    tr[x].fa=tr[t].fa=t;
}
int n,m,L[100010];
int num[100010];
LL ans=0,tot[100010];
void solve(int X,int x,int y)
{
    merge(x,y);
    while(tot[X]>m)
    {
        int fa=findfa(x);
        tot[X]-=tr[fa].c;num[X]--;
        pop(fa);
    }
}
void dfs(int x)
{
    num[x]=1;tot[x]=tr[x].c;
    for(int i=last[x];i;i=a[i].next)
    {
        int y=a[i].y;
        dfs(y);tot[x]+=tot[y];num[x]+=num[y];
        solve(x,findfa(x),findfa(y));
    }
    ans=max(ans,(LL)num[x]*(LL)L[x]);
}
int main()
{
    scanf("%d %d",&n,&m);
    for(int i=1;i<=n;i++)
    {
        int fa;scanf("%d %d %d",&fa,&tr[i].c,&L[i]);
        if(fa!=0) ins(fa,i);tr[i].fa=i;
    }
    dfs(1);
    printf("%lld\n",ans);
}