布尔不等式(Boole’s inequality)也叫(union bound),即并集的上界,描述的是至少一个事件发生的概率(P(⋃iAi)" role="presentation">P(⋃iAi)P(⋃iAi))不大于单独事件(事件之间未必独立)发生的概率之和(∑iP(Ai)" role="presentation">∑iP(Ai)∑iP(Ai))。

即:

P(⋃iAi)≤∑iP(Ai)" role="presentation">P(⋃iAi)≤∑iP(Ai)P(⋃iAi)≤∑iP(Ai)

展开即为:

P(A1⋃A2⋃⋯)≤P(A1)+P(A2)+⋯" role="presentation">P(A1⋃A2⋃⋯)≤P(A1)+P(A2)+⋯P(A1⋃A2⋃⋯)≤P(A1)+P(A2)+⋯

1. 数学归纳法证明

  • 当 n=1" role="presentation">n=1n=1 时,显然 P(A1)≤P(A1)" role="presentation">P(A1)≤P(A1)P(A1)≤P(A1)
  • 对于 n" role="presentation">nn,如果有:P(⋃i=1nAi)≤∑i=1nP(Ai)" role="presentation">P(⋃ni=1Ai)≤∑ni=1P(Ai)P(⋃i=1nAi)≤∑i=1nP(Ai),则由 P(A∪B)=P(A)+P(B)−P(A∩B)" role="presentation">P(A∪B)=P(A)+P(B)−P(A∩B)P(A∪B)=P(A)+P(B)−P(A∩B) 可知:

    P(⋃i=1n+1Ai)=P({⋃i=1nAi}⋃An+1)=P(⋃i=1nAi)+P(An+1)−P({⋃i=1nAi}⋂An+1)≤P(⋃i=1nAi)+P(An+1)" role="presentation">P(⋃i=1n+1Ai)=P({⋃i=1nAi}⋃An+1)=P(⋃i=1nAi)+P(An+1)−P({⋃i=1nAi}⋂An+1)≤P(⋃i=1nAi)+P(An+1)P(⋃i=1n+1Ai)=P({⋃i=1nAi}⋃An+1)=P(⋃i=1nAi)+P(An+1)−P({⋃i=1nAi}⋂An+1)≤P(⋃i=1nAi)+P(An+1)

2. 将事件转换为独立事件(不相交事件)

假设有A1,A2,A3" role="presentation">A1,A2,A3A1,A2,A3 三个事件,则:

  • 令 B1=A1,B2=A2−A1" role="presentation">B1=A1,B2=A2−A1B1=A1,B2=A2−A1,B1" role="presentation">B1B1 与 B2" role="presentation">B2B2 不相交
  • 令 B2=A2−A1" role="presentation">B2=A2−A1B2=A2−A1 B3=A3−A2−A1" role="presentation">B3=A3−A2−A1B3=A3−A2−A1,B2" role="presentation">B2B2 与 B3" role="presentation">B3B3 不相交

令 Bi=Ai∖(⋃k=1i−1Ai)" role="presentation">Bi=Ai∖(⋃i−1k=1Ai)Bi=Ai∖(⋃k=1i−1Ai),则有 B1,B2,⋯," role="presentation">B1,B2,⋯,B1,B2,⋯, 互不相交,且 A1∪A2∪⋯=B1∪B2∪⋯" role="presentation">A1∪A2∪⋯=B1∪B2∪⋯A1∪A2∪⋯=B1∪B2∪⋯,自然 Bi⊂Ai" role="presentation">Bi⊂AiBi⊂Ai ==> P(Bi)≤P(Ai)" role="presentation">P(Bi)≤P(Ai)P(Bi)≤P(Ai):

P(A1∪A2∪⋯)=P(B1∪B2∪⋯)=P(B1)+P(B2)+⋯≤P(A1)+P(A2)+⋯" role="presentation">P(A1∪A2∪⋯)=P(B1∪B2∪⋯)=P(B1)+P(B2)+⋯≤P(A1)+P(A2)+⋯P(A1∪A2∪⋯)=P(B1∪B2∪⋯)=P(B1)+P(B2)+⋯≤P(A1)+P(A2)+⋯

【证明】【一题多解】布尔不等式(union bound)的证明的更多相关文章

  1. 关于SQL的几道小题详解

    关于SQL的几道小题详解 当我们拿到题目的时候,并不是急于作答,那样会得不偿失的,而是分析思路,采用什么方法,达到什么目的,还要思考有没有简单的方法或者通用的方法等等,这样才会达到以一当十的效果,这样 ...

  2. SQLServer 常见SQL笔试题之语句操作题详解

    SqlServer 常见SQL笔试题之语句操作题详解 by:授客 QQ:1033553122 测试数据库 CREATE DATABASE handWriting ON PRIMARY ( name = ...

  3. 牛客网 Java 工程师能力评估 20 题 - 详解

    牛客网 Java 工程师能力评估 20 题 - 详解 不知在看博客的你是否知道 牛客网,不知道就太落后了,分享给你 : 牛客网 此 20 题,绝对不只是 20 题! 免责声明:本博客为学习笔记,如有侵 ...

  4. 一题多解,ASP.NET Core应用启动初始化的N种方案[上篇]

    ASP.NET Core应用本质上就是一个由中间件构成的管道,承载系统将应用承载于一个托管进程中运行起来,其核心任务就是将这个管道构建起来.在ASP.NET Core的发展历史上先后出现了三种应用承载 ...

  5. 一题多解,ASP.NET Core应用启动初始化的N种方案[下篇]

    [接上篇]"天下大势,分久必合,合久必分",ASP.NET应用通过GenericWebHostService这个承载服务被整合到基于IHostBuilder/IHost的服务承载系 ...

  6. HDU 5122 K.Bro Sorting(模拟——思维题详解)

    题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=5122 Problem Description Matt's friend K.Bro is an A ...

  7. Shooting Contest 射击比赛 [POJ1719] [CEOI1997] [一题多解]

    Description(下有中文题意) Welcome to the Annual Byteland Shooting Contest. Each competitor will shoot to a ...

  8. 近期遇到的计(算)算(法)题及解(JavaScript)

    以下是近期遇到的三个计(算)算(法)题... 提到这些问题的时候简单理了下思路,后面又以JavaScript代码实现并顺便记个笔记... 至于是什么场景下遇到这些题的么... :) 问题一:从无序数组 ...

  9. 【做题记录】 [JLOI2011]不等式组

    P5482 [JLOI2011]不等式组 超烦人的细节题!(本人调了两天 QAQ ) 这里介绍一种只用到一只树状数组的写法(离线). 树状数组的下标是:所有可能出现的数据进行离散化之后的值. 其含义为 ...

随机推荐

  1. rem 转 px

    (function (doc, win) { var docEl = doc.documentElement, resizeEvt = 'orientationchange' in window ? ...

  2. 【Python】Scrapy基础

    一.Scrapy 架构 Engine(引擎):负责 Spider(爬虫).Item Pipeline(管道).Downloader(下载器).Scheduler(调度器)中的通讯和数据传递. Sche ...

  3. .net core 2.0 webapi部署iis操作

    1.安装 .net core 2.0 runtime, (dotnet-runtime-2.0.7-win-x64.exe) https://www.microsoft.com/net/downloa ...

  4. linux常用命令 wc统计命令

    统计命令wc wc [选项] 文件名 选项 -l 只统计行数 -w 只统计单词数 -m 只统计字符数 192:linux_worspace aouo$ wc /etc/passwd     103   ...

  5. 在本地运行正常的静态网页放到tomcat中却显示异常的原因

    在本地写好了一个个人网站,本地直接用浏览器运行,很顺利,然而把网站放到Tomcat里面,却发现图片显示不出来,这就奇怪了. 后来发现,我的网站的Image文件夹用了大写“I”,而网页里面的路径用了小写 ...

  6. AngelToken揭秘区块链之四大链

    区块链,有着各种不同,与之相对应的就是内涵和功能.在区块链领域经常出现的四大链有:公有链.私有链.联盟链.许可链,这些链又分别可以为区块链干什么呢? 公有链(Public Blockchain) 是指 ...

  7. python全栈开发笔记---------函数

    一 数学定义的函数与python中的函数 初中数学函数定义:一般的,在一个变化过程中,如果有两个变量x和y,并且对于x的每一个确定的值,y都有唯一确定的值与其对应,那么我们就把x称为自变量,把y称为因 ...

  8. 从SQLServer转储数据到MySQL

    前一段时间,由于项目需要将数据库从SQLServer迁移到MySQL,在网上百度了很久,基本都是通过SQLyog实现的.其实使用平时常用的数据库管理软件Navicat Premium也能做到,并且操作 ...

  9. shell脚本中给字符串添加颜色

    shell脚本中echo显示内容带颜色显示,echo显示带颜色,需要使用参数-e 格式如下: echo -e "\033[字背景颜色:文字颜色m字符串\033[0m" 例如: ec ...

  10. 安装CaffeOnSpark过程中遇到的问题及解决方案

    安装教程来自 http://blog.csdn.net/sadonmyown/article/details/72781393 首先,我使用的节点环境是ubuntu 16.04.1,事先 成功安装了s ...