首页 > 其他分享 >生成函数相关

生成函数相关

时间:2023-03-07 17:23:48浏览次数:36  
标签:DAG 函数 ln dfrac sum 生成 ge 相关 binom

P6295 有标号 DAG 计数

考虑不一定弱联通的 DAG 的 EGF, ln 一下得到答案。

\(F[i]\) : \(i\) 个点的有标号 DAG 数量

\(F[i] = \sum_{j = 1} ^ {i} (-1) ^ {j - 1} \dbinom{i}{j} F[i-j] 2^{(j)(i-j)}\)

容斥的含义:钦定一个大小为 \(j\) 的集合是 DAG 的零度点。删去集合后仍是个 DAG。

trick: \(j \times (i - j) = \binom{i}{2} - \binom{j}{2} - \binom{i - j}{ 2}\)

容斥就是一个二项卷积的形式。

\(\dfrac{F[i]}{2^{\binom{i}{2}}} = \sum_{j = 1}^{i} \dbinom{i}{j} \dfrac{(-1)^{j - 1}}{2^\binom{j}{2}} \cdot \dfrac{F[i-j]}{ 2^{\binom{i - j}{ 2}}}\)

设 \(F(x), G(x)\) 为两个东西的 EGF

\(F(x) = \sum_{j\ge 0}\dfrac{-1^{(j-1)}}{j! 2^{\binom{j}{2}}}x^j\)
\(G(x) = \sum_{j\ge 0}\dfrac{F[j]}{j! 2^{\binom{j}{2}}}x^j\)

反正就是 \(G(x)\) 的系数钦定 \(j = 0\) 的时候为 \(0\) 即可。

\(F(x) = F(x) G(x) + 1\)

\(F(x) = \dfrac{1}{1 - G(x)}\)

$ + 1$ 考虑到上述公式钦定 \(i \ge 1\),转移时 \(j = 0\) 都忽略了,但是 \(F[0] = 1\)。

注意取 ln 和 计算 F(x) 的系数是两个过程。

我们能使用 exp 的组合意义,意味着不能存在 \(2^{\dbinom{i}{2}}\)

故求逆以后需要先还原点值在进行一个 ln 的ln。

标签:DAG,函数,ln,dfrac,sum,生成,ge,相关,binom
From: https://www.cnblogs.com/Lates/p/17188437.html

相关文章

  • 从青铜到王者,揭秘 Serverless 自动化函数最佳配置
    作者:丛霄背景介绍全托管的Serverless计算平台能给用户带来更少的运维代价、更强的稳定性和更快的弹性能力。Serverless的目标之一是免运维,但仍旧存在一些障碍,在Serv......
  • C++笔记-函数指针
    函数指针语法://fcnPtrisapointertoafunctionthattakesnoargumentsandreturnsanintegerint(*fcnPtr)();特点:函数指针的类型(参数和返回值)都必须和......
  • IP地址,主机号,网络号,子网掩码,网关,端口等相关概念
    IP地址=网络地址+主机地址,又称网络号和主机号构成。A类:以0开头,第1字节为网络地址+后3个字节主机地址组成,地址范围0.0.0.0~127.255.255.255。可用的A类网络有126个网络......
  • Java函数(方法)的默认值问题
    Java函数(方法)的默认值问题 Java不能为函数(方法)设置默认参数。原因是“默认参数”和“方法重载”同时支持的话有二义性的问题,但使用“方法重载”可以间接地实现”默认......
  • vba 内置函数
    一.测试函数IsNumeric(x)‘是否为数字,返回Boolean结果,TrueorFalseIsDate(x)‘是否是日期,返回Boolean结果,TrueorFalseIsEmpty(x)‘是否为Empty,返回Boolean结果......
  • 生成zip文件,并下载
    1.zip生成/***@paramsourceFilePath:待压缩的文件路径文件的目录,并非文件路径*@paramzipFilePath:压缩后存放路径*@paramfileName......
  • 指针与函数
    指针变量作为函数的参数如果想再函数内部修改外部变量的值,需要将外部变量的地址传递给函数  函数内部想要操作(读或写)外部数组元素,将数组名传递给函数  ......
  • 车载相关
    浅谈智能座舱SoC芯片https://www.ednchina.com/technews/19393.html基于美信串行解串器实现UART串口通信https://blog.csdn.net/rentong123/article/details/123829666......
  • Python 内置函数装饰器 classmethod staticmethod
    使用官方的说法:classmethod(function)中文说明:classmethod是用来指定一个类的方法为类方法,没有此参数指定的类的方法为实例方法,使用方法如下:classC:@classmetho......
  • java代码自动生成带swagger3注解
    最近在做一个经组的项目他们用的之前同事配的[tk.mybatis.mapper.generator]自动生成的包,但是这玩意不支持swagger3注解配置。而且重写的话里边BUG还挺多。所以,索性就不用......