多项式除法
-
定义 \(f^{R}(x)\) 为将多项式系数颠倒后的多项式
-
\(f^{R}(x)=x^{n}f(\frac{1}{x})\)
-
多项式的除法定义见:LG P4512 【模板】多项式除法
\[x^nf(x)=x^{n-m}Q(x)x^mg(x)+x^{n-m+1}x^{m-1}R(x)
\]
- 注意到 \(R(x)\) 有个 \(x^{n-m+1}\) 的系数,那么
\[f^R(x)\equiv Q^R(x)g^R(x) \pmod {x^{n-m+1}}
\]
-
因为 \(Q\) 的幂次为 \(n-m\) ,所以没有影响,那么就可以先把 \(Q\) 求出来
-
然后再用 \(Q\) 回带除 \(R\)