#P13759. [2019年备战北大冬令营]王队的Tree

    ID: 12961 传统题 1000ms 256MiB 尝试: 3 已通过: 1 难度: 9 上传者: 标签>CF2600计数DP组合数学树形DP生成函数动态规划树的重心

[2019年备战北大冬令营]王队的Tree

题目描述

非常喜欢树。

某一天,他通过网上的资料学习了匹配的相关知识,他顿时对匹配产生了浓厚的兴趣,现在他非常想知道点数为 nn、最大匹配数为 mm 的树有多少棵。

然而他是个喜新厌旧的人,他认为如果两棵树是同构的,那么就没必要统计两次。

现在他想知道,满足上述条件的树有多少棵呢?

答案对 109+710^9+7 取模。

同构定义

定义两棵树 V1,E1\langle V_1,E_1\rangleV2,E2\langle V_2,E_2\rangle 是同构的,当且仅当存在一个定义域和值域都为 {1,2,,n}\{1,2,\ldots,n\} 的双射 f(x)f(x),使得:

  • $\forall \langle x,y \rangle\in E_1,\ \langle f(x),f(y)\rangle \in E_2$
  • $\forall \langle x,y \rangle\in E_2,\ \langle f^{-1}(x),f^{-1}(y)\rangle \in E_1$

输入格式

一行两个数 n,mn,m,分别描述树的点数和最大匹配数。

输出格式

一行一个数表示答案。

Samples

7 3
6
6 2
3

Limitation

对于 20%20\% 的数据:满足 1n101\leq n\leq 10

对于 30%30\% 的数据:满足 1n201\leq n\leq 20

对于 50%50\% 的数据:满足 1n501\leq n\leq 50

对于 100%100\% 的数据:满足 $1\leq n\leq 70, 1\leq m\leq \lfloor{\frac{n}{2}}\rfloor$。