[学习笔记]Mys_C_K的链接好题 - 组合计数 - 多项式理论 - EGF学习笔记

重新认知了一遍关于EGF（指数生成函数）的理论。
两个对象A和B的拼接对等于EGF的乘积，这里的拼接是区分A和B的。
因此如果要将同类的对象拼接起来，例如如果要拼接k次，那么对等于$\frac{A^k}{k!}$。
因此，若一个对象B是若干A自身拼接而成，那么：$$B=\sum _{i\ge 0}\frac{A^i}{i!}=e^A$$
这里的A和B都是EGF。
几个例子，例如置换是轮换拼接若干次得到的，而轮换的EGF是：$$A(x)=\sum _{i\ge 1}\frac{(i-1)!}{i!}{x}^i=\sum _{i\ge 1}\frac{1}{i}{x}^i=-\ln (1-x)$$因此置换的EGF是$$B(x)=e^{A(x)}=e^{-\ln (1-x)}=\frac{1}{1-x}=\sum _{i\ge 0}{x}^i$$可以验证置换数量是$n!$。
上述例子可以直接加强为求所有轮换大小在S集合中的置换数量，这样只要将轮换的EGF中在S集合的项保留即可。
再例如无向图B是无向连通图A的若干次拼接，因此可以直接通过$A=\ln B$得到（实测竟然比多项式求逆快？？？）
再例如这个题：
问有多少$n$个点的有标号的图，其有$m$个联通块，且每个联通块都是一条链。（链不分首尾，即$1-2-3$和$3-2-1$认为是相同的）。要求线性。
其实直接套用上文方法即可：
显然答案$H_m$是由一条链的情况$F$的拼接$m$次，而：
$$F(x)=\sum _{n\ge 1}\frac{\frac{n!+[n==1]}{2}}{n!}{x}^n=x+\frac{1}{2}\sum _{n\ge 2}{x}^i=\frac{x}{2}\left(1+\frac{1}{1-x}\right)$$
因此：
$$\begin{gathered} h_{m,n}=n!\left[x^n\right]H_m(x)=n!\left[x^n\right]\frac{F^m(x)}{m!} \\ =n!\left[x^n\right]\frac{x^m}{2^{m}m!}{\left(1+\frac{1}{1-x}\right)}^m=\frac{n!}{2^{m}m!}\sum _{i=0}^m\left(\genfrac{}{}{0ex}{}{m}{i}\right)\left[x^{n-m}\right]{\left(\frac{1}{1-x}\right)}^i \end{gathered}$$
然后：
$$\left[x^k\right]{\left(\frac{1}{1-x}\right)}^m=\left(\genfrac{}{}{0ex}{}{k+m-1}{m-1}\right)$$
（注意对m=0特判）
那么带入上式，可以得知答案是：
$$h_{m,n}=\frac{n!}{2^{m}m!}\left([n==m]+\sum _{i=1}^m\left(\genfrac{}{}{0ex}{}{m}{i}\right)\left(\genfrac{}{}{0ex}{}{n-m+i-1}{i-1}\right)\right)$$
然后就可以$O(n+m)$的计算出答案了。