[CF932E]Team Work

Team Work

题解

数学题都贞德好讨厌呀

开始推公式。

由于当n\leq k时可以直接用暴力O\left(n+k \right )做了,我们下面只考虑n>k的情况。

原式\sum_{i=0}^{n}\binom{n}{i}i^k=\sum_{i=0}^{n}S(k,j)\binom{i}{j}j!=\sum_{j=i}^{k}S(k,j)j!\sum_{i=0}^{n}\binom{n}{i}\binom{i}{j}=\sum_{j=1}^{k}S(k,j)j!\sum_{i=0}^{n}\binom{n}{j}\binom{n-j}{i-j}

=\sum_{j=1}^{k}S(k,j)j!\binom{n}{j}\sum_{i=0}^{n}\binom{n-j}{i-j}=\sum_{j=1}^{k}S(k,j)j!\binom{n}{j}2^{n-j}

现在这个样子其实可以直接用斯特林数做了,但我们还是先考虑将斯特林数展开一下

原式\small w=-\frac{1}{2}\small =\sum_{j=1}^{k}\binom{n}{j}2^{n-j}\sum_{i=1}^{j}\binom{j}{i}i^k(-1)^{j-i}=\sum_{i=1}^{k}i^k\sum_{j=i}^{k}\binom{n}{j}\binom{j}{i}(-1)^{j-i}2^{n-j}=\sum_{i=1}^{k}i^k\binom{n}{i}\sum_{j=i}^{k}\binom{n-i}{j-i}(-1)^{j-i}2^{n-j}

\small =\sum_{i=1}^{k}i^k\binom{n}{i}\sum_{j=0}^{k-i}\binom{n-i}{j}(-1)^j2^{n-i-j}=\sum_{i=1}^{k}i^k\binom{n}{i}\sum_{j=0}^{k-i}\binom{n-i}{j}(-\frac{1}{2})^j

我们设\small w=-\frac{1}{2},\small f_{i}=\sum_{j=0}^{k-i}\binom{n-i}{j}w^j,也就是后面那一块。

我们考虑通过线性递推的方式处理\small f_{i},计算\small f_{i}-f_{i+1},可得,

\small f_{i}-f_{i+1}=\binom{n-i}{k-i}w^{k-i}+\sum_{j=0}^{k-i-1}\binom{n-i-1}{j-1}w^{j}=\binom{n-i}{k-i}w^{k-i}+\sum_{j=0}^{k-i-2}\binom{n-i-1}{j}w^j

\small =\binom{n-i}{k-i}w^{k-i}+w(f_{i+1}-\binom{n-i-1}{k-i-1}w^{k-i-1})=\binom{n-i-1}{k-i}w^{k-i}+wf_{i+1}

所以,得到递推式\small f_{i}=\binom{n-i-1}{k-i}w^{k-i}+(w+1)f_{i+1}

我们只需要线性处理出组合数与\small f_{i}的值即可,时间复杂度\small O\left(k \right )\small i^k也可以用埃筛的方式线性求出。

源码

#include<cstdio>
#include<cmath>
#include<cstring>
#include<iostream>
#include<algorithm>
#include<vector>
#include<queue>
#include<map>
using namespace std;
typedef long long LL;
#define MAXN 5005
const double eps=1e-7;
const int INF=0x7f7f7f7f; 
const LL mo=1e9+7;
const int inv2=5e8+4;
typedef pair<int,int> pii;
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 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 add(int x,int y){return x+y>=mo?x+y-mo:x+y;}
int n,k,f[MAXN],c[MAXN],inv[MAXN],pw[MAXN],prime[MAXN],cntp;
void init(){
	c[0]=inv[1]=pw[1]=1;c[1]=n;
	for(int i=2;i<=k+1;++i){
		inv[i]=1ll*(mo-mo/i)*inv[mo%i]%mo;
		c[i]=1ll*c[i-1]*inv[i]%mo*(n-i+1)%mo;
		if(!pw[i])prime[++cntp]=i,pw[i]=qkpow(i,k);
		for(int j=1;j<=cntp&&i*prime[j]<=k;++j){
			pw[i*prime[j]]=1ll*pw[i]*pw[prime[j]]%mo;
			if(i%prime[j]==0)break;
		}
	}
}
int work1(){
	int res=0;
	for(int i=1;i<=n;++i)
		res=add(res,1ll*c[i]*pw[i]%mo);
	return res;	
}
int work2(){
	int mul,c2,res=0;mul=c2=f[k]=1;
	for(int i=k-1;i>0;--i){
		c2=1ll*c2*(n-i-1)%mo*inv[k-i]%mo;
		mul=1ll*mul*(mo-inv2)%mo;
		f[i]=add(1ll*c2*mul%mo,1ll*inv2*f[i+1]%mo);
	} 
	mul=inv2;
	for(int i=1;i<=k;++i){
		res=add(res,1ll*pw[i]*c[i]%mo*mul%mo*f[i]%mo);
		mul=1ll*mul*inv2%mo;
	}
	res=1ll*res*qkpow(2,n)%mo;
	return res;
}
signed main(){
	read(n);read(k);init();	
	if(n<=k+1)printf("%d\n",work1());
	else printf("%d\n",work2());
	return 0;
}

谢谢!!!

  • 1
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值