一类划分关系和指数级生成函数,多项式exp的关系
划分关系
姑且这么叫着
设满足性质 \(A\) 的集合为 \(S_A\),每个元素有标号
如果 \(S_B\) 是由若干个 \(S_A\) 组成的一个大集合
设 \(a_i\) 表示大小为 \(i\) 的 \(S_A\) 的个数
设 \(b_i\) 表示大小为 \(i\) 的 \(S_B\) 的个数
构造指数级生成函数
\[A(x)=\sum_{i=0}^{\infty}a_i\frac{x^i}{i!}\]
\[B(x)=\sum_{i=0}^{\infty}b_i\frac{x^i}{i!}\]
\(A\) 和 \(B\) 有如下关系
\(e^{A(x)}=B(x)\)
考虑枚举 \(S_B\) 可以分成几个 \(S_A\),因为是有序的,那么
\[B(x)=\sum_i\frac{A^i(x)}{i!}=e^{A(x)}\]
一些例子
1
设 \(f_i\) 表示不要求连通的 \(i\) 个点 的 \(DAG\) 的方案数
设 \(g_i\) 表示连通的 \(i\) 个点 的 \(DAG\) 的方案数
构造指数级生成函数
\[F(x)=\sum_{i=0}^{\infty}f_i\frac{x^i}{i!}\]
\[G(x)=\sum_{i=0}^{\infty}g_i\frac{x^i}{i!}\]
那么
\[F(x)=e^{G(x)},G(x)=ln F(x)\]
2
设 \(f_i\) 表示 \(i\) 个点 的简单无向连通图的方案数
简单无向图的指数级生成函数
\[G(x)=\sum_{i=0}^{\infty}2^{\binom{i}{2}}\frac{x^i}{i!}\]
简单无向连通图的指数级生成函数
\[F(x)=\sum_{i=0}^{\infty}f_i\frac{x^i}{i!}\]
\[G(x)=e^{F(x)}, F(x)=ln G(x)\]
一类划分关系和指数级生成函数,多项式exp的关系的更多相关文章
- Luogu4389 付公主的背包(生成函数+多项式exp)
显然构造出生成函数,对体积v的物品,生成函数为1+xv+x2v+……=1/(1-xv).将所有生成函数乘起来得到的多项式即为答案,设为F(x),即F(x)=1/∏(1-xvi).但这个多项式的项数是Σ ...
- LOJ6077「2017 山东一轮集训 Day7」逆序对 (生成函数+多项式exp?朴素DP!)
题面 给定 n , k n,k n,k ,求长度为 n n n 逆序对个数为 k k k 的排列个数,对 1 e 9 + 7 \rm1e9+7 1e9+7 取模. 1 ≤ n , k ≤ 100 ...
- LuoguP4389 付公主的背包【生成函数+多项式exp】
题目背景 付公主有一个可爱的背包qwq 题目描述 这个背包最多可以装10^5105大小的东西 付公主有n种商品,她要准备出摊了 每种商品体积为Vi,都有10^5105件 给定m,对于s\in [1,m ...
- P4389-付公主的背包【生成函数,多项式exp】
正题 题目链接:https://www.luogu.com.cn/problem/P4389 题目大意 \(n\)种物品,第\(i\)种大小为\(v_i\),数量无限.对于每个\(s\in[1,m]\ ...
- 【NOI2019模拟2019.6.27】B (生成函数+整数划分dp|多项式exp)
Description: \(1<=n,k<=1e5,mod~1e9+7\) 题解: 考虑最经典的排列dp,每次插入第\(i\)大的数,那么可以增加的逆序对个数是\(0-i-1\). 不难 ...
- Gym102028G Shortest Paths on Random Forests 生成函数、多项式Exp
传送门 神仙题-- 考虑计算三个部分:1.\(n\)个点的森林的数量,这个是期望的分母:2.\(n\)个点的所有森林中存在最短路的点对的最短路径长度之和:3.\(n\)个点的所有路径中存在最短路的点对 ...
- P5748-集合划分计数【EGF,多项式exp】
正题 题目链接:https://www.luogu.com.cn/problem/P5748 题目大意 求将\(n\)的排列分成若干个无序非空集合的方案. 输出答案对\(998244353\)取模. ...
- 【xsy2978】Product of Roots 生成函数+多项式ln+多项式exp
题目大意:给你两个多项式$f(x)$和$g(x)$,满足$f(x)=\prod\limits_{i=1}^{n}(a_i+1)$,$g(x)=\prod\limits_{i=1}^{m}(b_i+1) ...
- 【WC2019】数树 树形DP 多项式exp
题目大意 有两棵 \(n\) 个点的树 \(T_1\) 和 \(T_2\). 你要给每个点一个权值吗,要求每个点的权值为 \([1,y]\) 内的整数. 对于一条同时出现在两棵树上的边,这条边的两个端 ...
随机推荐
- 酱油 Noip2018颓废记
也不知道写一些什么了 凑和着写写吧 最近十分的¥#&(^ --#%!*%¥^#$# Day -1 上午考了一场试 就\(TM\)考了60分 好不容易积攒起来的信心啊~~~~~~ 就这么垮了~~ ...
- SparkSQL开窗函数 row_number()
开始编写我们的统计逻辑,使用row_number()函数 先说明一下,row_number()开窗函数的作用 其实就是给每个分组的数据,按照其排序顺序,打上一个分组内行号 比如说,有一个分组20151 ...
- 小M的作物 最小割最大流
题目描述 小M在MC里开辟了两块巨大的耕地A和B(你可以认为容量是无穷),现在,小P有n中作物的种子,每种作物的种子有1个(就是可以种一棵作物)(用1...n编号). 现在,第i种作物种植在A中种植可 ...
- 函数直接写在html页面的<script>里可以调用,但是单独放在js文件里不能调用
1.函数直接写在页面相当于是你本页调用,所以理所应当可以调用 2.js单独文件不能调用是因为你没有引用js文件,如果引用了的话,也是可以调用的. 引用方式,你可以直接拖拽(我一般都是拖拽,因为路径准确 ...
- phpspreadsheet开发手记
坑安装简单示例通过模板来生成文件释放内存单元格根据索引获取英文列设置值合并单元格居中显示宽度设置批量设置单元格格式直接输出下载自动计算列宽函数formula单元格变可点击的超链 PhpSpreadsh ...
- docker相关命令
1. 进入docker容器 ① 查看运行的容器:docker ps -a ② 进入容器:docker exec -ti [容器id] bash ③ 退出容器:eixt
- javac的Resolve类解读
方法1:isInitializer() /** An environment is an "initializer" if it is a constructor or * an ...
- JavaScript引擎理解
JavaScript 虽然给人感觉是一个多线程执行的语言,但是其实JavaScript引擎是伪多线程,是单线程执行的, 浏览器内核:实现允许多个线程异步执行,这些线程在内核制控下相互配合以保持同步.假 ...
- 微软URLRewriter.dll的url重写的简单使用
1.先下载MSDNURLRewriting.zip包,打开代码生成URLRewriter.dll文件: 2.将URLRewriter.dll文件引用到项目中: 3.在web.config文件中 &l ...
- Basic .do(Can be used as template)
#Time: 2017-05-06 #By : YINBin@122275 quit -sim cd D:/Documents/Work/UVM_PRJ/uvm-crc-test set ...