#P12967. [CCO 2025] Tree Decorations

[CCO 2025] Tree Decorations

Description

Mateo 最近为他的圣诞树找到了完美的装饰品——更多的树!

具体来说,他的圣诞树是一棵初始有 MM 个节点、全部涂成绿色的有根树 TT。他还有另一棵用作装饰参考的有根树 DDMateo 通过以下步骤完成所有装饰:

  • 对于 DD 中的每个节点 ii,他创建一份以 ii 为根的子树副本,记为 CiC_i。然后,他将 CiC_i 的所有节点涂成红色。最后,他选择 TT 中的某个绿色节点作为 CiC_i 根节点的父节点,并通过一条边将它们连接起来。

完成所有装饰后,TT 最终包含 NN 个节点。不幸的是,他忘记记录 DD 的具体形态了!更糟的是,他不小心将水洒在 TT 上,导致所有节点的颜色都被洗掉了。之后,他将 TT 的根节点标记为 1,其余节点依次标记为 2 到 NN

目前他唯一掌握的信息是 TT 的最终形态以及 MM 的值。请帮助他计算可能的初始树 DD 的数量(若两棵树结构不同,则视为不同的可能性)。

若两棵有根树 AABB 满足以下条件,则称它们是结构相同的:

  • 节点数 SS 相同;
  • 存在一种对 AABB 的节点分别从 1 到 SS 的标号方式,使得:
    • 它们的根节点标号相同;
    • AA 中标号为 xxyy 的节点之间有边当且仅当 BB 中标号为 xxyy 的节点之间有边。

否则,AABB 被视为结构不同

Input Format

第一行输入包含两个以空格分隔的整数 NNMM

接下来的 N1N - 1 行,每行包含两个以空格分隔的整数 uiu_iviv_i1ui,viN1 \leq u_i, v_i \leq Nuiviu_i \neq v_i),表示 TT 中连接节点 uiu_iviv_i 的一条边。

Output Format

输出可能的初始树 DD 的数量(结构不同的树视为不同情况)。

8 3
1 2
1 3
1 4
2 5
2 6
3 7
3 8
1
14 5
1 2
1 3
3 4
3 5
1 6
6 7
7 8
7 9
2 10
10 11
10 12
10 13
10 14
2

Hint

样例 1 解释

可以证明,唯一可能的 DD 如下图所示:

通过以下方式可以得到 TT

上图中,红色部分为添加的装饰,绿色填充部分表示 TT 的初始状态,虚线表示连接装饰品的边。

样例 2 解释

第一种可能的 DD

通过以下方式可以得到 TT

第二种可能的 DD

通过以下方式可以得到 TT

以下表格展示了 25 分的分布情况:

分值 NN 的范围 MM 的范围
2 分 2N102 \leq N \leq 10 M=1M = 1
3 分 2N2002 \leq N \leq 200
2 分 2N5000002 \leq N \leq 500000
6 分 2N2002 \leq N \leq 200 1M<N1 \leq M < N
4 分 2N20002 \leq N \leq 2000
8 分 2N5000002 \leq N \leq 500000

翻译由 DeepSeek V3 完成