[学习笔记]FFT之多项式求逆与一类组合计数 DP 问题

一、引入

有时候，我们会遇到这种形式的问题：
给定一个定义域为 $[0,n)$ 且自变量为整数的函数（数组） $f$ ，有一个未知函数 $g$ ，
给定 $f$ 与 $g$ 的卷积 $h$ ，求 $g=\frac hf$ 。
这时候要用到一个技巧——多项式求逆。

二、概念

一个 $n$ 项 $n-1$ 次多项式 $A$ 的逆元，定义为一个多项式 $B$ ，满足：

$$(A\bigotimes B)\equiv1(\bmod x^n)$$
显然 $B[0]=A[0]^{-1}$ 。如果暴力求是 $O(n^2)$ 的。用 FFT 可以做到 $O(n\log n)$ 的复杂度。

三、过程

基本思想是分治。假设已经求得了模 $x^{\lceil\frac n2\rceil}$ 的逆元