当前位置: 首页 > news >正文

P5282 【模板】快速阶乘算法(多项式运算+拉格朗日插值+倍增)

题面

传送门

前置芝士

优化后的\(MTT\)(四次\(FFT\)

题解

这里有多点求值的做法然而被\(shadowice\)巨巨吊起来打了一顿,所以来学一下倍增

成功同时拿到本题最优解和最劣解……

\(Min_{25}\)牛逼!(据说这是原文然而我看不懂就是了)

真的快的不要不要的……

和多点求值一样,我们还是设\(s=\sqrt{n}\),并设多项式

\[g_s(x)=\sum_{i=1}^s(x+i)\]

求出\(g_s(0),g_s(s),g_s(2s),..,g_s((s-1)s)\)的值,最后再乘上\(\prod_{i=s^2+1}^ni\)即可

具体来说我们现在要完成两个操作

已知

\[g_d(0),g_d(s),...g_d(ds)\]

\[g_{2d}(0),g_{2d}(s),g_{2d}(2s),...,g_{2d}(2ds)\]

通过这个操作我们可以把\(d\)\(2\)

已知

\[g_d(0),g_d(s),...g_d(ds)\]

\[g_{d+1}(0),g_{d+1}(s),...g_{d+1}((d+1)s)\]

通过这个操作我们可以把\(d\)\(1\)

然后就可以用一个类似快速幂的迭代来求出\(g_s\)

\(d\)\(1\)

这个简单一点先说这个好了

对于\(g_{d+1}((d+1)s)\),直接暴力计算就行了

对于剩下的项,也可以直接暴力计算,因为有

\[g_{d+1}(x)=g_{d}(x)\times (x+d+1)\]

那么一次的复杂度就是\(O(s)\)

\(d\)\(2\)

这种情况就比较辣手了

具体来说,我们已知

\[g_d(0),g_d(s),..,g_d(ds)\]

需要求

\[g_{2d}(0),g_{2d}(s),g_{2d}(2s),...,g_{2d}(2ds)\]

首先有

\[g_{2d}(x)=g_d(x)g_d(x+d)\]

我们先考虑一下,已知

\[g_d(0),g_d(s),..,g_d(ds)\]

如何求出

\[g_d((d+1)s),g_d((d+2)s),..,g_d((d+d)s)\]

我们可以设\(h(i)=g_d(is)\),那么问题可以转化为已知

\[h(0),h(1),...,h(d)\]

\[h(d+1),h(d+2),...,h(2d)\]

另一个问题就是已知

\[g_d(0),g_d(s),..,g_d(2ds)\]

\[g_{2d}(0),g_{2d}(s),...,g_{2d}(2ds)\]

也可以转化为已知

\[h(0),h(s),...,h(2d)\]

\[h(d/s),h(d/s+1),h(d/s+2),...,h(d/s+2d)\]

总和起来,问题就是已知

\[h(0),h(1),...,h(d)\]

我们需要求得

\[h(k),k(1+k),...,h(d+k)\]

根据拉格朗日差值公式,有

\[ \begin{aligned} h(m+k) &=\sum_{i=0}^n h(i)\prod_{j\neq i}{m+k-j\over i-j}\\ &=\left(\prod_{j=0}^n (m+k-j)\right)\sum_{i=0}^d {h(i)\over i!(d-i)!(-1)^{d-i}}{1\over m+k-i}\\ \end{aligned} \]

后面明显是个卷积的形式,前面是一段连续区间的乘积,可以用双指针维护

然而万一这里\(m+k-i=0\)怎么办?

因为 \(h(x)\) 本质上代表了一段连续数字的乘积,而根据我们算法的原理, \(h(m+k)\)\(h(i)\) 一定代表了两段不同的数字,所以分母不可能为0

那么我们就可以把\(d\)\(2\)

然而这里有两个细节问题

第一,如果直接求逆元的话是\(O(d\log p)\)的,不过其实有\(O(d)\)\(n\)个数逆元的方法,感兴趣的可以自己去看这里

第二,虽然\(m\)很小,但是\(m+k\)很大,我们不能直接暴力卷积。注意到后面那个卷积柿子中当\(i>n\)时可以默认\(h(i)=0\),所以有用的项其实只有\(m=0,{1\over m+k-d}\),以及\(m=d,{1\over m+k}\)之间的数,也就是说后面有用的项不超过\(O(d)\)个,所以我们需要把多项式平移一下再来卷积

然后没有然后了

不过可以用威尔逊定理优化一下常数就是了

//minamoto
#include<bits/stdc++.h>
#define R register
#define ll long long
#define fp(i,a,b) for(R int i=(a),I=(b)+1;i<I;++i)
#define fd(i,a,b) for(R int i=(a),I=(b)-1;i>I;--i)
#define go(u) for(int i=head[u],v=e[i].v;i;i=e[i].nx,v=e[i].v)
using namespace std;
const int N=(1<<17)+5;int P;
inline int add(R int x,R int y){return 0ll+x+y>=P?0ll+x+y-P:x+y;}
inline int dec(R int x,R int y){return x-y<0?x-y+P:x-y;}
inline int mul(R int x,R int y){return 1ll*x*y-1ll*x*y/P*P;}
int ksm(R int x,R int y){
    R int res=1;
    for(;y;y>>=1,x=mul(x,x))(y&1)?res=mul(res,x):0;
    return res;
}
const double Pi=acos(-1.0);
struct cp{
    double x,y;
    inline cp(){}
    inline cp(R double xx,R double yy):x(xx),y(yy){}
    inline cp operator +(const cp &b)const{return cp(x+b.x,y+b.y);}
    inline cp operator -(const cp &b)const{return cp(x-b.x,y-b.y);}
    inline cp operator *(const cp &b)const{return cp(x*b.x-y*b.y,x*b.y+y*b.x);}
    inline cp operator *(const double &b)const{return cp(x*b,y*b);}
    inline cp operator ~()const{return cp(x,-y);}
}w[2][N];
int r[21][N],ifac[N],lg[N],inv[N];double iv[21];
void Pre(){
    iv[0]=1;
    fp(d,1,17){
        fp(i,0,(1<<d)-1)r[d][i]=(r[d][i>>1]>>1)|((i&1)<<(d-1));
        lg[1<<d]=d,iv[d]=iv[d-1]*0.5;
    }
    inv[0]=inv[1]=ifac[0]=ifac[1]=1;
    fp(i,2,131072)inv[i]=mul(P-P/i,inv[P%i]),ifac[i]=mul(ifac[i-1],inv[i]);
    for(R int i=1,d=0;i<131072;i<<=1,++d)fp(k,0,i-1)
        w[1][i+k]=cp(cos(Pi*k*iv[d]),sin(Pi*k*iv[d])),
        w[0][i+k]=cp(cos(Pi*k*iv[d]),-sin(Pi*k*iv[d]));
}
int lim,d;
void FFT(cp *A,int ty){
    fp(i,0,lim-1)if(i<r[d][i])swap(A[i],A[r[d][i]]);
    cp t;
    for(R int mid=1;mid<lim;mid<<=1)
        for(R int j=0;j<lim;j+=(mid<<1))
            fp(k,0,mid-1)
                A[j+k+mid]=A[j+k]-(t=w[ty][mid+k]*A[j+k+mid]),
                A[j+k]=A[j+k]+t;
    if(!ty)fp(i,0,lim-1)A[i]=A[i]*iv[d];
}
void MTT(int *a,int *b,int len,int *c){
    static cp f[N],g[N],p[N],q[N];
    lim=len,d=lg[lim];
    fp(i,0,len-1)f[i]=cp(a[i]>>16,a[i]&65535),g[i]=cp(b[i]>>16,b[i]&65535);
    fp(i,len,lim-1)f[i]=g[i]=cp(0,0);
    FFT(f,1),FFT(g,1);
    fp(i,0,lim-1){
        cp t,f0,f1,g0,g1;
        t=~f[i?lim-i:0],f0=(f[i]-t)*cp(0,-0.5),f1=(f[i]+t)*0.5;
        t=~g[i?lim-i:0],g0=(g[i]-t)*cp(0,-0.5),g1=(g[i]+t)*0.5;
        p[i]=f1*g1,q[i]=f1*g0+f0*g1+f0*g0*cp(0,1);
    }
    FFT(p,0),FFT(q,0);
    fp(i,0,lim-1)c[i]=((((ll)(p[i].x+0.5)%P<<16)%P<<16)+((ll)(q[i].x+0.5)<<16)+((ll)(q[i].y+0.5)))%P;
}
void calc(int *a,int *b,int n,int k){
    static int f[N],g[N],h[N],sum[N],isum[N];
    int len=1;while(len<=n+n)len<<=1;
    fp(i,0,n)f[i]=mul(a[i],mul(ifac[i],ifac[n-i]));
    for(R int i=n-1;i>=0;i-=2)f[i]=P-f[i];
    int t=dec(k,n);
    fp(i,0,n+n)g[i]=add(i,t);
    sum[0]=g[0];fp(i,1,n+n)sum[i]=mul(sum[i-1],g[i]);
    isum[n+n]=ksm(sum[n+n],P-2);
    fd(i,n+n,1)isum[i-1]=mul(isum[i],g[i]);
    fp(i,1,n+n)g[i]=mul(isum[i],sum[i-1]);g[0]=isum[0];
    fp(i,n+1,len-1)f[i]=0;fp(i,n+n+1,len-1)g[i]=0;
    
    MTT(f,g,len,h);
    int res=1,p1=k-n,p2=k;
    fp(i,p1,p2)res=1ll*res*i%P;
    res=dec(res,0);
    
    fp(i,0,n)g[i]=(0ll+P+p1+i)%P;
    sum[0]=g[0];fp(i,1,n)sum[i]=mul(sum[i-1],g[i]);
    isum[n]=ksm(sum[n],P-2);
    fd(i,n,1)isum[i-1]=mul(isum[i],g[i]);
    fp(i,1,n)g[i]=mul(isum[i],sum[i-1]);g[0]=isum[0];
    
    for(R int i=0;i<=n;p2=add(p2,1),++i)
        b[i]=mul(h[i+n],res),res=mul(res,mul(g[i],p2+1));
}
int solve(int bl){
    static int a[N],b[N],c[N];
    int s=0;for(int p=bl;p;p>>=1)++s;a[0]=1,--s;
    int qwq=ksm(bl,P-2);
    for(int p=0;s>=0;--s){
        if(p){
            calc(a,b,p,p+1);
            fp(i,0,p)a[p+i+1]=b[i];a[p<<1|1]=0;
            calc(a,b,p<<1,mul(p,qwq));
            p<<=1;fp(i,0,p)a[i]=mul(a[i],b[i]);
        }
        if(bl>>s&1){
            fp(i,0,p)a[i]=mul(a[i],(1ll*bl*i+p+1)%P);
            p|=1,a[p]=1;
            fp(i,1,p)a[p]=mul(a[p],(1ll*bl*p+i)%P);
        }
    }
    int res=1;
    fp(i,0,bl-1)res=mul(res,a[i]);
    return res;
}
int GetFac(int n){
    int s=sqrt(n),res=solve(s);
    fp(i,s*s+1,n)res=mul(res,i);
    return res;
}
int Fac(int n){
    if(n>P-1-n){
        int res=ksm(GetFac(P-1-n),P-2);
        return (P-1-n)&1?res:P-res;
    }
    return GetFac(n);
}
int n;
int main(){
//  freopen("testdata.in","r",stdin);
    scanf("%d%d",&n,&P),Pre();
    printf("%d\n",Fac(n));
    return 0;
}

转载于:https://www.cnblogs.com/bztMinamoto/p/10661226.html

相关文章:

  • 脚本自动安装rkhunter检查rootkit
  • 第二次会议(2019.4.5)
  • 30 个重点是 RHCE 考试的主要方向
  • 最长双回文串
  • 实现图片滑块滚动条效果
  • 关于GPRS 拨号上网配置
  • 141. 环形链表
  • 搞笑集合
  • 正式搬家到博客园
  • C# 和 c++的语法不同点
  • 我的新浪微博
  • 晴天霹雳。。傲盾把我的Linux格成了03系统了?之二
  • Log4j2入门
  • Notepad++插件安装和使用和打开大文件
  • 在SharePoint Server 2010中更改“我的网站”
  • @jsonView过滤属性
  • [译] React v16.8: 含有Hooks的版本
  • Android路由框架AnnoRouter:使用Java接口来定义路由跳转
  • OpenStack安装流程(juno版)- 添加网络服务(neutron)- controller节点
  • PaddlePaddle-GitHub的正确打开姿势
  • seaborn 安装成功 + ImportError: DLL load failed: 找不到指定的模块 问题解决
  • 当SetTimeout遇到了字符串
  • 对象引论
  • 翻译--Thinking in React
  • 好的网址,关于.net 4.0 ,vs 2010
  • 开发了一款写作软件(OSX,Windows),附带Electron开发指南
  • 浅谈Golang中select的用法
  • 如何使用 OAuth 2.0 将 LinkedIn 集成入 iOS 应用
  • 通过获取异步加载JS文件进度实现一个canvas环形loading图
  • 微信支付JSAPI,实测!终极方案
  • 一天一个设计模式之JS实现——适配器模式
  • 《TCP IP 详解卷1:协议》阅读笔记 - 第六章
  • Redis4.x新特性 -- 萌萌的MEMORY DOCTOR
  • ​如何使用ArcGIS Pro制作渐变河流效果
  • ​软考-高级-系统架构设计师教程(清华第2版)【第20章 系统架构设计师论文写作要点(P717~728)-思维导图】​
  • # 计算机视觉入门
  • #单片机(TB6600驱动42步进电机)
  • (C++17) std算法之执行策略 execution
  • (rabbitmq的高级特性)消息可靠性
  • (附源码)spring boot基于小程序酒店疫情系统 毕业设计 091931
  • (附源码)ssm考试题库管理系统 毕业设计 069043
  • (一)UDP基本编程步骤
  • (译) 函数式 JS #1:简介
  • (终章)[图像识别]13.OpenCV案例 自定义训练集分类器物体检测
  • (转载)PyTorch代码规范最佳实践和样式指南
  • .htaccess 强制https 单独排除某个目录
  • .NET BackgroundWorker
  • .NET Core SkiaSharp 替代 System.Drawing.Common 的一些用法
  • .Net Redis的秒杀Dome和异步执行
  • .NET下的多线程编程—1-线程机制概述
  • .Net转Java自学之路—SpringMVC框架篇六(异常处理)
  • .pyc文件还原.py文件_Python什么情况下会生成pyc文件?
  • @ModelAttribute使用详解
  • @vue/cli脚手架
  • [ 渗透工具篇 ] 一篇文章让你掌握神奇的shuize -- 信息收集自动化工具