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))
    \]
    下面给几个例题

  • 例题

    • HDU4336

      题意:有\(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}
      \]
      就是先把总概率算一下的事情

    • 「HAOI2015」按位或

      题意:初始有一个数\(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\)内求出

    • 「PKUWC2018」随机游走

      题意:树上随机游走,给定起点,每次询问至少走过一次点集的期望时间

      直接套路上去考虑如何求\(\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}
    \]

  • 参考资料

    【Learning】min-max容斥以及推广kth min-max容斥

    min-max容斥

min-max容斥学习笔记的更多相关文章

  1. [总结] Min-Max容斥学习笔记

    min-max 容斥 给定集合 \(S\) ,设 \(\max(S)\) 为 \(S\) 中的最大值,\(\min(S)\) 为 \(S\) 中的最小值,则: \[\max(S)=\sum_{T\in ...

  2. MinMax 容斥 学习笔记

    基本形式 \[ \max(S) = \sum_{T\subseteq S, T \neq \varnothing} (-1)^{|T|-1}\min(T) \] 证明 不提供数学证明. 简要讲一下抽象 ...

  3. javascript设计模式(张容铭)学习笔记 - 外观模式绑定事件

    有一个需求要为document对象绑定click事件来是想隐藏提示框的交互功能,于是小白写了如下代码: document.onclick = function(e) { e.preventDefaul ...

  4. javascript设计模式(张容铭)学习笔记 - 照猫画虎-模板方法模式

    模板方法模式(Template Method):父类中定义一组操作算法骨架,而降一些实现步骤延迟到子类中,使得子类可以不改变父类的算法结构的同时可重新定义算法中某些实现步骤. 项目经理体验了各个页面的 ...

  5. [模板] 容斥原理: 二项式反演 / 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 ...

  6. 快速沃尔什变换 (FWT)学习笔记

    证明均来自xht37 的洛谷博客 作用 在 \(OI\) 中,\(FWT\) 是用于解决对下标进行位运算卷积问题的方法. \(c_{i}=\sum_{i=j \oplus k} a_{j} b_{k} ...

  7. min-max 容斥

    $\min - \max$ 容斥 Part 1 对于简单的$\min - \max$容斥有一般形式,表达为:$\max(S)=\sum\limits_{T\subseteq S}(-1)^{|T|-1 ...

  8. 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 ...

  9. 15ecjtu校赛1006 (dfs容斥)

    Problem Description 在平面上有一个n*n的网格,即有n条平行于x轴的直线和n条平行于y轴的直线,形 成了n*n个交点(a,b)(1<=a<=n,1<=b<= ...

随机推荐

  1. 从.Net到Java学习第三篇——spring boot+mybatis+mysql

    从.Net到Java学习第一篇——开篇 环境:mysql5.7 新建mysql数据库demo,然后执行如下sql脚本进行数据表创建和数据初始化: -- ------------------------ ...

  2. Java内存管理的进一步理解-模拟过程图解

    Java内存管理的进一步理解-模拟过程图解--转载 java的内存管理分为: 1.堆内存:2.栈内存:3.方法区:4.本地方法区 /* 1:方法区      方法区存放装载的类数据信息包括:      ...

  3. 美团技术沙龙01 - 58到家服务的订单调度&数据分析技术

    1. 2015.4.15 到家服务的订单调度&数据分析技术 58到家· 黄海斌 @xemoaya 2.agenda • 58到家介绍 • 订单管理系统介绍 • 数据分析技术的应用 3.2015 ...

  4. 基础环境系列:PHP7.3.0并连接pache/IIS和MySQL

    版本: php7.3.0 MySQL8.0.12 Apache2.4 IIS8 一.下载PHP  1.下载php3.7 PHP版本:php7.3(7.3.0) 下载地址:https://windows ...

  5. nexus3.X环境搭建

    nexus3比以前的版本相比 多支持了管理不同的格式 比如Docker npm NuGet maven …等 下载编译好的二进制安装 wget https://sonatype-download.gl ...

  6. SQL Server 数据库部分常用语句小结(二)

    9. 查询备份还原数据库的进度. select command ,percent_complete ,est_time_to_go=convert(varchar,(estimated_complet ...

  7. [20190401]跟踪dbms_lock.sleep调用.txt

    [20190401]跟踪dbms_lock.sleep调用.txt --//自己在semtimedop函数调用理解错误,加深理解,跟踪dbms_lock.sleep调用的情况. 1.环境:SCOTT@ ...

  8. JavaCC的TokenManager和Parser

    TokenManager不会感知Parser的存在,这意味着TokenManager会尽量匹配足够长的终结符,而不是依据Parser的语法规则. 当被解析的文本为" @@ "时,T ...

  9. IIS 反向代理到 Apache、Tomcat

    将请求的网址重写重定向到其它网址.当80端口被占用无法同时使用两个Web服务的解决方案,使得IIS和Apache Tomcat 共存 环境 WindowServer 2008 IIS7 Apache ...

  10. China Tightens Recycling Import Rules

    China Tightens Recycling Import Rules We have all seen the pictures of cities in China with air poll ...