【LibreOJ 6269&6269&6538 烷基计数 加强版 加强版】【生成函数+牛顿迭代】

题意

求$n$个碳原子的烷基的同分异构体数目。

简单版

$n\le 500$
要求的是每个点的度数不大于$4$且根节点的度数不大于$3$的无标号有根树数量。
设$f_i$表示有$i$个碳原子的烷基数目，枚举两个子树的大小算贡献即可。
时间复杂度$O(n^3)$

加强版

$n\le 5000$
设$f_{k,i,j}$表示有$i$个碳原子，且根的度数为$j$且最大子树大小不超过$k$的烷基数量。
转移的时候枚举当前的树有多少棵大小为$k$的子树。
不难发现第一维可以省略。
时间复杂度$O(n^2)$

加强版 加强版

$n\le 100000$
考虑求出Polya定理的生成函数。
这里的颜色数量相当于烷基个数，权重相当于烷基的点数。
置换群为$3$的全排列即$S_3$，显然其循环节指标生成函数为$$Z_{S_3}(t_1,t_2,t_3)=\frac{t_1^3+3t_1{t}_2+2t_3}{6}$$
设答案的生成函数为$F(x)$，则$$F(x)=1+x{Z}_{S_3}(F(x),F(x^2),$$