隐形斗篷
题解
因为我们现在要求的不同的树的定义是点集不同或连边方式不同,也就是无根树的形态不同,所以我们很快就想到了构造prufer序列。
由于prufer序列与树的形态是意义对应的,所以我们要求的就是合法的prufer序列数量。
对于点
i
i
i的度数不超过
a
i
a_{i}
ai的条件我们可以用在prufer序列中的出现次数不超过
a
i
−
1
a_i-1
ai−1次来维护。
当然,如果我们直接暴力枚举prufer序列是明显不行的。
设我们在prufer序列中出现了
k
k
k个点,每个点的出现次数为
b
i
b_{i}
bi,树的大小为
x
x
x,那么这样的prufer序列个数为
x
!
∏
i
=
1
k
b
i
!
\frac{x!}{\prod_{i=1}^{k}b_{i}!}
∏i=1kbi!x!,其能够构成的树的个数为
(
n
−
k
x
−
k
)
x
!
∏
i
=
1
k
b
i
!
\binom{n-k}{x-k}\frac{x!}{\prod_{i=1}^{k}b_{i}!}
(x−kn−k)∏i=1kbi!x!,需要乘上除这些点以外其它点的选择情况。
由于prufer序列本身的构成状况是从小到大选的,所以没必要去考虑选出来的点的顺序。
我们很快的发现如果这样写的话,我们是可以通过dp求出prufer序列的个数的。
记
f
i
,
j
,
k
f_{i,j,k}
fi,j,k表示前
i
i
i个点中prufer序列的点集中出现了
j
j
j个,且这些点在序列中的总出现次数为
k
k
k的序列个数,顺便将表示这些点相对顺序的
1
b
i
!
\frac{1}{b_i!}
bi!1也可以加进去。
这样,我们就很快得到了状态转移方程式,
f
i
,
j
,
k
=
f
i
−
1
,
j
,
k
+
∑
x
=
1
a
i
−
1
f
i
−
1
,
j
−
1
,
k
−
x
x
!
f_{i,j,k}=f_{i-1,j,k}+\sum_{x=1}^{a_{i}-1}\frac{f_{i-1,j-1,k-x}}{x!}
fi,j,k=fi−1,j,k+x=1∑ai−1x!fi−1,j−1,k−x
这不就是指数生成函数吗?
将最后一位变成多项式
x
k
x^k
xk次方的系数,有
f
i
,
j
=
f
i
−
1
,
j
+
f
i
−
1
,
j
−
1
×
(
∑
k
=
1
a
i
−
1
x
k
k
!
)
f_{i,j}=f_{i-1,j}+f_{i-1,j-1}\times (\sum_{k=1}^{a_{i}-1}\frac{x^k}{k!})
fi,j=fi−1,j+fi−1,j−1×(∑k=1ai−1k!xk)
我们需要的只是前面
n
n
n个,
x
n
x^n
xn后的可以省去。
最后答案为
(
x
−
2
)
!
∑
i
=
1
x
−
2
(
n
−
i
x
−
i
)
f
n
,
i
,
x
−
2
(x-2)!\sum_{i=1}^{x-2}\binom{n-i}{x-i}f_{n,i,x-2}
(x−2)!∑i=1x−2(x−in−i)fn,i,x−2
将
f
f
f全部求出来就可以了。
这样,我们就成功将时间复杂度优化到了
O
(
T
n
3
l
o
g
n
)
O\left(Tn^3log\,n\right)
O(Tn3logn)
但我们很快就发现一个惊人的问题
m
o
d
=
1
e
9
+
7
mod=1e9+7
mod=1e9+7!
莫非我们要打多模数NTT?其实可以暴力转移的。
时间复杂度
O
(
n
4
)
O\left (n^4\right )
O(n4)也不会T。
源码
#include<cstdio>
#include<cmath>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<vector>
#include<queue>
#include<set>
#include<map>
#include<time.h>
using namespace std;
#define MAXN 100005
#define lowbit(x) (x&-x)
#define reg register
typedef long long LL;
typedef unsigned long long uLL;
typedef unsigned int uint;
typedef pair<int,int> pii;
const int INF=0x7f7f7f7f;
const int mo=1e9+7;
const double PI=acos(-1.0);
template<typename _T>
_T Fabs(_T x){return x<0?-x:x;}
template<typename _T>
void read(_T &x){
_T f=1;x=0;char s=getchar();
while(s>'9'||s<'0'){if(s=='-')f=-1;s=getchar();}
while('0'<=s&&s<='9'){x=(x<<3)+(x<<1)+(s^48);s=getchar();}
x*=f;
}
int add(int x,int y){return x+y<mo?x+y:x+y-mo;}
int qkpow(int a,int s){int t=1;while(s){if(s&1)t=1ll*a*t%mo;a=1ll*a*a%mo;s>>=1;}return t;}
int T,n;
struct ming{
int a[55];ming(){memset(a,0,sizeof(a));}void clear(){memset(a,0,sizeof(a));}
ming friend operator + (ming A,ming B){ming C;for(int i=0;i<=n;i++)C.a[i]=add(A.a[i],B.a[i]);return C;}
ming friend operator * (ming A,ming B){ming C;for(int i=0;i<=n;i++)for(int j=0;j<=i;j++)C.a[i]=add(C.a[i],1ll*A.a[j]*B.a[i-j]%mo);return C;}
}dp[55][55],F[55];
int a[55],fac[55],inv[55],f[55];
int C(int x,int y){if(x<0||y<0||x<y)return 0;return 1ll*fac[x]*inv[y]%mo*inv[x-y]%mo;}
void init(){
fac[0]=fac[1]=inv[0]=inv[1]=f[1]=F[1].a[1]=1;
for(int i=2;i<=50;i++){
fac[i]=1ll*i*fac[i-1]%mo;f[i]=1ll*(mo-mo/i)*f[mo%i]%mo;
inv[i]=1ll*f[i]*inv[i-1]%mo;F[i]=F[i-1];F[i].a[i]=inv[i];
}
}
signed main(){
freopen("c.in","r",stdin);
freopen("c.out","w",stdout);
read(T);init();
while(T--){
read(n);for(int i=1;i<=n;i++)read(a[i]);
for(int i=0;i<=n;i++)for(int j=0;j<=i;j++)dp[i][j].clear();dp[0][0].a[0]=1;
for(int i=1;i<=n;i++)for(int j=0;j<=i;j++)dp[i][j]=dp[i-1][j-1]*F[a[i]-1]+dp[i-1][j];
printf("%d %d ",n,C(n,2));
for(int i=3;i<=n;i++){
int tmp=0;
for(int j=1;j<i-1;j++)
tmp=add(1ll*C(n-j,i-j)*dp[n][j].a[i-2]%mo,tmp);
printf("%d ",1ll*fac[i-2]*tmp%mo);
}
puts("");
}
return 0;
}