#P3576. [POI2014] MRO-Ant colony

    ID: 2632 Type: RemoteJudge 1000ms 125MiB Tried: 0 Accepted: 0 Difficulty: 6 Uploaded By: Tags>动态规划,dp2014二分POI树形 dp

[POI2014] MRO-Ant colony

题目背景

English Edition

题目描述

正在寻找食物的蚂蚁们来到了一座山。

这座山有 nn 个洞穴,并有 n1n-1 条道路连接这些洞穴。也就是说,所有的洞穴和道路组成了一个树形结构。

对于每个只有一条道路连接的洞穴,都有一个出入口使得该洞穴与外界相连。

每个出入口处,都有 gg 群蚂蚁,第 ii 群蚂蚁的大小为 mim_i

蚂蚁群会一个接一个地进入山中,当且仅当山中没有蚂蚁,下一群蚂蚁才会进入。

进入山后,蚂蚁们会按如下方式行动:

  • 如果蚂蚁们进入了一个洞穴,该洞穴有 dd 条道路与之相连(不包括它们进入该洞穴经过的道路),则蚂蚁们会分为大小相等的 dd 个蚁群,每个蚁群各选择一条道路,使得一个道路恰好有一条蚁群经过,特别地,如果 d=0d=0(即蚁群到达了出口),蚂蚁们会从该出口离开山。
  • 根据上文,假如这个蚁群有 xx 只蚂蚁,则每个蚁群会有 xd\left \lfloor \dfrac{x}{d} \right \rfloor 只蚂蚁,多余的蚂蚁将会消失(至于怎么消失,这并不重要 :))。

下面这张图就是一个例子:大小为 mm 的蚁群到达了一个洞穴,该洞穴有 33 条道路(除了它们进入该洞穴时经过的道路),则该蚁群分割成了三个大小为 m3\left \lfloor \dfrac{m}{3} \right \rfloor 的蚁群。

在其中一条道路上,有一只食蚁兽,当经过该道路的蚁群大小恰好为 kk 时,它会把这个蚁群的蚂蚁全部吃掉。

现在请你求出食蚁兽一共吃掉多少只蚂蚁。

输入格式

第一行三个整数 n,g,kn, g, k

之后一行 gg 个整数,分别为 m1,m2,,mgm_1, m_2,\dots, m_g

之后 n1n-1 行,每行两个整数 a,ba, b,表示在 a,ba, b 之间有一条边。

输入的第一条边是食蚁兽所在的边。

输出格式

输出一行一个整数, 表示所有被吃掉的蚁群的大小之和。

7 5 3
3 4 1 9 11
1 2
1 4
4 3
4 5
4 6
6 7

21

提示

对于 100%100\% 的数据,2n,g1062\le n,g\le10^61k,mi1091\le k,m_i\le10^91ai,bin1\le a_i,b_i\le n