#P13307. [2025年队测]潮涌之章

    ID: 12491 传统题 1000ms 256MiB 尝试: 1 已通过: 1 难度: 6 上传者: 标签>CF2100组合数学枚举DFS图论动态规划

[2025年队测]潮涌之章

题目描述

枫丹境内有 nn 座城市,这 nn 座城市之间由 n1n-1 条双向道路连接,使得任意两座城市之间都能互相到达。枫丹人民共使用 kk 种能源,其中第 ii 座城市中的居民一共使用 lil_i 种能源,分别为 ai,1,ai,2,,ai,lia_{i,1},a_{i,2},\cdots,a_{i,l_i}

现在最高审判官想将所有 nn 座城市划分为若干个经济区,其中第 ii 个经济区由一些城市 ci,1,ci,2,c_{i,1},c_{i,2},\cdots 组成。为了克服能源不同而产生的障碍,每个经济区会花费一定的摩拉来建立能源转化装置。对第 ii 个经济区,其中的能源转化装置需要支持转化所有经济区中城市的能源,同时由于货运只能通过这 n1n-1 条道路进行,该能源转化装置也需要支持转化所有处于经济区中某两个城市 ci,p,ci,qc_{i,p},c_{i,q} 间的简单路径上的城市的能源。如果确定需要支持转化的能源共有 tt 种,则建立能源转化装置所需的摩拉为 wtw_{t}

在确定完经济区的划分之后,这种划分的代价定义为各经济区建立能源转化装置的摩拉数之和。现在请你求出所有本质不同的划分的代价之和。由于答案可能很大,你只需要输出答案对 109+710^9+7 取模之后的结果即可。

定义两种划分本质不同,当且仅当存在两个不同的城市 i,ji,j,满足 i,ji,j 在一种划分方式中处于同一个经济区内,而在另一种划分方式中不处于同一个经济区内。

输入格式

从文件 water.in 中读入数据。

第一行包含两个正整数 n,kn,k

第二行包含 kk 个正整数 w1kw_{1\cdots k}

接下来 nn 行,每行第一个正整数 lil_i,后面包含 lil_i 个两两不同的正整数 ai,1,ai,2,,ai,lia_{i,1},a_{i,2},\cdots ,a_{i,l_i},表示第 ii 座城市中居民使用的能源。

接下来 n1n-1 行,每行包含两个正整数 u,vu,v,表示一条双向道路的两个端点。

输出格式

输出到文件 water.out 中。

输出一行一个整数,表示答案。

样例1输入

3 3
1 2 4
1 1
1 2
1 3
1 2
2 3

样例1输出

18

样例1解释

共有以下 55 种划分方式,tit_i 表示每个经济区能源转化装置需要支持转化的能源种类数:

  • {1,2,3},t1=3\{1,2,3\},t_1=3:共需 w3=4w_3=4 的摩拉
  • {1,2},t1=2;{3},t2=1\{1,2\},t_1=2;\{3\},t_2=1:共需 w2+w1=3w_2+w_1=3 的摩拉
  • {1,3},t1=3;{2},t2=1\{1,3\},t_1=3;\{2\},t_2=1:共需 w3+w1=5w_3+w_1=5 的摩拉
  • {1},t1=1;{2,3},t2=2\{1\},t_1=1;\{2,3\},t_2=2:共需 w1+w2=3w_1+w_2=3 的摩拉
  • {1},t1=1;{2},t2=1;{3},t3=1\{1\},t_1=1;\{2\},t_2=1;\{3\},t_3=1:共需 w1+w1+w1=3w_1+w_1+w_1=3 的摩拉

总和为 4+3+5+3+3=184+3+5+3+3=18 摩拉。

样例2输入

7 5
12 34 56 78 90
1 2
2 1 2
2 2 3
3 1 3 4
1 4
2 1 5
2 3 5
1 2
1 3
2 4
2 5
3 6
3 7

样例2输出

183666

样例3

见题目目录下的 3.in3.ans

样例3解释

这个数据满足 Subtask 1 的限制。

样例4

见题目目录下的 4.in4.ans

样例4解释

这个数据满足 Subtask 3 的限制。

子任务

本题存在子任务捆绑

对所有数据,保证 $1\le n\le 5000,1\le l_i\le k\le 10,1\le a_{i,j}\le k,1\le u,v\le n,1\le w_i<10^9+7$。

Subtask编号性质分值
$1$保证 $1\le n\le 10$$20$
$2$保证 $k=1$$10$
$3$保证 $k\le 2$$30$
$4$无额外限制$40$