#P16704. 白乌鸦葡萄园

白乌鸦葡萄园

题目描述

白乌鸦葡萄园已经荒废了一年多,直到最近女爵的赐封才让它迎来新的主人。

你拥有了一座葡萄园,它的结构是一棵以节点 11 为根的树。

树上每个节点都有一张酒桌。第 ii 个节点的桌上摆放着 aia_i 瓶葡萄酒,并有 bib_i 个人在桌旁闲聊。

现在按照节点深度从大到小的顺序处理各个节点。处理节点 ii 时,当前位于节点 ii 的人可以选择散步到节点 ii 的任意一个祖先节点,也可以留在原地。

庄园的规模有限,因此需要满足以下限制:对于任意祖孙节点对 (i,j)(i,j),其中 jjii 的祖先,从节点 ii 移动到节点 jj 的人数不能超过 cc

记所有移动完成后,第 ii 个节点上的人数为 bib'_i

如果一个人能够喝到一瓶独属于自己的葡萄酒,他就会感到开心。因此,节点 ii 上最多有

min(ai,bi)\min(a_i,b'_i)

个人开心。

请合理安排所有人的移动,使开心人数总和

i=1nmin(ai,bi)\sum_{i=1}^{n}\min(a_i,b'_i)

最大,并输出这个最大值。

输入格式

第一行包含两个正整数 n,cn,c

第二行包含 nn 个非负整数 a1,a2,,ana_1,a_2,\ldots,a_n

第三行包含 nn 个非负整数 b1,b2,,bnb_1,b_2,\ldots,b_n

接下来 n1n-1 行,每行包含两个正整数 u,vu,v,表示树中存在一条连接节点 uu 与节点 vv 的无向边。

输出格式

输出一行一个整数,表示能够得到的最大开心人数。

样例

5 2
3 3 2 1 2
1 2 0 3 3
1 2
2 3
2 4
1 5
9

数据范围与约定

测试点编号 nn\le ai,bi,ca_i,b_i,c\le 特殊性质
131\sim 3 1010
484\sim 8 200200 10910^9
9109\sim 10 20002000 55
111211\sim 12 10910^9 树为菊花图
131413\sim 14 树为一条链
151715\sim 17 80008000
182018\sim 20

其中,“菊花图”表示除根节点外的所有节点都直接与根节点相连。