概率空间
, 为有限集, ,测度 满足
- 。
把 的每个子集称为事件:。
期望具有线性性:
为 上随机变量,则
在组合学中,概率方法常见的用法是:
- 假设我们需要找到一些组合对象,满足某些属性——称为“好属性”。考虑候选项的大集族并从中随机取出,称其为一个随机对象。若取出“好”对象的概率是正的,则必存在好对象。
- 为了计算“好”对象的概率,我们常计算“坏”对象并论证其严格小于1。
并集的界
若 满足 ,则 。
证明: 只需找一个 的2-染色,其中无 团。
令 是全体 的 2-染色线成的集合。任取 。则 是一个随机 2-染色。注意各边被染为某色概率为 ,且各边独立。
令事件 :该2-染色不包含单色 。希望 。为此,考虑补事件 及其概率 。
对任意子集 ,假设其 为 构成一个单色 的概率,则 。另一方面, ,则
这就说明了 。
证明: 令 这一坨。回忆 且 ,我们有
因此
随机图 ,为:,每条边 独立地以概率 出现。
上面定理的证明中,我们事实上考虑了 。
对性质 ,我们考察 具有性质 的概率。事实上我们有
具有性质满足性质的图数
称 几乎一定满足性质 ,若 。
称几乎一定不满足,若 。
证明: 设 为事件: 不是二分图。对任意 ,令 为事件: 的所有边都在 和 之间。则我们有 。因此
因此
证毕。
考虑 的全体不交 元子集对 构成的集族.称一个集合 分离 ,若 且 . 证明存在 个集合,使得每个对 均由其中之一分离.
证明: 从 中选 次子集,每一次都是等可能的.由此我们选出一个集族 ,其中至多有 个子集.对每个不交 元子集对 ,令 为事件“不存在 中的成员分离 ”.由于分离 的子集合数为 个,我们有
总共有 个这样的子集对 .由于
因此至少一个子集合对不被分离的概率为
因此,存在这样的情况:每个对 均被分离.
可染色族
设 为 的子集族。称 是一个 族,若其中子集均为 元的。
称 可2-染色,若存在函数 蓝,红 使得每个子集 均非单色。即:每个 都至少有一个蓝元素和一个红元素。
对任意 ,令 为使 族 不可2-染色的最小数。
因此,我们有 当有仅当存在一个 族 ,其有 个子集且不可 2-染色。反过来, 等价于任一个由 个子集构成的 族均可2-染色。
也就是说, 任一包含 个子集的 族可被2染色。
证明: 给定一个 族 ,包含 个子集。只需找一个染色 使得 中的任一子集都有红与蓝顶点。称这样的染色是一个好染色。
考虑随机函数 红,蓝。令 为 好这一事件。令 ,则必存在一个子集,其在 下单色。对任意 ,令 为事件: 在 下单色。则
注意 ,故
因此 ,故存在好染色。
证明若存在 使得
就有 .以此证明存在 使 .
证明: 考虑 的一个随机2-染色,染红概率为 .对任意 顶点集合 ,令 为事件“ 是红色”.同样定义 为 顶点集合 中, 为蓝色的事件.则由于有 条边,得
于是 ,故存在一种染色,使得既无红 又无蓝 ,故 .
下面,对 ,我们有
令 ,,代入上面不等式即证!傻逼吧!我操!谁爱算谁算去!
令 为整数, 为 族.基集为 .证明若 ,则存在一个 染色,使得4种颜色都在每个子集中被染到.
证明: 考虑随机4-染色.对每个 ,令 为事件: 中并不是4种颜色都出现.若 发生,则 中最多有三种颜色,故
由于 中子集数目少于 ,故所有 发生的概率小于 ,因此存在这样的染色.
锦标赛(Tournament)
一个 顶点的锦标赛是一个从 得来的有向图:给每条边一个方向。对边 ,称其为一个弧,称 为头, 为尾。
称一个锦标赛 满足条件 ,若对任意 大小的子集 ,都存在一个顶点 使得 对任意 成立。
对任意 ,如果
就存在一个 顶点锦标塞,满足性质 。
证明: 我们来考虑随机锦标赛,即:对任意 ,存在一个弧 ,方向选取 概率且独立。 令 为 不满足 的事件。
对任意 ,令 为事件:对任意顶点 ,存在 使得 。则
令 ,令 为事件:存在一些 使得 。则
显然 ,且 对 独立。于是
因此
证毕。
对任意 ,存在一个最小的 ,使得存在 顶点锦标赛满足 。
,因为
期望的线性性
从“”即存在的观点来看,若问“存在……大于/小于”问题,可以考虑构造随机变量, 为此值。
对事件 ,定义
即发生我们有: 。
称集合 无和,若对任意 ,则 。
的两个无和 子集为
- 。
事实上可以证明:无和子集 至多为 元素。Hint:考虑 。
对任意非零整数集 ,其中存在无和子集 ,且 。
证明: 选取 足够大,使得 且 , 。注意到我们有一个 无和子集
我们声称:对任意 , 在 中无和。这是因为反设存在 使得 ,两边同乘以 得 在 中,与 无和矛盾。
现在,我们找一些 使得 任取 ,我们计算 。 注意到
注意到 为素数, 在 上的左乘作用是自同构,帮 。因此 ,故存在这样的 使得 。
给定图 ,称 的一个主导集 是 的一个子集,使得 在 中有一个邻点。
设 是一个 阶图,最小度为 ,则 有一个主导集 ,其至多包含 个顶点。
证明: 待定 。在 中任取顶点以概率 。 令 为这些被取的顶点,并令 为 中在 中无邻点的点集。则
- 是一个主导集;
- 当且仅当 :即 与 的邻点都未被选入 。
因此,
最后一个不等式是由于 。因此,我们有
另一方面,我们有 ,从而
由微积分, 时右边最小,代入得 。因此存在一种取法使主导集 。
对任意图 ,,这里 为 的度。
证明: 令 ,则对任意 ,令 为 在 中的邻点集。令 为全体置换 的集合。
对给定置换 ,称 是好的,若 对任意 成立。令 为全体 好顶点。
我们声称 为独立集。这是因为如果 ,,不妨设 ,则 不 好,矛盾。
下面,我们均匀地选取 ,并计算 。因为 好,我们有 好。因此存在一个 使得 。由 的定义, 。
对任意图 有 顶点及 边, 。
图 有 个点及平均度数(即 ,则 。
Turan 部图 是一个 顶点图 ,使得 ,且 ,其中 当且仅当 , 且 。
是一个平衡完全 部图。
若 无 ,则 。
若 点图 无 ,则 。
证明: 给定 顶点无 图 ,。考虑一个函数 ,使得
希望找 的最大值,对任意给定的 。假设 使 取最大——为此,使 的顶点 的数量应当最小。
证明: 否则,若存在 使 ,令 且 。令 。则我们可以分配一个新函数 使得
现在,我们有
由 的取法,我们看出 ,但 有更少的正权顶点数,矛盾!
回到原题: 令 为正权顶点。由引理,我们有 , 且 不含 。则
另一方面, ,比较两边即证!
- 令 为置换 的不动点数,求 ,这里 .
- 掷 次硬币,求“连续数”的期望:比如 TTTHHHHTT 的连续数是3.
解: (1) 记事件 : 被固定.令 为 的指示变量,则 .由对称性,
于是 ,从而
(2) 令 为前 次投掷的连续数.若 次投掷异于第 次,则 ,否则 ,于是
由 ,故 .
设 为 中独立系统.令 为 中的随机排列.通过考虑集合
来证明 .
证明: 令 .由于 是独立系统且 中元素相互包含, 中包含至多一个元素.
另一方面,令 为事件
的指示变量,则 . 因为 的取法有 种,我们有
因此,我们有
这是 L-Y-M 不等式.取 即证.
削除方法
先前我们考虑的是经典概率;现在,我们把这种思想延伸出来,考虑随机事件并非总含有想要的性质的情况——有非常少的“瑕疵”。我们的想法是删掉所有的瑕疵,这样就可以得到想要的性质。
令 为 顶点图,有平均度 。则 。
证明: 令 为随机子集:对任意 , ,这里 待定。
令 为 中的顶点数,令 为 中每个端点都在 中的边数。则 ,。令 ,则
故存在子集 使得
现在,从 的每条边中删除一个顶点,得到子集 ,其大小至少为 。由于这样删除后 无边,故 是一个独立集。
有定理: ,则 。特别地: 。
对任意整数 ,。
证明: 考虑 的随机2-染色,这里每条边染为红或蓝,概率。对 ,令 为指示变量: 诱导一个完全单色图 。则 .
令 为单色 子集的数量。则
故存在一个 的 2-染色,单色 子集数量至多为 。接下来,从每个单色子集中移除一个顶点,这至多删除 个顶点,但把单色子集全清除了。于是剩余的 个顶点中,没有任何单色 子集。
提示:固定 ,令 最大。
令 是 个子集的子集族,其中 .证明存在子集 使得
且 中的集合没有一个被 包含.
证明: 令 为由 定义的随机子集,各边相互独立.令 ,. 对任意 ,令 为事件“ ”的指示变量,故 .显然 (因为 的成员是三元集),故 .显然, .于是
存在一个 使得 .再从 中移除 中含于 的成员中任一个顶点,把剩下的集合记为 即可.
令 为 元集的 一致族子集.假设每个元素属于 的 个成员.证明存在一个元素集合 ,使得
- 不包含 中的成员,且
- .
证明: 我们先要知道 有多大.令
对其双重计数.固定元素:由于每个元素属于 中的 个成员,我们有 .另一方面,固定成员:每个成员中有 个元素.因此 ,从而 .
下面,令 为随机子集, 待定且对各 独立.则
令 为 的元素中位于 的元素的数量.由线性性,我们有
因此,我们有
取 ,则 .存在这样的一个 :.从 的每个成员中删除一个位于 中的元素可获得一个集合 ,其中至少有 个元素,证毕.
Markov 不等式
令 为随机变量,,则
令 为整值随机变量。若
则
即 几乎一定成立。
对随机图 ,,有
注意到 可视为 的一个函数。
证明: 令 。令 为 中大小为 的独立集的数量。对任意 ,令 为指标变量: 是一个 中的独立集。则
及
由上面的推论,。
对一个图 ,其染色数 是最小的 ,使得 可被分为 个独立集。
- 。
- 。
- 当且仅当 是二分图。
- 。
图 的围长 为 中最短圈的长度。
对任一固定的 ,存在一个图 : 且 。
证明: 考虑一个随机图 ,这里 待定。令 ,由上面的引理可知 ,当 。
令 为 中长度小于 的圈的数量。则
这里 为 中 的个数。则
由Markov不等式,
令 ,则 。我们有
令 足够大,则存在 点图 ,满足 但 。
通过从每个长度至多为 的圈中移除一个顶点,我们可以找到一个诱导子图 ,其含至少 个顶点,并且不存在长度最大为 的圈。因此 。由于 为 的诱导子图,我们有
由 ,得到 ,故 为所求图,如欲所证。