题意
我们定义 f(S)(其中 S 是一个点集)为包含 S 中所有点的最小的连
通块的大小
然后现在的问题是,对于每一个 k(其中,1<=k<=n),你想知道每
个大小为 k 的点集 S 的 f(S)之和
答案可能很大,对 924844033 取模
题解
显然这样的连通块肯定会是树,所以点数就是边数+1,那么对于一个k的答案就是C(N,K)+所有方案中这个连通块边数的和
对于每一条边,它会把树分成一个大小为a的子树和一个大小为n-a的子树,那么这条边会对答案做贡献,是当这两个子树中都有点被选中。也即是说,有C(n,k)-C(a,k)-C(n-a,k)种。然后我们发现,其实对于每条边,都是加减C(x,k)的结构,所以答案其实就是∑i=knf(i)C(i,k)\sum_{i=k}^nf(i)C(i,k)i=k∑nf(i)C(i,k)其中,f(i)(i<n)是子树大小为i的个数的相反数,f(n)=n(有n-1条边,每个边加上一个C(n,k),再加上初始分析的时候我们加上的C(n,k))
对于每个K暴力计算,我们就可以得到一个O(n2)O(n^2)O(n2)算法了
现在的问题是怎么快速计算
我们注意到ansk=∑i=knf(i)C(i,k)=1k!∑i=knf(i)⋅i!⋅1(i−k)!ans_k=\sum_{i=k}^nf(i)C(i,k)=\frac{1}{k!}\sum_{i=k}^nf(i)·i!·\frac{1}{(i-k)!}ansk=i=k∑nf(i)C(i,k)=k!1i=k∑nf(i)⋅i!⋅(i−k)!1
也即是说,
ansk⋅k!=∑i+j=kf(i)⋅i!⋅1(−j)!ans_k·k!=\sum_{i+j=k}f(i)·i!·\frac{1}{(-j)!}ansk⋅k!=i+j=k∑f(i)⋅i!⋅(−j)!1
为了方便,结构可以再改造一下,
ansk⋅k!=∑i+j=k+nf(i)⋅i!⋅1(n−j)!ans_k·k!=\sum_{i+j=k+n}f(i)·i!·\frac{1}{(n-j)!}ansk⋅k!=i+j=k+n∑f(i)⋅i!⋅(n−j)!1
然后呢,
ai=f(i)∗i!a_i=f(i)*i!ai=f(i)∗i!
bi=1(n−j)!b_i=\frac{1}{(n-j)!}bi=(n−j)!1
ck=∑i+j=kaibjc_k=\sum_{i+j=k}a_ib_jck=i+j=k∑aibj
ansk=ck+n⋅1k!ans_k=c_{k+n}·\frac{1}{k!}ansk=ck+n⋅k!1
于是上NTT,此题完结。
以上。
924844033也是NTT素数,原根是5
#include<cstdio>
#include<cstring>
#include<algorithm>
#include<queue>
using namespace std;
typedef long long ll;
const ll N=1000005;
const ll mod=924844033;
const ll g=5;
ll ksm(ll x,ll y){
ll res=1;
while(y){
if(y&1)
res=(res*x)%mod;
x=(x*x)%mod;
y>>=1;
}
return res;
}
ll fact[N+2],inv[N+2];
void Init(){
fact[0]=inv[1]=1;
for(ll i=1;i<=N;i++)
fact[i]=fact[i-1]*i%mod;
for(ll i=2;i<=N;i++)
inv[i]=((mod-mod/i)*inv[mod%i])%mod;
inv[0]=1;
for(ll i=1;i<=N;i++)
inv[i]=inv[i-1]*inv[i]%mod;
}
struct node{
ll u,v,nxt;
}edge[N*2];
ll head[N],mcnt;
void add_edge(ll u,ll v){
mcnt++;
edge[mcnt].u=u;
edge[mcnt].v=v;
edge[mcnt].nxt=head[u];
head[u]=mcnt;
}
ll sz[N];
ll cnt[N];
ll n;
void dfs(ll u,ll fa){
sz[u]=1;
for(ll i=head[u];i;i=edge[i].nxt){
ll v=edge[i].v;
if(v==fa)
continue;
dfs(v,u);
sz[u]+=sz[v];
}
cnt[sz[u]]--;
cnt[n-sz[u]]--;
}
void NTT(ll a[],ll n,ll mode){
for(ll i=0,j=0;i<n;i++)
{
if(i<j) swap(a[i],a[j]);
ll k=(n>>1);
while(k&&(k&j)){ j^=k; k>>=1; }
j^=k;
}
for(ll i=1;i<n;i<<=1)
{
ll w1=ksm(g,(mod-1)/(i<<1)),w=1;
if(mode==-1) w1=ksm(w1,mod-2);
for(ll j=0;j<i;j++,w=1ll*w*w1%mod)
for(ll l=j,r=l+i;l<n;l+=(i<<1),r=l+i)
{
ll temp=1ll*w*a[r]%mod;
a[r]=(a[l]-temp+mod)%mod;
a[l]=(a[l]+temp)%mod;
}
}
if(mode==-1)
{
ll inv=ksm(n,mod-2);
for(ll i=0;i<n;i++) a[i]=1ll*a[i]*inv%mod;
}
}
ll a[N];
ll b[N];
int main()
{
//freopen("calculate.in","r",stdin);
//freopen("calculate.out","w",stdout);
Init();
scanf("%lld",&n);
for(ll i=1;i<n;i++){
ll u,v;
scanf("%lld%lld",&u,&v);
add_edge(u,v);
add_edge(v,u);
}
dfs(1,0);
ll len=1;
cnt[n]=n;
for(;len<=n*2;len<<=1) ;
for(ll i=0;i<=n;i++){
a[i]=cnt[i]*fact[i]%mod;
b[i]=inv[n-i];
}
NTT(a,len,1);
NTT(b,len,1);
for(ll i=0;i<=len;i++)
a[i]=a[i]*b[i]%mod;
NTT(a,len,-1);
for(ll i=1;i<=n;i++){
ll ans=a[n+i]*inv[i]%mod;
ans=(ans%mod+mod)%mod;
printf("%lld\n",ans);
}
}