拉格朗日反演

拉格朗日反演

若两个多项式 $F(x),G(x)$ 满足常数项为 $0$ 且一次项不会为 $0$ ，且 $G(F(x))=x$ ，则称 $F(x),G(x)$ 为复合逆，同样 $F(G(x))=x$，在模 $x^n$ 也成立，但是需要群论的知识证明有：

$$[x^n]F(x)=\frac{1}{n}[x^{-1}]\frac{1}{G^n(x)}$$

此时 $\frac{G(x)}{x}$ 为整式，所以又可写为:

$$[x^n]F(x)=\frac{1}{n}[x^{n-1}](\frac{x}{G(x)}{)}^n$$
有拓展形式当 $F(G(x))=H(x)$ 时候，有：
$$[x^n]F(x)=\frac{1}{n}[x^{n-1}]H^{\prime }(x)(\frac{x}{G(x)}{)}^n$$

假证明

首先我们声明常数项为 $0$ 不可逆，我们可以将多项式的指数拓展到负数，只是作为一种记号比如 $\frac{A(x)}{B(x)}$ ，当 $B(x)$ 没有常数项的时候，我们尝试将 $B(x)$ 表示为 $x^d\cdot C(x)$ 那么就有 $\frac{A(x)}{C(x)}{x}^{-d}$ ，我们相当于只是拓展了项数并没有改变多项式求逆这一本质
推导对 $G(F(x))=x$ 可以表示为：

$$\sum _{i=1}^{\infty }{a}_i{F}^i(x)=x$$

求导可得：

$$\sum _{i=1}^{\infty }i{a}_i{F}^{i-1}(x)F^{\prime }(x)=1$$

除以 $F^n(x)$ ：
$$\sum _{i=1}^{\infty }i{a}_i{F}^{i-n-1}(x)F^{\prime }(x)=\frac{1}{F^n(x)}$$
并取 $[x^{-1}]$ 的系数

$$[x^{-1}]\sum _{i=1}^{\infty }i{a}_i{F}^{i-n-1}(x)F^{\prime }(x)=[x^{-1}]\frac{1}{F^n(x)}$$

当 $i\ne n$ 时候有 $F^{i-n-1}(x)F^{\prime }(x)=\frac{1}{i-n}(F^{i-n}{)}^{\prime }(x)$
然后因为常数求导后 $(x^0{)}^{\prime }=0\cdot x^{-1}=0$ 所以这些项其实都是 $0$
于是
$$[x^{-1}]n{a}_n{F}^{-1}(x)F^{\prime }(x)=[x^{-1}]\frac{1}{F^n(x)}$$

当 $i=n$ 时候 ：
$$F^{-1}(x)F^{\prime }(x)=\frac{a_1+2a_{2}x+3a_3{x}^2+...}{a_{1}x+a_2{x}^2+a_3{x}^3+...}$$
我们用刚刚说的那种方式来化简：
$$F^{-1}(x)F^{\prime }(x)=\frac{a_1+2a_{2}x+3a_3{x}^2+...}{a_{1}x}\cdot \frac{1}{1+\frac{a_2}{a_1}x+\frac{a_3}{a_1}{x}^2+...}$$

注意我们只求 $[x^{-1}]$ 的系数
可以写成：
$$F^{-1}(x)F^{\prime }(x)=(x^{-1}+2\frac{a_2}{a_1}+3\frac{a_3}{a_1}x+...)\cdot \frac{1}{1+\frac{a_2}{a_1}x+\frac{a_3}{a_1}{x}^2+...}$$
然后发现后面的式子逆常数项为 $1$ ，前面只有一个 $x^{-1}$
于是就有
$$[x^{-1}]F^{-1}(x)F^{\prime }(x)=1$$
代入移项可得：
$$a_n=\frac{1}{n}[x^{-1}]\frac{1}{F^n(x)}$$
则有
$$[x^n]G(x)=\frac{1}{n}[x^{-1}]\frac{1}{F^n(x)}$$
同样也有
$$[x^n]F(x)=\frac{1}{n}[x^{-1}]\frac{1}{G^n(x)}$$
此时 $\frac{G(x)}{x}$ 为整式，所以又可写为:

$$[x^n]F(x)=\frac{1}{n}[x^{n-1}](\frac{x}{G(x)}{)}^n$$

拓展形式就是在第一步那里完了后套进去就可以了…懒得写了
运用就是做题时候你求出 $G(F(x))=x$ 之类的你可以快速以 $O(nlogn)$ 的时间求第 $n$ 项的值