LibreOJ #6363.「地底蔷薇」生成函数+拉格朗日反演

题意

求有多少个 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 n105,xSx105

分析

神仙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=0nk!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

  • 0
    点赞
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值