线性递推乘积

首先有一定经验都应该能预见到两个线性递推数列的乘积还是个线性递推数列，然而用 BM 求解显得有些粗暴……

初级理解：注意当 $a_n$ 是 $N$ 阶递推，$b_n$ 是 $M$ 阶递推，那么记 $a_n$ 的递推多项式为 ${\prod }_i(x-{\lambda }_i{)}^{s_i}$，$b_n$ 的递推式为 ${\prod }_j(x-{\mu }_j{)}^{t_j}$，则可得
$$\begin{array}{rl}{a}_n& =\sum _i\sum _{k=0}^{s_i}{u}_{ik}{n}^k{\lambda }_i^n\\ b_n& =\sum _j\sum _{k=0}^{t_j}{v}_{jk}{n}^k{\mu }_j^n\\ a_n{b}_n& =\sum _i\sum _j\sum _{k=0}^{s_i}\sum _{l=0}^{t_j}{u}_{ik}{v}_{jl}{n}^{k+l}{\lambda }_i^n{\mu }_j^n\end{array}$$
因此可知新的递推式的根是多重集 { λ i μ j } \{ \lambda_i \mu_j \} {λi​μj​} 组成的，其中包含的次数有 $s_i+t_j+1\le (s_i+1)(t_j+1)$ 所以为 $\le NM$ 阶多项式。
但是，这个推导只在多项式总是可以完全分解的域上才可以。同时这个方法在实际得到递推式方面并不好用。

接下来的推导并不是严谨的，并没有考虑在一般域上的推导……但是足够显示出已有的结论。

我们记 $f(x),g(x)$ 的根的多重集 { α i } , { β j } \{\alpha_i\}, \{\beta_j\} {αi​},{βj​}，我们在其上定义结式（resultant）：
$${\mathrm{Res}}_x(f(x),g(x))=f_N{g}_M\prod _{i=1}^N\prod _{j=1}^M({\alpha }_i-{\beta }_j)$$
我们一会将指出通过等价的修改，可以在不一定可以多项式求根的环上定义结式。

现在让我们看看类似之处，我们要求一个 $NM$ 阶多项式，它是
$$\prod _{i=1}^N\prod _{j=1}^M(x-{\alpha }_i{\beta }_j)$$
它必然是一个线性递推，但不一定是最小的，但是对于任意多项式来说显然达到了一个上界。我们对其变形为
$$\begin{array}{rl}& \prod _{i=1}^N{\alpha }_i^M\prod _{j=1}^M(x/{\alpha }_i-{\beta }_j)\\ & =\prod _{i=1}^N{\alpha }_i^{M}g(x/{\alpha }_i)\end{array}$$

注意对于结式，我们有变形：
$$\prod _{i=1}^N\prod _{j=1}^M({\alpha }_i-{\beta }_j)=\frac{1}{g_M}\prod _{i=1}^{N}g({\alpha }_i)$$
可以得到对于 ${\prod }_{i=1}^N{\alpha }_i^{M}g(x/{\alpha }_i)$，令 $t={\alpha }_i$，注意到 $t^{M}g(x/t)={\sum }_{j=0}^M{t}^{M-j}{g}_j{x}^j$，将 $x$ 看做系数，则是关于 $t$ 的多项式。 因此原式就是 $\mathrm{R}\mathrm{e}{\mathrm{s}}_{\mathrm{t}}(f(t),t^{M}g(x/t))$。

解 1. Sylvester 矩阵

结式的计算可以用 Sylvester 矩阵的行列式表示：
$${\mathrm{Res}}_t(f(t),t^{M}g(x/t))=\left|\begin{array}{ccccccccc}1& {\alpha }_1& {\alpha }_2& \cdots & {\alpha }_N& 0& 0& \cdots & 0\\ 0& 1& {\alpha }_1& \cdots & {\alpha }_{N-1}& {\alpha }_N& 0& \cdots & 0\\ ⋮& & \ddots & & & & & & ⋮\\ 0& \cdots & 0& 1& {\alpha }_1& & & \cdots & {\alpha }_N\\ {\beta }_M& {\beta }_{M-1}x& \cdots & {\beta }_1{x}^{M-1}& x^M& 0& & \cdots & 0\\ 0& {\beta }_M& \cdots & {\beta }_2{x}^{M-1}& {\beta }_1{x}^{M-1}& x^M& 0& \cdots & 0\\ ⋮& & \ddots & & & & & & ⋮\\ 0& \cdots & 0& {\beta }_M& {\beta }_{M-1}x& & & \cdots & x^M\end{array}\right|$$
行列式可以在 $\Theta (N^{\omega })$ 时间内完成，即矩阵乘法复杂度。

鈤，这个东西插值的复杂度是 $\Theta (NM(N+M{)}^{\omega })$。

这个好像复杂度都不如 BM 把？

解 2. 多项式欧几里得

我们考虑研究结式的对称性。

考察式子 $${\mathrm{Res}}_x(f(x),g(x))=\prod _{i=1}^{N}g({\alpha }_i)$$，那么如果 ${\alpha }_i$ 又不巧是 $g$ 的一个根，那么 $g({\alpha }_i)=0$。

因此我们可以发现，对于 ${\mathrm{Res}}_x(f(x),g(x))$ 且那么任取 $q(x)$，有 ${\mathrm{Res}}_x(f(x),g(x))={\mathrm{Res}}_x(f(x),g(x)+q(x)f(x))$。

因此我们可以得到 ${\mathrm{Res}}_x(f(x),g(x))=(-1{)}^{NM}{\mathrm{Res}}_x(g,f\mathrm{m}\mathrm{o}\mathrm{d}g)$。至此我们将结式计算归结与多项式欧几里得。多项式欧几里得的朴素复杂度为 $\Theta (NM)$，因此朴素做法的复杂度为 $\Theta (N^2{M}^2)$。

优化：Half-GCD 算法

事实上，我们可以通过分治方法快速进行多项式欧几里得，这一方法进行的多项式欧几里得可以做到 $\Theta ((N+M){\log }^2(N+M))$。因此复杂度为 $\Theta (NM(N+M){\log }^2(N+M))$。

这看起来还是不见得跑得过 BM……

解 3. 另一个变形 //idea：djq_cpp

我们尝试翻转多项式，取对数：
$$\begin{array}{rl}& \ln \left[\prod _{i=1}^N\prod _{j=1}^M(1-{\alpha }_i{\beta }_{j}x)\right]\\ & =\sum _{i=1}^N\sum _{j=1}^M\sum _{k\ge 1}-\frac{({\alpha }_i{\beta }_{j}x{)}^k}{k}\\ & =-\sum _{k\ge 1}\frac{x^k}{k}\left(\sum _{i=1}^N{\alpha }_i^k\right)\left(\sum _{j=1}^M{\beta }_j^k\right)\\ & =-\sum _{k\ge 1}\frac{x^k}{k}([x^{k-1}]f^{\prime }/f)([x^{k-1}]g^{\prime }/g)\end{array}$$
复杂度瓶颈为做一次长 $NM$ 的多项式 $\exp$，复杂度为 $\Theta (NM\log (NM))$。

参考资料

https://math.stackexchange.com/questions/1348838/sum-and-product-of-linear-recurrences

https://cp-algorithms.com/algebra/polynomial.html