#P6748. 『MdOI R3』Fallen Lord

『MdOI R3』Fallen Lord

题目背景

统治着世界,统治着寂寞。

题目描述

L 国有 nn 个城市,它们之间有 n1n-1 条道路,形成了一棵树的结构。

国王 L 派遣了一些军队来驻守这些道路,驻守每一条道路的军队战斗力都可以被量化为 [1,m][1,m] 中的整数。

每个城市都有一个城主,第 ii 个城主有一个忍耐度 aia_i。如果国王 L 在与第 ii 个城市相连的所有道路上驻守的军队战斗力的中位数超过了城主的忍耐度,那么城主就会认为国王不信任他而产生谋反的心理。

国王 L 当然不希望有人造反,但他又想使驻守道路的军队的总战斗力最大来保证国防安全。现在他找到了 L 国最强的 OIer —— 您,去来帮助他解决这个问题。

如果无论如何安排军队都会有人想要造反,那么输出 -1

注:对于任意 kk 个数,它们的中位数是将这些数从小到大排序后第 k2+1\left\lfloor\dfrac{k}{2}\right\rfloor+1 个数。

输入格式

第一行两个正整数,表示 n,mn,m

第二行 nn 个整数,第 ii 个数表示 aia_i

接下来 n1n-1 行,每行两个数 ui,viu_i,v_i,表示一条直接连接城市 uiu_i 与城市 viv_i 的道路。

输入数据保证构成一棵树

输出格式

一行一个整数,表示最大的总战斗力。

7 100
50 25 25 12 12 12 12
1 2
1 3
2 4
2 5
3 6
3 7
148

提示

更多样例请到这里领取。

对于所有数据,1ui,vin5×1051\le u_i,v_i \le n\le 5\times 10^5n2n\ge 21aim1091\le a_i\le m\le 10^9

子任务编号 nn\leq mm\leq 其他性质 分值
1 88 55
2 11 11
3 树的形态为一条链 1010
4 存在度数为 n1n-1 的节点 1212
5 10510^5 每个节点度数 6\le 6 1717
6 5×1035\times 10^3 2020
7 3535

其中,留空的表示和 100%100\% 的数据范围限制相同。

样例解释

如图驻守 n1=6n-1=6 条道路的军队战斗力(按照输入中的顺序)依次为 50,50,12,12,12,1250,50,12,12,12,12