一类划分关系和指数级生成函数,多项式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]\) 内的整数. 对于一条同时出现在两棵树上的边,这条边的两个端 ...
随机推荐
- day00 -----博客作业1
问题1.使用while循环输入 1 2 3 4 5 6 8 9 10 i = 0 while i<10: i+=1 if i ==7: continue print(i) 问题2 求1- ...
- ADC新库
1.单次采集模式 1.在STM32CUBMX中设置为单次采集模式 2.在C文件中用HAL_ADC_START()函数启动ADC 3.用HAL_ADC_PollForConversion()延时等待采集 ...
- Eigenface与PCA人脸识别算法实验
简单的特征脸识别实验 实现特征脸的过程其实就是主成分分析(Principal Component Analysis,PCA)的一个过程.关于PCA的原理问题,它是一种数学降维的方法.是为了简化问题.在 ...
- [转] Nexus OSS 3.xx 体验
[From] https://blog.csdn.net/qq250782929/article/details/51605965 Nexus Manager OSS 3.0 —Maven Repos ...
- (转)【干货】MySQL 5.7 多实例(多进程)配置教程
原文:https://blog.csdn.net/zougen/article/details/79567744 https://klionsec.github.io/2017/09/20/mysql ...
- vertical-aligin
垂直对齐元素只应用于行内元素(图像.文本)和表单元素 垂直对齐文本会影响行高 默认值为baseline
- accessToken的使用
1.accessToken是啥,干嘛用? 形象解释:申请调兵-->皇帝同意-->兵符-->开始调兵 拿到用户在第三方平台的唯一的标识; 获取用户的nickname,头像,邮箱等其他信 ...
- Android序列化:Parcelable/Serializable
1.易用性及速度 1.1 Serializable——简单易用 Serializable的作用是为了保存对象的属性到本地文件.数据库.网络流.rmi以方便数据传输,当然这种传输可以是程序内的也可以是两 ...
- 11.Set 和 Map数据结构
1.set 基本用法 ES6 提供了新的数据结构 Set.它类似于数组,但是成员的值都是唯一的,没有重复的值. Set 本身是一个构造函数,用来生成 Set 数据结构. const s = new S ...
- 看过ruby相关书籍
<ruby编程语言> <crafting rails applications> <agile web developemnt> <build awesome ...