min-max容斥学习笔记
min-max容斥学习笔记
前置知识
二项式反演
\[
f(n)=\sum_{i=0}^n\binom{n}{i}g(i)\Leftrightarrow g(n)=\sum_{i=0}^n(-1)^{n-i}\binom{n}{i}f(i)
\]一些定义
\(\max (S),\min (S)\)表示分别集合\(S\)的最大,最小元素
套路式子
\[
\max(S)=\sum_{\varnothing\not=S\subseteq T}(-1)^{|T|-1}\min(T)
\]证明
首先我们先设一个容斥系数\(f(x)\)
\[
\max(S)=\sum_{\varnothing\not=S\subseteq T}f(|T|)\min(T)
\]
设集合\(S\)有\(n\)个元素,我们讨论第\(k\)小元素的贡献
\[
\sum_{i=0}^{n-k}\binom{n-k}{i}f(i+1)=[n-k=0]
\]
就是当这个元素成为最小值时另外再选几个比它要大的元素的方案,如果这个元素不是最大元素,要求不贡献设
\[
F(n)=f(n+1),G(n)=[n=0]
\]
上式为
\[
G(n)=\sum_{i=0}^n\binom{n}{i}F(i)
\]
由二项式反演
\[
F(n)=\sum_{i=0}^n(-1)^{n-i}\binom{n}{i}G(i)
\]
代回去
\[
\begin{aligned}
f(n+1)&=\sum_{i=0}^n(-1)^{n-i}\binom{n}{i}[i=0]\\
&=(-1)^n\\
f(n)&=(-1)^{n-1}
\end{aligned}
\]
所以有
\[
\max(S)=\sum_{\varnothing\not=S\subseteq T}(-1)^{|T|-1}\min(T)
\]用处
在期望意义下,这个式子依然成立,即
\[
E(\max(S))=\sum_{\varnothing\not=S\subseteq T}(-1)^{|T|-1}E(\min(T))
\]
下面给几个例题例题
-
题意:有\(n\)个卡牌,每秒有\(p_i\)的概率抽到卡牌\(i\),求至少得到每个卡牌至少一张的期望时间
min-max容斥有个套路思想就是化max为min,因为min一般比较好统计
令\(\max (S)\)表示集合\(S\)中最后一个获得元素的期望时间,\(\min (S)\)代表集合\(S\)中第一个获得元素的期望时间
那么有上面的套路式子
\[
\max(S)=\sum_{\varnothing\not=S\subseteq T}(-1)^{|T|-1}\min(T)
\]
\(\min (T)\)就非常好求了
\[
\min(T)=\frac{1}{\sum_{i\in T}p_i}
\]
就是先把总概率算一下的事情 -
题意:初始有一个数\(0\),每秒有\(p_i\)的概率或(|)上整数\(i(i\in [0,2^n))\),求期望多少秒后数组变成\(2^n-1\)
令\(\max(S)\)表示最后一个或上去的期望时间,\(\min(S)\)同理
式子随便套,考虑求出\(\min(T)\)
\[
\min(T)=\frac{1}{\sum_{S\cap T\not=\varnothing}p_S}
\]
考虑求底下的东西
\[
\begin{aligned}
\sum_{S\cap T\not=\varnothing}p_S&=\sum_{S\subseteq U} p_S-\sum_{S\cap T=\varnothing}p_S\\
&=\sum_{S\subseteq U}p_S-\sum_{\overline S\cup T=\overline S}p_S
\end{aligned}
\]
后面的东西取补集后是子集和的形式,我们可以\(FWT\)或者\(FMT\)在\(2^nn\)内求出 -
题意:树上随机游走,给定起点,每次询问至少走过一次点集的期望时间
直接套路上去考虑如何求\(\min (T)\),即第一次到达给定点集的期望步数
令\(dp_u\)表示\(u\)走到给定点集\(S\)的期望步数,\(d_u\)为\(u\)点度数
若\(u\in S,dp_u=0\)
否则
\[
\begin{aligned}
dp_u&=\frac{dp_{fa}}{d_u}+\frac{\sum dp_v}{d_u}+1\\
&=A_udp_{fa}+B_u
\end{aligned}
\]
就先把环状的转移和其他的分开搞一下,那么
\[
dp_u=\frac{dp_{fa}}{d_u}+\frac{\sum A_vdp_u+B_v}{d_u}+1
\]
化简一下
\[
(1-\frac{\sum A_v}{d_u})dp_u=\frac{dp_{fa}}{d_u}+\frac{\sum B_v}{d_u}+1
\]
把左边除过去就可以了这样的话我们可以\(n2^n\log 998244353\)处理出每个集合的\(\min(S)\)了,仍然可以预处理子集和
-
kthmax-min容斥
\[
kthmax(S)=\sum_{\varnothing\not=T\subseteq S}(-1)^{|T|-k}\binom{|T|-1}{k-1}\min(T)
\]
\(kthmax(S)\)表示集合中第\(k\)大的元素证明起来和普通的差不多
设一个容斥系数\(f(n)\),统计\(n\)个元素中第\(x\)小的贡献
\[
\sum_{i=0}^{n-x}\binom{n-i}{i}f(i+1)=[n-x+1=k]\\
\sum_{i=0}^n\binom{n}{i}f(i+1)=[n=k-1]\\
f(n+1)=\sum_{i=0}^n(-1)^{n-i}\binom{n}{i}[i=k-1]\\
f(n)=(-1)^{n-k}\binom{n-1}{k-1}
\]参考资料
min-max容斥学习笔记的更多相关文章
- [总结] Min-Max容斥学习笔记
min-max 容斥 给定集合 \(S\) ,设 \(\max(S)\) 为 \(S\) 中的最大值,\(\min(S)\) 为 \(S\) 中的最小值,则: \[\max(S)=\sum_{T\in ...
- MinMax 容斥 学习笔记
基本形式 \[ \max(S) = \sum_{T\subseteq S, T \neq \varnothing} (-1)^{|T|-1}\min(T) \] 证明 不提供数学证明. 简要讲一下抽象 ...
- javascript设计模式(张容铭)学习笔记 - 外观模式绑定事件
有一个需求要为document对象绑定click事件来是想隐藏提示框的交互功能,于是小白写了如下代码: document.onclick = function(e) { e.preventDefaul ...
- javascript设计模式(张容铭)学习笔记 - 照猫画虎-模板方法模式
模板方法模式(Template Method):父类中定义一组操作算法骨架,而降一些实现步骤延迟到子类中,使得子类可以不改变父类的算法结构的同时可重新定义算法中某些实现步骤. 项目经理体验了各个页面的 ...
- [模板] 容斥原理: 二项式反演 / Stirling 反演 / min-max 容斥 / 子集反演 / 莫比乌斯反演
//待更qwq 反演原理 二项式反演 若 \[g_i=\sum_{j=1}^i {\binom ij} f_j\] , 则有 \[ f_i=\sum_{j=1}^i (-1)^{i-j} {i \ch ...
- 快速沃尔什变换 (FWT)学习笔记
证明均来自xht37 的洛谷博客 作用 在 \(OI\) 中,\(FWT\) 是用于解决对下标进行位运算卷积问题的方法. \(c_{i}=\sum_{i=j \oplus k} a_{j} b_{k} ...
- min-max 容斥
$\min - \max$ 容斥 Part 1 对于简单的$\min - \max$容斥有一般形式,表达为:$\max(S)=\sum\limits_{T\subseteq S}(-1)^{|T|-1 ...
- Min-max 容斥与 kth 容斥
期望的线性性: \[E(x+y)=E(x)+E(y) \] 证明: \[E(x+y)=\sum_i \sum_j(i+j)*P(i=x,j=y) \] \[=\sum_i\sum_ji*P(i=x,j ...
- 15ecjtu校赛1006 (dfs容斥)
Problem Description 在平面上有一个n*n的网格,即有n条平行于x轴的直线和n条平行于y轴的直线,形 成了n*n个交点(a,b)(1<=a<=n,1<=b<= ...
随机推荐
- 阿里云服务器部署Office online注意事项
阿里云服务器部署Office online注意事项 一.参考配置 实例规格:4核8GB(IO优化) 网络带宽:5Mbps 系统盘:40G 存储盘:200G OS:Windows Server 2016 ...
- 当view为wrap_conten时获取一个view的具体宽高
int w = View.MeasureSpec.makeMeasureSpec(0, View.MeasureSpec.UNSPECIFIED); int h = View.MeasureSpec. ...
- PM真的不是PM
上周写了一篇<PM意识2.0>,前同事老A留言给我说:“PM已死!”一句话勾起很多回忆啊~当年,我们在一家内资IT公司,我是质量总监,他是研发总监,带四五个PM.老A负责所有项目的计划和监 ...
- DVWA 黑客攻防演练(一) 介绍及安装
原本是像写一篇 SELinux 的文章的.而我写总结文章的时候,总会去想原因是什么,为什么会有这种需求.而我发觉 SELinux 的需求是编程人员的神奇代码或者维护者的脑袋短路而造成系统容易被攻击.就 ...
- 18-10-31 Scrum Meeting 3
1.会议照片 2.每人的工作 昨天完成的工作 1 制定配置 修改配置 查询配置这三个接口 2 3 获取单词对应的中文释义 4 完成测验的部分接口 5 后端对接计划的接口 6 剩余的 ...
- MySQL慢查询日志释疑总结
之前写了一篇"MySQL慢查询日志总结",总结了一些MySQL慢查询日志常用的相关知识,这里总结一下在工作当中遇到关于MySQL慢查询日志的相关细节问题,有些是释疑或自己有疑惑 ...
- Sqlite3-安装使用
Sqlite安装 请访问 SQLite 下载页面,从 Windows 区下载预编译的二进制文件. 您需要下载 sqlite-tools-win32-*.zip 和 sqlite-dll-win32-* ...
- REST风格架构
一说到rest 大家都耳熟能详,很多人的第一反应就是其是前后端请求后台的一种通信方式,甚至有些人将REST 和RPC 混为一谈,认为两者都是基于HTTP类似的东西.实际上很少人能叙述REST 所提出的 ...
- thinkphp v5.1 开发笔记
一.安装TP5.1 1.使用git安装 <1>下载Tp git clone https://github.com/top-think/think tp5 <2>安装核心库 gi ...
- June. 23rd 2018, Week 25th. Saturday
We are who we choose to be. 要成为怎样的人,选择在于自己. From Barry Manilow. I believe that we are who we choose ...