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

多项式平移

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

分治法

那么

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

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

Taylor 公式法

处应用 Taylor 公式,有

那么

观察到对于

那么

二项式定理法

考虑二项式定理 那么

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

连续点值平移

例题 LOJ 166 拉格朗日插值 2

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

Lagrange 插值公式法

考虑 Lagrange 插值公式

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

那么对于

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

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

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

应用

同一行第一类无符号 Stirling 数

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

在模素数 意义下求 ,其中

考虑

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

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

模素数意义下阶乘

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

,其中 为素数且

那么

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

多项式多点求值

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

连续点值平移

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

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

计算 考虑

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

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

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

例题 LOJ 6386 组合数前缀和

,其中

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

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

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

,考虑维护矩阵

的点值 ,又

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

可在 时间完成计算。

模素数意义下调和数

例题 P5702 调和级数求和

,其中 为素数且

,一步递推为

那么

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

参考文献

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