Codeforces 382E Ksenia and Combinatorics 【组合计数】*

Codeforces 382E Ksenia and Combinatorics


Ksenia has her winter exams. Today she is learning combinatorics. Here’s one of the problems she needs to learn to solve.

How many distinct trees are there consisting of n vertices, each with the following properties:

the tree is marked, that is, the vertices of the tree are numbered from 1 to n;
each vertex of the tree is connected with at most three other vertices, and at the same moment the vertex with number 1 is connected with at most two other vertices;
the size of the tree’s maximum matching equals k.
Two trees are considered distinct if there are such two vertices u and v, that in one tree they are connected by an edge and in the other tree they are not.

Help Ksenia solve the problem for the given n and k. As the answer to the problem can be very huge you should output it modulo 1000000007 (109 + 7).

Input

The first line contains two integers n, k (1 ≤ n, k ≤ 50).

Output

Print a single integer — the answer to the problem modulo 1000000007 (109 + 7).

Examples

input

1 1

output

0

input

2 1

output

1

input

3 1

output

3

input

4 2

output

12

Note

If you aren’t familiar with matchings, please, read the following link: http://en.wikipedia.org/wiki/Matching_(graph_theory).


简洁版题意:有n个节点的数,每个节点有不同的标号,求生成树匹配大小为k的方案数,其中除了根节点所有节点的度数不超过3,根节点1度数不超过2

考虑DP计数吧
dp[i][j][0/1]表示大小为i的子树,最大匹配是j,是否匹配当前节点的方案数
然后当i==n的时候和左右子树大小相同的情况需要特判掉

然后就是常规DP

#include<bits/stdc++.h>
using namespace std;
#define yyf 1000000007
#define N 60
#define LL long long
LL dp[N][N][2];
LL C[N][N];
void update(LL &a,LL b){a=(a+b)%yyf;}
int main(){
    LL n,k;scanf("%lld%lld",&n,&k);
    if(k*2>n){printf("0");return 0;}
    for(LL i=0;i<=n;i++)C[i][0]=1;
    for(LL i=1;i<=n;i++)
        for(LL j=1;j<=i;j++)C[i][j]=(C[i-1][j-1]+C[i-1][j])%yyf;
    dp[1][0][0]=dp[0][0][1]=1;
    for(LL siz=2;siz<=n;siz++)
        for(LL mac=1;mac<=k;mac++){
            //不匹配当前节点
            for(LL ls=0,rs=siz-1;ls<=rs;ls++,rs--){
                for(LL lm=0,rm=mac;lm<=mac;lm++,rm--){
                    if(lm*2>ls||rm*2>rs)continue;
                    LL tmp=(ls==rs?C[siz-2][ls-1]:C[siz-1][ls])*(siz==n?1:siz)%yyf;//特判掉左边大小等于右边
                    update(dp[siz][mac][0],dp[ls][lm][1]*dp[rs][rm][1]%yyf*tmp%yyf);
                }
            }
            //匹配当前节点
            for(LL ls=0,rs=siz-1;ls<=rs;ls++,rs--){
                for(LL lm=0,rm=mac-1;lm<mac;lm++,rm--){
                    if(lm*2>ls||rm*2>rs)continue;
                    LL tmp=(ls==rs?C[siz-2][ls-1]:C[siz-1][ls])*(siz==n?1:siz)%yyf;
                    update(dp[siz][mac][1],dp[ls][lm][1]*dp[rs][rm][0]%yyf*tmp%yyf);
                    update(dp[siz][mac][1],dp[ls][lm][0]*dp[rs][rm][1]%yyf*tmp%yyf);
                    update(dp[siz][mac][1],dp[ls][lm][0]*dp[rs][rm][0]%yyf*tmp%yyf);
                }
            }
        }
    printf("%lld",(dp[n][k][0]+dp[n][k][1])%yyf);
    return 0;
}
posted @ 2018-07-12 23:33  Dream_maker_yk  阅读(205)  评论(0编辑  收藏  举报