题意
求有多少个 n n n个点带标号简单无向连通图满足所有极大点双连通分量的大小都在给定的几何 S S S中。
n ≤ 1 0 5 , ∑ x ∈ S x ≤ 1 0 5 n\le10^5,\sum_{x\in S}x\le10^5 n≤105,∑x∈Sx≤105
分析
神仙zjt出的神仙题。。。
设 h k h_k hk表示 n n n个点带标号有根无向连通图数量, H ( x ) H(x) H(x)表示 h k h_k hk的 E G F EGF EGF,先把 H ( x ) H(x) H(x)求出来。
考虑一个带标号的有根无向连通图,我们把根以及根所在点双的所有边删掉后,对于那些和根在同一个点双中的点,每个点必然会对应一个连通块。
考虑通过使一个无向连通图和上述一组分割对应来对无向连通图计数,设 b k b_k bk表示 k + 1 k+1 k+1个点带标号点双连通分量个数,则有 h n + 1 ( n + 1 ) ! = ∑ k = 0 n b k k ! H ( x ) k \frac{h_{n+1}}{(n+1)!}=\sum_{k=0}^n\frac{b_k}{k!}H(x)^k (n+1)!hn+1=k=0∑nk!bkH(x)k
如果设 B ( x ) B(x) B(x)表示 b k b_k bk的 E G F EGF EGF,则有 H ( x ) = x e B ( H ( x ) ) H(x)=xe^{B(H(x))} H(x)=xeB(H(x))
不妨将上式写成 H ( x ) e B ( H ( x ) ) = x \frac{H(x)}{e^{B(H(x))}}=x eB(H(x))H(x)=x
若设 H − 1 ( x ) = x e B ( x ) H^{-1}(x)=\frac{x}{e^{B(x)}} H