【证明】【一题多解】布尔不等式(union bound)的证明
布尔不等式(Boole’s inequality)也叫(union bound),即并集的上界,描述的是至少一个事件发生的概率(P(⋃iAi)" role="presentation">P(⋃iAi)P(⋃iAi))不大于单独事件(事件之间未必独立)发生的概率之和(∑iP(Ai)" role="presentation">∑iP(Ai)∑iP(Ai))。
即:
展开即为:
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):
【证明】【一题多解】布尔不等式(union bound)的证明的更多相关文章
- 关于SQL的几道小题详解
关于SQL的几道小题详解 当我们拿到题目的时候,并不是急于作答,那样会得不偿失的,而是分析思路,采用什么方法,达到什么目的,还要思考有没有简单的方法或者通用的方法等等,这样才会达到以一当十的效果,这样 ...
- SQLServer 常见SQL笔试题之语句操作题详解
SqlServer 常见SQL笔试题之语句操作题详解 by:授客 QQ:1033553122 测试数据库 CREATE DATABASE handWriting ON PRIMARY ( name = ...
- 牛客网 Java 工程师能力评估 20 题 - 详解
牛客网 Java 工程师能力评估 20 题 - 详解 不知在看博客的你是否知道 牛客网,不知道就太落后了,分享给你 : 牛客网 此 20 题,绝对不只是 20 题! 免责声明:本博客为学习笔记,如有侵 ...
- 一题多解,ASP.NET Core应用启动初始化的N种方案[上篇]
ASP.NET Core应用本质上就是一个由中间件构成的管道,承载系统将应用承载于一个托管进程中运行起来,其核心任务就是将这个管道构建起来.在ASP.NET Core的发展历史上先后出现了三种应用承载 ...
- 一题多解,ASP.NET Core应用启动初始化的N种方案[下篇]
[接上篇]"天下大势,分久必合,合久必分",ASP.NET应用通过GenericWebHostService这个承载服务被整合到基于IHostBuilder/IHost的服务承载系 ...
- HDU 5122 K.Bro Sorting(模拟——思维题详解)
题目链接: http://acm.hdu.edu.cn/showproblem.php?pid=5122 Problem Description Matt's friend K.Bro is an A ...
- Shooting Contest 射击比赛 [POJ1719] [CEOI1997] [一题多解]
Description(下有中文题意) Welcome to the Annual Byteland Shooting Contest. Each competitor will shoot to a ...
- 近期遇到的计(算)算(法)题及解(JavaScript)
以下是近期遇到的三个计(算)算(法)题... 提到这些问题的时候简单理了下思路,后面又以JavaScript代码实现并顺便记个笔记... 至于是什么场景下遇到这些题的么... :) 问题一:从无序数组 ...
- 【做题记录】 [JLOI2011]不等式组
P5482 [JLOI2011]不等式组 超烦人的细节题!(本人调了两天 QAQ ) 这里介绍一种只用到一只树状数组的写法(离线). 树状数组的下标是:所有可能出现的数据进行离散化之后的值. 其含义为 ...
随机推荐
- PHP的json_encode()函数与JSON对象
一.问题描述 这周搬砖的时候,前端通过ajax获取后端的数据后,照例用 对象.属性 的方式取值,然而结果总是总是不能如预期般展示在页面上. 先写个 demo 还原下场景:选中一个下拉框列表选项后,会在 ...
- Tensorflow常用的函数:tf.cast
1.tf.cast(x,dtype,name) 此函数的目的是为了将x数据,准换为dtype所表示的类型,例如tf.float32,tf.bool,tf.uint8等 example: import ...
- centos7搭建vsftpd并启用虚拟用户
虚拟用户的特点是只能访问服务器为其提供的FTP服务,不能访问系统的其它资源,所以,如果想让用户对FTP服务器站内具有写权限,但又不允许访问系统其他资源,可以使用虚拟用户来提高系统的安全性. 在vsft ...
- [模板]quicksort快速查找、排列算法
1.快速排序 //快速排序 void quick_sort(int s[], int l, int r) { if (l < r) { //Swap(s[l], s[(l + r) / 2]); ...
- 14. Longest Common Prefix ★
题目内容:Write a function to find the longest common prefix string amongst an array of strings 题目分析:本题目利 ...
- JAVAEE 第八周
equals():反映的是对象或变量具体的值,即两个对象里面包含的值--可能是对象的引用,也可能是值类型的值. hashCode():计算出对象实例的哈希码,并返回哈希码,又称为散列函数.根类Obje ...
- s5p6818开发板uboot网络开通
手上的开发板网络默认是不通的,但是通过阅读uboot源码,发现uboot源码中,是有对这个网络的初始化的实现的函数的,只不过是没有调用而已,所以,要手动调用这个函数,把板子的网络调通: 首先是遇到了这 ...
- k8s的flannel的pod运行一段时间init error
问题现象 使用Kubeadm部署的flannel网络运行一段时间后,提示init:Error错误,查看具体的信息如下: [root@node1 ~]# kubectl describe pod kub ...
- MySQL创建新用户以及ERROR 1396 (HY000)问题解决
登 录mysql mysql -u root -p 创建允许本地 IP访问localhost的Mysql数据库时出错 create user 'lijing'@'localhost' identif ...
- C# 连蒙带骗不知所以然的搞定USB下位机读写
公司用了一台发卡机,usb接口,半双工,给了个dll,不支持线程操作,使得UI线程老卡. 懊恼了,想自己直接通过usb读写,各种百度,然后是无数的坑,最终搞定. 现将各种坑和我自己的某些猜想记录一下, ...