拉格朗日反演

前言

闲得无聊来学学看。
抽代相关的前置技能自然是一点不会的，所以一些内容就只能感受一下。
总的来说就是我们一般见到的形式幂级数都是形如$$f(x)=a_0+a_{1}x+a_2{x}^2+...$$
但这里讨论的幂级数是形如$$f(x)=a_{-m}{x}^{-m}+...+a_{-1}{x}^{-1}+a0+a_{1}x+...+a_n{x}^n+...$$
也就是幂级数中带上了负数次幂，所以在拉格朗日反演定理中会出现形如$x^{-1}$的东西。

目标

拉格朗日反演实际上是用来求复合逆的。
所谓复合逆就是对于两个常数项为$0$且一次项系数互为逆元的多项式$f(x)$和$g(x)$，满足$$g(f(x))=x$$
由于常数项为$0$的形式幂级数在复合运算中构成群，所以实际上也有$$f(g(x))=x$$
所以称$f(x)$和$g(x)$互为复合逆。
假设现在知道$g(x)$的系数，现在要求$f(x)$的系数。

拉格朗日反演

若$$g(f(x))=x$$则有 [ x