跳转至

多项式平移|连续点值平移

多项式平移

多项式平移是简单情况的多项式复合变换,给出 的系数和一个常数 ,求 的系数,即

分治法

那么

的系数为二项式系数,那么

其中 为多项式乘法的时间。

Taylor 公式法

处应用 Taylor 公式,有

那么

观察到对于

那么

二项式定理法

考虑二项式定理 那么

得到的结果与上述方法相同。

连续点值平移

例题 LOJ 166 拉格朗日插值 2

给出度数小于等于 的多项式 的连续点值 ,在模 意义下计算 ,其中

Lagrange 插值公式法

考虑 Lagrange 插值公式

上式虽然是卷积形式但不能保证分母上 ,所以下面仅考虑 的情况,其他情况(如系数在模素数意义下时须避免 系数的分母出现零)可以分类讨论解决,令

那么对于

实现中取 需要的部分截断可求出更多点值,且可利用循环卷积。

对问题稍加修改,假设对于某个 给出的点值为 ,我们可以计算 ,视作平移 的点值

Lagrange 插值公式也给出了通过维护一些前后缀积的线性计算单个点值的方法。

应用

同一行第一类无符号 Stirling 数

例题 P5408 第一类斯特林数·行

在模素数 意义下求 ,其中

考虑

其中 为上升阶乘幂,令 那么

通过多项式平移可在 求出 ,问题被缩小为原先的一半即求出 的系数,那么

模素数意义下阶乘

例题 P5282【模板】快速阶乘算法

,其中 为素数且

那么

其中 可在 时间计算,我们希望可以快速计算上式的前半部分。

多项式多点求值

系数的计算可用上述多项式平移算法在 时间得到,但多点求值计算 需要 时间。

连续点值平移

,我们可以用 个点值 唯一确定这个度数为 的多项式,又

所以只需 个点值可以唯一确定 ,那么使用连续点值平移计算 (即平移 的点值 )和 (即平移 的点值 )后将这两者的对应点值相乘即得

计算 考虑

额外增加的一个点值使用线性时间的算法即可。那么在开始时维护 后使用连续点值平移来倍增地维护这些点值,有

而我们只需要约 个点值,所以时间复杂度为

模素数意义下二项式系数前缀和

例题 LOJ 6386 组合数前缀和

,其中

考虑使用矩阵描述 这一步递推,我们有

类似的可以将二项式系数前缀和的递推描述为

注意矩阵乘法的顺序,那么

,考虑维护矩阵

的点值 ,又

且矩阵右下角元素恰为我们在阶乘算法中所维护的,那么

可在 时间完成计算。

模素数意义下调和数

例题 P5702 调和级数求和

,其中 为素数且

,一步递推为

那么

在这里 为第一类无符号 Stirling 数。维护点值矩阵的方法同上。

整式递推

对于更一般的情况,类似于上述快速阶乘算法的案例,我们期望得到一个怎么样的算法?

例题 P6115【模板】整式递推

现有数列 满足 ,其中 为不超过 次的多项式。
给定所有 的系数,和 ,求 。 对 取模。,时限

为了更系统地描述上述几道例题中构造矩阵的过程,我们引入 矩阵 的概念。

为了实现整式递推,我们应当注意到快速阶乘算法过程中,我们维护的点值其实并不是 ,而是 ,即 一对点值之间的倍数关系

由于整式递推阶数 不止是 了,我们就 不能直接维护一对数之间的倍数关系了;而是维护出 一对 维向量之间的线性变换,即 的一个矩阵,矩阵的每一项对应于某个多项式的一个点值

容易发现,对于一般的整式递推远处系数求值问题,我们可以构造

我们先撇开前面的 因子不论,我们现在要维护 这种形式的量,其中乘法自右往左。

容易发现 是一个各项次数不高于 矩阵,只用 个值即可维护。

于是我们维护出 这几个 矩阵的 点值,然后用类似于快速阶乘算法的方式暴力进行多项式点值平移和倍增就好了。

具体地,为了让 抬高 ,我们这么干:

  1. 时间内获取
  2. 时间内获取
  3. 时间内获取
  4. 计算

我们每轮花费 的复杂度进行平移;同时,我们每轮只用做 次矩阵乘法,复杂度可以认为是

最后,我们只用做到 即可。

之前的 因子可以用类似的方法解决。

这样,我们预处理的复杂度即为

考虑查询,我们只用 次向量与矩阵的乘法,以及 次暴力转移。

容易发现这部分计算并不是复杂度瓶颈。

因此,该算法的总复杂度为

编码时,我们可以使用循环卷积的技巧来减小 NTT 的常数。

在实际应用时,我们往往是对一个已知的微分有限的 GF 提取其远处系数,从而 均为常数,也即做到了 的远处系数求值。

参考文献

  • Alin Bostan, Pierrick Gaudry, and Eric Schost. Linear recurrences with polynomial coefficients and application to integer factorization and Cartier–Manin operator.
  • Min_25 的博客
  • ZZQ 的博客 - 阶乘模大质数