【BZOJ3684】大朋友和多叉树(拉格朗日反演)

题目链接

题意

求满足如下条件的多叉树个数：
1.每一个点的儿子个数在给定的集合 $S$ 内
2.总的叶子节点树为 $s$

儿子之间有顺序关系，但节点是没有标号的。

Sol

拉格朗日反演板子题。

(似乎不像是个反演)

---

拉格朗日反演:

用来求 复合逆。

如果两个多项式 $F(x),G(x)$ 满足常数项均为 0，一次项均不为 0，并且 $G(F(x))=x$，那么称 $F(x)$ 与 $G(x)$ 互为复合逆(其实就是反函数)。
其中 $F(x)$ 和 $G(x)$ 可以互换。

结论如下:

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

证明工作及实际做法:

这个式子里怎么有 $x^{-1}$ 啊…据说是抽象代数里的，直接懵逼。

先不管这些，假装我们允许下标为负，先来随便乱推一下这个式子。

$$G(F(x))=x$$

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

这里写成了形式幂级数的形式。
我们两边对 $x$ 求导。

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

两边同时除掉 $F^n(x)$，取 $[x^{-1}]$(我也不知道我在干什么)
$$[x^{-1}]\sum _{i=1}i{a}_i{F}^{i-n-1}(x)F^{\prime }(x)=[x^{-1}]F^n(x<$$