把他看成一棵樹，dp[i][j][k]是對於j點用不用優惠券（i）已選k個的最小花費。。。很明顯對子樹做一個分組揹包即可。然而乍一看分組揹包的複雜度不是n（n個點）*n*n（dp複雜度）是n^3次方嗎？
這裏有2種dp方式1.dfs過程中處理u時初始siz[u]=1，搞完u的一棵子樹v，花O(siz[u]*siz[v])dp，然後在siz[u]+=siz[v]，繼續其他子樹 2.先siz[u]+=siz[v]，然後再花O(siz[u]*siz[v])dp。
第一種是O（n^2）的，因爲這就相當於求了一次任意兩點的lca，
第二種在樹是一條鏈的時候，是n^3的
#include<iostream>
#include<cstdio>
#include<math.h>
#include<algorithm>
#include<map>
#include<set>
#include<bitset>
#include<unordered_map>
#include<stack>
#include<queue>
#include<string.h>
#include<cstring>
#include<vector>
#include<time.h>
#include<stdlib.h>
using namespace std;
#define INF 0x3f3f3f3f
#define INFLL 0x3f3f3f3f3f3f3f3f
#define FIN freopen("input.txt","r",stdin)
#define mem(x,y) memset(x,y,sizeof(x))
typedef unsigned long long ULL;
typedef long long LL;
#define fuck(x) cout<<"q"<<endl;
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
typedef pair<pair<int,int>,int> PIII;
typedef pair<int,int> PII;
const double eps=1e-8;
const int P=1e9+7;
const int MX=5000+5;//最大範圍
int n,b,dp[2][MX][MX];
int c[MX],d[MX];
struct Edge
{
int nxt,to;
} E[MX];
int head[MX],edge_cnt;
void edge_init()
{
mem(head,-1);
edge_cnt=0;
}
void edge_add(int u,int v)
{
E[edge_cnt].nxt=head[u];
E[edge_cnt].to=v;
head[u]=edge_cnt++;
}
int sz[MX];
void dfs(int u)
{
sz[u]=1;
dp[0][u][0]=0;
dp[0][u][1]=c[u];
dp[1][u][1]=c[u]-d[u];
for(int i=head[u]; ~i; i=E[i].nxt)
{
int v=E[i].to;
dfs(v);
for(int j=sz[u]; j>=0; j--)
{
for(int k=1; k<=sz[v]; k++)
{
dp[0][u][j+k]=min(dp[0][u][j+k],dp[0][u][j]+dp[0][v][k]);
dp[1][u][j+k]=min(dp[1][u][j+k],dp[1][u][j]+dp[0][v][k]);
dp[1][u][j+k]=min(dp[1][u][j+k],dp[1][u][j]+dp[1][v][k]);
}
}
sz[u]+=sz[v];
}
}
int main()
{
FIN;
while(cin>>n>>b)
{
mem(dp,0x3f);
edge_init();
for(int i=1; i<=n; i++)
{
int x;
scanf("%d%d",&c[i],&d[i]);
if(i!=1)
{
scanf("%d",&x);
edge_add(x,i);
}
}
dfs(1);
int ans=0;
for(int i=n; i>=0; i--)
if(dp[1][1][i]<=b||dp[0][1][i]<=b)
{
ans=i;
break;
}
cout<<ans<<endl;
}
return 0;
}