【XSY2751】Mythological IV 线性插值
题目描述
已知\(f(x)\)为\(k\)次多项式。
给你\(f(0),f(1),\ldots,f(k)\),求
\]
\(k\leq 500000,n\leq {10}^{18},q\neq 1\)
题解
当\(q=0\)时答案为\(f(0)\)
当\(q=1\)时:记\(S(n)=\sum_{i=0}^nf(i)\),易证\(S(n)\)是一个\(k+1\)次多项式。直接求出\(S(0)\ldots S(k+1)\)然后线性插值即可。
当\(q\neq 1\)时:记\(S(n)=\sum_{i=0}^{n-1}f(i)q^i=q^nG(n)-G(0)\),其中\(G(n)\)是一个\(k\)次多项式。
证明:
当\(k=0\)时显然成立。
假设当\(k=d-1\)时成立。
当\(k=d\)时:
S(n)&=\sum_{i=0}^{n-1}f(i)q^i\\
qS(n)&=\sum_{i=0}^{n-1}f(i)q^{i+1}=\sum_{i=1}^nf(i-1)q^i\\
(q-1)S(n)&=f(n)q^n+\sum_{i=0}^{n-1}(f(i)-f(i-1))q^i+f(-1)
\end{align}
\]
因为\(f(n)-f(n-1)\)是一个\(d-1\)次多项式,所以\(\sum_{i=0}^{n-1}(f(i)-f(i-1))q^i\)可以被表示成\(q^nP(n)-P(0)\)
所以\(S(n)\)一定能被表示为\(q^nG(n)-c\),其中\(G(n)=\frac{f(n-1)+P(n)}{q-1}\),\(c\)为一个常数。
考虑当\(n=0\)时\(S(n)=0\),所以\(c=f(0)\)
因为\(f(n-1)\)是一个\(d\)次多项式,\(P(n)\)是一个\(d\)次多项式,所以\(G(n)\)也是一个\(d\)次多项式。
现在要算\(G(n)\),可以算出\(G(0)\ldots G(k)\)之后线性插值插出来。
S(n)&=\sum_{i=0}^{n-1}f(i)q^i\\
S(n+1)-S(n-1)&=q^{n+1}G(n+1)-q^nG(n)=f(n)q^n\\
qG(n+1)&=G(n)+f(n)\\
G(n+1)&=\frac{G(n)+f(n)}{q}
\end{align}
\]
所以每个\(G(n)\)都可以被表示为\(a_iG(0)+b_i\)
由于\(G(n)\)是一个\(k\)次多项式,那么就满足\(k+1\)次差分之后的值为\(0\)
\]
这是一个关于\(G(0)\)的一元一次方程,可以解出\(G(0)\)的值。
然后递推得到\(G(1)\ldots G(k)\),线性插值插出\(G(n+1)\)
时间复杂度:\(O(k+\log n)\)
代码
#include<cstdio>
#include<cstring>
#include<algorithm>
using namespace std;
typedef long long ll;
const ll p=1000000007;
ll n,q;
int k;
ll fp(ll a,ll b)
{
ll s=1;
for(;b;b>>=1,a=a*a%p)
if(b&1)
s=s*a%p;
return s;
}
ll inv[500010];
ll fac[500010];
ll ifac[500010];
ll f1[500010];
ll f2[500010];
ll g[500010];
ll f[500010];
ll getc(int x,int y)
{
return fac[x]*ifac[y]%p*ifac[x-y]%p;
}
ll pre[500010];
ll suf[500010];
int main()
{
#ifndef ONLINE_JUDGE
freopen("b.in","r",stdin);
freopen("b.out","w",stdout);
#endif
scanf("%lld%d%lld",&n,&k,&q);
n++;
for(int i=0;i<=k;i++)
scanf("%lld",&f[i]);
inv[1]=fac[0]=fac[1]=ifac[0]=ifac[1]=1;
for(int i=2;i<=k+1;i++)
{
inv[i]=-p/i*inv[p%i]%p;
ifac[i]=ifac[i-1]*inv[i]%p;
}
for(int i=2;i<=k+1;i++)
fac[i]=fac[i-1]*i%p;
ll invq=fp(q,p-2);
f1[0]=1;
f2[0]=0;
for(int i=1;i<=k+1;i++)
{
f1[i]=f1[i-1]*invq%p;
f2[i]=(f2[i-1]+f[i-1])*invq%p;
}
ll v1=0,v2=0;
for(int i=0;i<=k+1;i++)
{
v1=(v1+getc(k+1,i)*f1[i]%p*((k+1-i)&1?-1:1))%p;
v2=(v2+getc(k+1,i)*f2[i]%p*((k+1-i)&1?-1:1))%p;
}
g[0]=-v2*fp(v1,p-2)%p;
for(int i=1;i<=k+1;i++)
g[i]=(f1[i]*g[0]+f2[i])%p;
ll ans=0;
ll n2=n%p;
for(int i=0;i<=k;i++)
{
pre[i]=n2-i;
if(i)
pre[i]=pre[i-1]*pre[i]%p;
}
for(int i=k;i>=0;i--)
{
suf[i]=n2-i;
if(i!=k)
suf[i]=suf[i+1]*suf[i]%p;
}
for(int i=0;i<=k;i++)
{
ll v=g[i];
if(i)
v=v*pre[i-1]%p;
if(i!=k)
v=v*suf[i+1]%p;
v=v*ifac[i]%p;
v=v*ifac[k-i]*((k-i)&1?-1:1)%p;
ans=(ans+v)%p;
}
ans=ans*fp(q,n)%p;
ans=(ans-g[0])%p;
ans=(ans+p)%p;
printf("%lld\n",ans);
return 0;
}
【XSY2751】Mythological IV 线性插值的更多相关文章
- [Contest20180316]Mythological IV
令$S(n)=\sum\limits_{i=0}^{n-1}f(i)q^i$,那么存在一个次数$\leq k$的多项式使得$S(n)=q^ng(n)-g(0)$(证明来自杜教的PPT) 设$f$的次数 ...
- 线性插值&双线性插值&三线性插值
http://www.cnblogs.com/yingying0907/archive/2012/11/21/2780092.html 內插是数学领域数值分析中的通过已知的离散数据求未知数据的过程或方 ...
- [转]线性插值&双线性插值&三线性插值
转自:http://www.cnblogs.com/yingying0907/archive/2012/11/21/2780092.html 內插是数学领域数值分析中的通过已知的离散数据求未知数据的过 ...
- 最近邻插值法&线性插值&双线性插值&三线性插值
最近邻插值法nearest_neighbor是最简单的灰度值插值.也称作零阶插值,就是令变换后像素的灰度值等于距它最近的输入像素的灰度值. 造成的空间偏移误差为像素单位,计算简单,但不够精确.但当图像 ...
- 用Kotlin开发Android应用(IV):定制视图和Android扩展
原文标题:Kotlin for Android (IV): Custom Views and Android Extensions 原文链接:http://antonioleiva.com/kotli ...
- DES带IV向量加密解密工具
链接:http://pan.baidu.com/s/1kVAV80J 密码:sgys 鉴于网上的DES加密解密都是不带IV向量的 我就自制了一个带IV向量的DES加密解密的小工具 © 2016-20 ...
- 人人都是 DBA(IV)SQL Server 内存管理
SQL Server 的内存管理是一个庞大的主题,涉及特别多的概念和技术,例如常见的 Plan Cache.Buffer Pool.Memory Clerks 等.本文仅是管中窥豹,描述常见的内存管理 ...
- leetcode 第188题,我的解法,Best Time to Buy and Sell Stock IV
<span style="font-family: Arial, Helvetica, sans-serif; background-color: rgb(255, 255, 255) ...
- 【故障处理】队列等待之enq IV - contention案例
[故障处理]队列等待之enq IV - contention案例 1.1 BLOG文档结构图 1.2 前言部分 1.2.1 导读和注意事项 各位技术爱好者,看完本文后,你可以掌握如下的技能,也 ...
随机推荐
- RPM打包原理、示例、详解及备查
原文地址:https://blog.csdn.net/qq_16542775/article/details/80961213 RPM(Redhat Package Manager)是用于Redhat ...
- filebeat 源码编译安装
下载filebeat源码(6.2.3)下载地址:链接: https://pan.baidu.com/s/1cPR7-xlQJuYZ77uaUpfSpQ 提取码: k77u github下载地址:htt ...
- Python-面向对象简介
面向对象介绍 学习面向对象过程中会遇到一些名词,我们先解释下 名词解释 类:一个类即是对一类拥有相同属性的对象的抽象.蓝图.原型.模板.在类中定义了这些对象的都具备的属性(variables(data ...
- springboot在yml中配置控制台sql打印方法小结
方法一: logging: level: debug level.io.renren: debug path: logs/ file: admin.log 方法二 logging: leve ...
- static特别用法【静态导包】——Java包的静态导入
面试我问你static关键字有哪些作用,如果你答出static修饰变量.修饰方法我会认为你合格,答出静态块,我会认为你不错,答出静态内部类我会认为你很好,答出静态导包我会对你很满意,因为能看出你非常热 ...
- awk+sed编程
- Python之字符串格式化
1) 占位符%s: %s是通用的占位符,所有类型不管是string还是int还是float全都代表. 如果使用%d,则只能代表整数:如果是%f,则只能代表小数: 2) 直接用加号+连接 ...
- [转帖]Windows 操作系统有哪些原生的工具和软件不被人了解却很有用?
Windows 操作系统有哪些原生的工具和软件不被人了解却很有用? 蛋蛋 司马米青E1E1九木 https://www.zhihu.com/question/25343481/answer/30798 ...
- 902. Kth Smallest Element in a BST
Given a binary search tree, write a function kthSmallest to find the kth smallest element in it. You ...
- Oracle 修改数据库表数据提交之后进行回滚
--查看历史数据 select * from test1 as of timestamp to_timestamp('2018-12-23 14:41:00', 'yyyy-mm-dd hh24:mi ...