正题

题目链接:https://www.luogu.com.cn/problem/P5825


题目大意

对于每个\(k\),求有多少个长度为\(n\)的排列有\(k\)个位置上升。

\(1\leq n\leq 2\times 10^5\)


解题思路

考虑到同时考虑大于和小于十分麻烦,设\(f_i\)表示钦定\(i\)个上升时的方案

连续的上升段可以视为同一个组,那么整个序列就会被分为\(m=n-k\)段,每个组内都是无序的。

所以可以考虑一下\(\text{EGF}\)来做,因为不能选空段,那么每一段的生成函数就是\(e^x-1\)。

也就是\(f_{n-m}=(e^x-1)^m[x^n]\)。二项式定理展开一下

\[f_m=\sum_{i=0}^m\binom{m}{i}(-1)^{m-i}e^{ix}
\]
\[=\sum_{i=0}^m\frac{m!}{i!(m-i)!}(-1)^{m-i}\frac{i^n}{n!}
\]
\[=\frac{m!}{n!}\sum_{i=0}^m\frac{(-1)^{m-i}}{(m-i)!}\frac{i^n}{i!}
\]

\(\text{NTT}\)卷起来就好了。

然后\(g_i\)表示恰好有\(i\)个的话,上二项式反演即可

\[f_i=\sum_{j=0}^i\binom{i}{j}g_j\Rightarrow g_i=\sum_{j=i}(-1)^{j-i}\binom{j}{i}f_j
\]

这个也是显然可以卷积快速求得的。

顺带一提的是,这个求得其实就是欧拉数\(\left\langle\begin{matrix} n\\k\end{matrix}\right\rangle\)

联立上面的\(f_i\)和\(g_i\)的式子可以得到欧拉数的通式

\[\left\langle\begin{matrix} n\\k\end{matrix}\right\rangle=\sum_{i=0}^{n-k}(-1)^{n-k-i}i^n\binom{n+1}{k+j+1}
\]

这个可以一次卷积求得

时间复杂度\(O(n\log n)\)


code

#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
const ll N=8e5+10,P=998244353;
ll n,m,inv[N],fac[N],f[N],g[N],r[N];
ll power(ll x,ll b){
ll ans=1;
while(b){
if(b&1)ans=ans*x%P;
x=x*x%P;b>>=1;
}
return ans;
}
void NTT(ll *f,ll op){
for(ll i=0;i<m;i++)
if(i<r[i])swap(f[i],f[r[i]]);
for(ll p=2;p<=m;p<<=1){
ll tmp=power(3,(P-1)/p),len=(p>>1);
if(op==-1)tmp=power(tmp,P-2);
for(ll k=0;k<m;k+=p){
ll buf=1;
for(ll i=k;i<k+len;i++){
ll tt=f[i+len]*buf%P;
f[i+len]=(f[i]-tt+P)%P;
f[i]=(f[i]+tt)%P;
buf=buf*tmp%P;
}
}
}
if(op==-1){
ll invn=power(m,P-2);
for(ll i=0;i<m;i++)
f[i]=f[i]*invn%P;
}
return;
}
signed main()
{
scanf("%lld",&n);
inv[1]=1;
for(ll i=2;i<=n;i++)
inv[i]=P-inv[P%i]*(P/i)%P;
inv[0]=fac[0]=1;
for(ll i=1;i<=n;i++)
inv[i]=inv[i-1]*inv[i]%P,fac[i]=fac[i-1]*i%P;
for(ll i=0;i<=n;i++)
f[i]=inv[i]*power(i,n)%P,g[i]=(i&1)?(P-inv[i]):inv[i];
m=1;while(m<=2*n)m<<=1;
for(ll i=0;i<m;i++)
r[i]=(r[i>>1]>>1)|((i&1)?(m>>1):0);
NTT(f,1);NTT(g,1);
for(ll i=0;i<m;i++)f[i]=f[i]*g[i]%P;
NTT(f,-1);
memset(g,0,sizeof(g));
for(ll i=0;i<m;i++)
f[i]=(i<n)?(f[i+1]*fac[i+1]%P):0;
for(ll i=n;i<m;i++)f[i]=0;
for(ll i=0;i<n;i++){
f[i]=f[i]*fac[n-i-1];
f[i]=(i&1)?(P-f[i]):f[i];
g[i]=inv[i];
}
NTT(f,1);NTT(g,1);
for(ll i=0;i<m;i++)f[i]=f[i]*g[i]%P;
NTT(f,-1);
for(ll i=0;i<n-i-1;i++)swap(f[i],f[n-i-1]);
for(ll i=0;i<n;i++){
f[i]=f[i]*inv[i]%P;
f[i]=((n-i)&1)?f[i]:(P-f[i]);
printf("%lld ",f[i]%P);
}
putchar('0');
return 0;
}

P5825-排列计数【EGF,NTT】的更多相关文章

  1. BZOJ 4517: [Sdoi2016]排列计数

    4517: [Sdoi2016]排列计数 Time Limit: 60 Sec  Memory Limit: 128 MBSubmit: 911  Solved: 566[Submit][Status ...

  2. bzoj-4517 4517: [Sdoi2016]排列计数(组合数学)

    题目链接: 4517: [Sdoi2016]排列计数 Time Limit: 60 Sec  Memory Limit: 128 MBSubmit: 846  Solved: 530[Submit][ ...

  3. ACM/ICPC 之 DP-浅谈“排列计数” (POJ1037)

    这一题是最近在看Coursera的<算法与设计>的公开课时看到的一道较难的DP例题,之所以写下来,一方面是因为DP的状态我想了很久才想明白,所以借此记录,另一方面是看到这一题有运用到 排列 ...

  4. 数学(错排):BZOJ 4517: [Sdoi2016]排列计数

    4517: [Sdoi2016]排列计数 Time Limit: 60 Sec  Memory Limit: 128 MBSubmit: 693  Solved: 434[Submit][Status ...

  5. 【数论·错位排列】bzoj4517 排列计数

    4517: [Sdoi2016]排列计数 Time Limit: 60 Sec  Memory Limit: 128 MBSubmit: 1428  Solved: 872[Submit][Statu ...

  6. BZOJ 4517: [Sdoi2016]排列计数 [容斥原理]

    4517: [Sdoi2016]排列计数 题意:多组询问,n的全排列中恰好m个不是错排的有多少个 容斥原理强行推♂倒她 $恰好m个不是错排 $ \[ =\ \ge m个不是错排 - \ge m+1个不 ...

  7. BZOJ 2111: [ZJOI2010]Perm 排列计数 [Lucas定理]

    2111: [ZJOI2010]Perm 排列计数 Time Limit: 10 Sec  Memory Limit: 259 MBSubmit: 1936  Solved: 477[Submit][ ...

  8. bzoj4517排列计数 错排+组合

    4517: [Sdoi2016]排列计数 Time Limit: 60 Sec  Memory Limit: 128 MBSubmit: 1491  Solved: 903[Submit][Statu ...

  9. BZOJ_4517_[Sdoi2016]排列计数_组合数学

    BZOJ_4517_[Sdoi2016]排列计数_组合数学 Description 求有多少种长度为 n 的序列 A,满足以下条件: 1 ~ n 这 n 个数在序列中各出现了一次 若第 i 个数 A[ ...

  10. 2111: [ZJOI2010]Perm 排列计数

    2111: [ZJOI2010]Perm 排列计数 链接 题意: 称一个1,2,...,N的排列$P_1,P_2...,P_n$是Magic的,当且仅当$2<=i<=N$时,$P_i> ...

随机推荐

  1. C# 获得文件的执行路径的方法

    var path = System.Reflection.Assembly.GetEntryAssembly().Location;

  2. Dom4j(解析property)

    Dom4j(解析property) public class XpathTest { /** * XPath 使用路径表达式来选取 XML 文档中的节点或节点集 * * 经常使用到的路径表达式,如下 ...

  3. java8 lambda 表达式详解

    lambada 表达式实质上是一个匿名方法,但该方法并非独立执行,而是用于实现由函数式接口定义的唯一抽象方法 使用 lambda 表达式时,会创建实现了函数式接口的一个匿名类实例 可以将 lambda ...

  4. Spring系列之集成Druid连接池及监控配置

    前言 前一篇文章我们熟悉了HikariCP连接池,也了解到它的性能很高,今天我们讲一下另一款比较受欢迎的连接池:Druid,这是阿里开源的一款数据库连接池,它官网上声称:为监控而生!他可以实现页面监控 ...

  5. docker PXC MYSQL集群节点启动失败/节点顺序消失/只剩一个节点存在问题的解决

    转载于:https://my.oschina.net/u/4884318/blog/4908669 大牛 佩服此人 截取本人遇到的问题: "error:0407008A:rsa routin ...

  6. springboot静态资源路径制定

    spring.resources.static-location参数指定了Spring Boot-web项目中静态文件存放地址, 该参数默认设置为: classpath:/static, classp ...

  7. 在Raspberry Pi 3B+上安装Windows 10 IoT

    下载 进入树莓派下载页面,当前网址https://www.raspberrypi.org/downloads/ 选择Windows 10 IoT Core,当前网址https://docs.micro ...

  8. 学习 Webpack5 之路(优化篇)

    一.前言 从 0 到 1 学习的朋友可参考前置学习文章: 学习 Webpack5 之路(基础篇) 学习 Webpack5 之路(实践篇) 前置文章 学习 Webpack5 之路(基础篇) 对 webp ...

  9. 【CSS】计数器

    抄自B站Up主CodingStartup起码课 <!DOCTYPE html> <html lang="en"> <head> <meta ...

  10. JS013. 重写toFixed( )方法,toFixed()原理 - 四舍五入?银行家舍入法?No!六舍七允许四舍五入√!

    以下为场景实测与原理分析,需要重写函数请直接滚动至页尾!!! 语法 - Number.prototype.toFixed( ) // toFixed()方法 使用定点表示法来格式化一个数值. numO ...