前置:第二类斯特林数

表示把\(n\)个小球放入\(m\)个不可区分的盒子的方案数

使用容斥原理分析,假设盒子可区分枚举至少有几个盒子为空,得到通项:

\[S(n,m)=\frac{1}{m!}\sum_{k=0}^{m}(-1)^k\binom{m}{k}(m-k)^n
\]

分析

\[f(n)=\sum_{i=0}^n\sum_{j=0}^iS(i,j)2^jj!
\]

注意到\(S(n,m)=0\quad(m>n)\),因此第二个求和上限可改为\(n\),并代入第二类斯特林数的通项,得到

\[f(n)=\sum_{i=0}^n\sum_{j=0}^n\frac{1}{j!}\sum_{k=0}^j(-1)^k\frac{j!}{k!(j-k)!}(j-k)^i2^jj!
\]

\[=\sum_{j=0}^n2^jj!\sum_{k=0}^{j}\frac{(-1)^k}{k!(j-k)!}\sum_{i=0}^n(j-k)^i
\]

\[=\sum_{j=0}^n2^jj!\sum_{k=0}^{j}\frac{(-1)^k}{k!}\frac{\sum_{i=0}^n(j-k)^i}{(j-k)!}
\]

令\(g(j)=\sum_{k=0}^{j}\frac{(-1)^k}{k!}\frac{\sum_{i=0}^n(j-k)^i}{(j-k)!}\),则\(f(n)=\sum_{j=0}^n2^jj!g(j)\)

令\(a_k=\frac{(-1)^k}{k!},b_k=\frac{\sum_{i=0}^nk^i}{k!}=\frac{k^{n+1}-1}{(k-1)k!}\quad (k>1)\)

则\(g=a \otimes b\)

然后先求出\(g\),再求出\(f\)

代码

#include<cstdlib>
#include<cstdio>
#include<cmath>
#include<cstring>
#include<ctime>
#include<iostream>
#include<string>
#include<vector>
#include<list>
#include<deque>
#include<stack>
#include<queue>
#include<map>
#include<set>
#include<algorithm>
#include<complex>
#pragma GCC optimize ("O3")
#define rg register
using namespace std;
template<class T> inline T read(T&x){
T data=0;
int w=1;
char ch=getchar();
while(!isdigit(ch))
{
if(ch=='-')
w=-1;
ch=getchar();
}
while(isdigit(ch))
data=10*data+ch-'0',ch=getchar();
return x=data*w;
}
typedef long long ll; const int mod=998244353,g=3; int rev[1<<18|7]; inline void calrev(int lim,int l)
{
rev[0]=0;
for(int i=1;i<lim;++i)
rev[i]=(rev[i>>1]>>1)|((i&1)<<(l-1));
} inline int qpow(int x,int k)
{
int ans=1;
while(k)
{
if(k&1)
ans=(ll)ans*x%mod;
x=(ll)x*x%mod,k>>=1;
}
return ans;
} inline void FFT(int*t,int lim,int type)
{
for(rg int i=0;i<lim;++i)
if(i<rev[i])
swap(t[i],t[rev[i]]);
for(rg int i=1;i<lim;i<<=1)
{
int gn=qpow(g,(mod-1)/(i<<1));
if(type==-1)
gn=qpow(gn,mod-2);
for(rg int j=0;j<lim;j+=(i<<1))
{
int gi=1;
for(rg int k=0;k<i;++k,gi=(ll)gi*gn%mod)
{
int x=t[j+k],y=(ll)gi*t[j+i+k]%mod;
t[j+k]=x+y,t[j+i+k]=x-y+mod;
if(t[j+k]>=mod)
t[j+k]-=mod;
if(t[j+i+k]>=mod)
t[j+i+k]-=mod;
}
}
}
if(type==-1)
{
int inv=qpow(lim,mod-2);
for(rg int i=0;i<lim;++i)
t[i]=(ll)t[i]*inv%mod;
}
} int fac[100010],inv[100010],pow2[100010]; int a[1<<18|7],b[1<<18|7]; int main()
{
int n;
read(n);
fac[0]=inv[0]=pow2[0]=a[0]=b[0]=1;
for(rg int i=1;i<=n;++i)
{
fac[i]=(ll)fac[i-1]*i%mod;
inv[i]=qpow(fac[i],mod-2);
pow2[i]=pow2[i-1]<<1;
if(pow2[i]>=mod)
pow2[i]-=mod;
a[i]=inv[i];
if(i&1)
a[i]=mod-a[i];
b[i]=(ll)(qpow(i,n+1)-1)%mod*inv[i]%mod*qpow(i-1,mod-2)%mod;
}
b[1]=n+1;
int lim=1,l=0;
while(lim<=n*2)
lim<<=1,++l;
calrev(lim,l);
FFT(a,lim,1);
FFT(b,lim,1);
for(rg int i=0;i<lim;++i)
a[i]=(ll)a[i]*b[i]%mod;
FFT(a,lim,-1);
int f=0;
for(rg int i=0;i<=n;++i)
{
f+=(ll)pow2[i]*fac[i]%mod*a[i]%mod;
if(f>=mod)
f-=mod;
}
printf("%d\n",f);
return 0;
}

Hint

b1不能用等比数列公式计算,必须单独处理。

我只需要n项,但是只算到n项是错的,举例答案是3次函数,我只需要2项就只求求2项,算出来就是一个1次函数,就是错的

总结:lim必须至少是待卷积式子长度的两倍

LG4091 【[HEOI2016/TJOI2016]求和】的更多相关文章

  1. 【LG4091】[HEOI2016/TJOI2016]求和

    [LG4091][HEOI2016/TJOI2016]求和 题面 要你求: \[ \sum_{i=0}^n\sum_{j=0}^iS(i,j)*2^j*j! \] 其中\(S\)表示第二类斯特林数,\ ...

  2. 洛谷 P4091 [HEOI2016/TJOI2016]求和 解题报告

    P4091 [HEOI2016/TJOI2016]求和 题目描述 在2016年,佳媛姐姐刚刚学习了第二类斯特林数,非常开心. 现在他想计算这样一个函数的值: \[ f(n)=\sum_{i=0}^n\ ...

  3. [HEOI2016/TJOI2016]求和(第二类斯特林数)

    题目 [HEOI2016/TJOI2016]求和 关于斯特林数与反演的更多姿势\(\Longrightarrow\)点这里 做法 \[\begin{aligned}\\ Ans&=\sum\l ...

  4. 【题解】P4091 [HEOI2016/TJOI2016]求和

    [题解]P4091 [HEOI2016/TJOI2016]求和 [P4091 HEOI2016/TJOI2016]求和 可以知道\(i,j\)从\(0\)开始是可以的,因为这个时候等于\(0\).这种 ...

  5. Luogu 4091 [HEOI2016/TJOI2016]求和

    BZOJ 4555 一道模板题. 第二类斯特林数有公式: $$S(n, m) = \frac{1}{m!}\sum_{i = 0}^{m}(-1)^i\binom{m}{i}(m - i)^n$$ 考 ...

  6. P4091 [HEOI2016/TJOI2016]求和(第二类斯特林数+NTT)

    传送门 首先,因为在\(j>i\)的时候有\(S(i,j)=0\),所以原式可以写成\[Ans=\sum_{i=0}^n\sum_{j=0}^nS(i,j)\times 2^j\times j! ...

  7. 【题解】Luogu P4091 [HEOI2016/TJOI2016]求和

    原题传送门 \[\begin{aligned} a n s &=\sum_{i=0}^{n} \sum_{j=0}^{i}\left\{\begin{array}{c}{i} \\ {j}\e ...

  8. BZOJ 4555 Luogu P4091 [HEOI2016/TJOI2016]求和 (第二类斯特林数)

    题目链接 (luogu) https://www.luogu.org/problem/P4091 (bzoj) https://www.lydsy.com/JudgeOnline/problem.ph ...

  9. [题解] LuoguP4091 [HEOI2016/TJOI2016]求和

    传送门 首先我们来看一下怎么求\(S(m,n)\). 注意到第二类斯特林数的组合意义就是将\(m\)个不同的物品放到\(n\)个没有区别的盒子里,不允许有空盒子的方案数. 那么将\(m\)个不同的物品 ...

随机推荐

  1. svn服务器搭建及使用(一)

    这里郑重感谢分享作者的辛苦:http://www.cnblogs.com/xiaobaihome/archive/2012/03/20/2407610.html Subversion是优秀的版本控制工 ...

  2. VBA续嘘嘘——宏技巧集绵

    什么是VBA?它有什么作用? A.实现Excel中没有实现的功能. B.提高运行速度. C.编写自定义函数. D.实现自动化功能. E.通过插入窗体做小型管理软件. VBA在哪里存放的?怎么运行? A ...

  3. 2.17 C++类与const关键字

    参考: http://www.weixueyuan.net/view/6348.html 总结: const成员变量的初始化只有唯一的一条途径:参数初始化表. const成员函数可以使用类中的所有成员 ...

  4. Calendar获取当前年份、月份、日期

    import java.text.SimpleDateFormat; import java.util.Calendar; import java.util.Date; public class Te ...

  5. pycharm运行pytest

    pycharm运行三种方式 1.以xx.py脚本方式直接执行,当写的代码里面没用到unittest和pytest框架时,并且脚本名称不是以test_开头命名的,此时pycharm会以xx.py脚本方式 ...

  6. L260

    Innovative UK technology that can deliver drugs deep into the brain to treat neurological diseases, ...

  7. Python 嵌套

    1 要yuanhao的首字母大写 li = [1,2,5,'taibai','yuanhao',[1,'alex',3,],True]li[4] = 'Yuanhao'print(li) li[4] ...

  8. 五、LCD屏填充纯色

    废话不说,直接上代码: lcd.c #include "lcd.h" static int PEN_COLOR = LCD_RED; /* 定义画笔(前景)颜色 */ static ...

  9. cat命令合并多个txt文件

    cat是concatenate的缩写,意为串联,之前经常看到别人在用cat命令,没有细究 cat命令两个常用的用法是: cat file.txt能够将txt中的内容显示出来 cat file1.txt ...

  10. 20155219&20155224 《信息安全系统设计基础》实验一 开发环境的熟悉

    实验内容 实验两人一组,最多三人一组 可以使用自己的笔记本,也可以使用实验室台式机 使用实验箱作为超级终端. 实验中学到的知识点 交叉编译 宿主机与目标机 NFS 超级终端 file命令 实验步骤 实 ...