COGS 2353 2355 2356 2358 有标号的DAG计数

本文探讨了有向无环图(DAG)的计数问题,包括不连通和连通情况的公式推导,利用组合数学原理和指数生成函数(EGF)解析DAG计数问题。同时,介绍了洛谷P4841城市规划问题的解决方案及有标号二分图的计数方法。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

不用连通

枚举入度为0的一层

卷积

发现有式子:

由$n^2-i^2-(n-i)^2=2*i*(n-i)$

可得$2^{i*(n-i)}=\frac{{\sqrt 2}^{(n^2)}}{{\sqrt 2}^{(i^2)}*{\sqrt 2}^{(n-i)^2}}$

设$g(n)={\sqrt 2}^{(n^2)}$

则,$2^{i*(n-i)}=\frac{g(n)}{g(i)*g(n-i)}$

指数相乘变成指数相加减,把$g(n)$除过去即可

 

连通

弱联通:变成无向边是连通的

f(n)表示n个点的DAG个数,g(n)表示n个点的弱连通DAG个数

$f(n)=\sum_{i=0}^{n-1} C(n-1,i)*g(n-i)*f(i)$

不妨设$g[0]=0

则$\frac{f(n)}{(n-)!}=\sum_{i=0}^{n} \frac{g(n-i)}{(n-i-1)!}*\frac{f(i)}{i!}$

所以,如果把F和G看成f和g的EGF

不妨设$g[0]=0

有$F'=G'*F$

当$G=lnF$时候,恰好成立

所以,$G=ln F$

 

PS:不连通转连通都可以直接放上Ln了事

luoguP4841 城市规划

 

COGS 2392 2393 2395 有标号的二分图计数

 

转载于:https://www.cnblogs.com/Miracevin/p/10752485.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值