CF960G-Bandit Blues【第一类斯特林数,分治,NTT】
2024-09-01 00:13:13
正题
题目链接:https://www.luogu.com.cn/problem/CF960G
题目大意
求有多少个长度为\(n\)的排列,使得有\(A\)个前缀最大值和\(B\)个后缀最大值。
\(0\leq n,A,B\leq 10^5\)
解题思路
显然的是把最大的数两边然后左边的是前缀最大值,右边的是前缀最小值。
然后考虑两个前缀最大值之间其实可以插任何数字,但是最大的一定要排在前面。
其实就是这些数字分成若干个圆排列的个数,就是第一类斯特林数。
枚举左右两边的数量就有
\[\sum_{i=0}^{n-1}\begin{bmatrix}i\\a-1\end{bmatrix}\begin{bmatrix}n-i-1\\b-1\end{bmatrix}\binom{n-1}{i}
\]
\]
然后组合意义理解一下,我们可以考虑直接分成\(a+b-2\)个环然后再依次排列到左右就是
\[\begin{bmatrix}n-1\\a+b-2\end{bmatrix}\binom{a+b-2}{a-1}
\]
\]
这个看起来就好做很多,先考虑怎么求第一类斯特林数。
考虑递推式
\[\begin{bmatrix}n\\m\end{bmatrix}=\begin{bmatrix}n-1\\m-1\end{bmatrix}+\begin{bmatrix}n-1\\m\end{bmatrix}\times(n-1)
\]
\]
可以理解为\(0\sim n-1\)个里面选出\(m\)个数的乘积之和。
用生成函数做就是
\[\prod_{i=0}^{n-1}(x+i)
\]
\]
用分治+\(NTT\)算就好了,当然推式子还有更快的方法
时间复杂度\(O(n\log^2 n)\)
code
#include<cstdio>
#include<cstring>
#include<algorithm>
#define ll long long
using namespace std;
const ll N=4e5+10,P=998244353;
struct Poly{
ll f[N];ll n;
}F[20];
ll n,a,b,f[N],g[N],r[N];bool use[20];
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 n,ll op){
for(ll i=0;i<n;i++)
if(i<r[i])swap(f[i],f[r[i]]);
for(ll p=2;p<=n;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<n;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(n,P-2);
for(ll i=0;i<n;i++)
f[i]=f[i]*invn%P;
}
return;
}
void mul(Poly &x,Poly &y){
ll n=1;while(n<x.n+y.n)n<<=1;
for(ll i=0;i<n;i++)r[i]=(r[i>>1]>>1)|((i&1)?(n>>1):0);
for(ll i=0;i<n;i++)f[i]=x.f[i],g[i]=y.f[i];
NTT(f,n,1);NTT(g,n,1);
for(ll i=0;i<n;i++)f[i]=f[i]*g[i]%P;
NTT(f,n,-1);
for(ll i=0;i<n;i++)x.f[i]=f[i],y.f[i]=0;
x.n=x.n+y.n-1;return;
}
ll FindE(){
for(ll i=0;i<20;i++)
if(!use[i])return i;
}
ll solve(ll l,ll r){
if(l==r){
ll p=FindE();
F[p].f[0]=l;F[p].f[1]=1;
F[p].n=2;use[p]=1;return p;
}
ll mid=(l+r)>>1;
ll ls=solve(l,mid),rs=solve(mid+1,r);
mul(F[ls],F[rs]);use[rs]=0;return ls;
}
ll C(ll n,ll m){
ll ans=1,fac=1;
for(ll i=m+1;i<=n;i++)ans=ans*i%P;
for(ll i=1;i<=n-m;i++)fac=fac*i%P;
return ans*power(fac,P-2)%P;
}
signed main()
{
scanf("%lld%lld%lld",&n,&a,&b);
if(!a||!b||a+b-2>n-1)return puts("0")&0;
if(n==1)return puts("1")&0;
ll p=solve(0,n-2);
printf("%lld\n",F[p].f[a+b-2]*C(a+b-2,a-1)%P);
return 0;
}
最新文章
- Android实现侧边栏SlidingPaneLayout
- 19、ASP.NET MVC入门到精通——Unity
- 今天初步了解了informix的锁的概念
- LeetCode&mdash;&mdash;Same Tree(判断两棵树是否相同)
- js 正则
- PostgreSQL数据库中获取表主键名称
- php最新出现的函数
- C#之—委托
- POST多个参数到Web API控制器
- jquery ajax标准写法
- 201521123025《java程序设计》第七周学习总结
- 多线程-Timer重入
- Docker: How to enable/disable HTTP Proxy in Toolbox
- Solr 16 - 增删改Solr中索引数据的几种方式 (在URL上或Web页面中操作)
- day22 栈 , 队列 , 约束和反射
- 测试那些事儿-软测必备的linux知识(五)
- 使用redis接管cookie
- office365离线安装
- POJ 3278 Catch That Cow(简单BFS)
- Unity3D 5.0版本+注册工具分享