TCS Lec10总结
第一部分:NL = coNL (Immerman-Szelepcsényi 定理)
目标:证明非确定性对数空间类 NL 在补集下封闭(即 NL = coNL)。
核心策略:证明问题 NOPATH
(给定图 和两点 ,判断是否存在无路径从 到 )属于 NL。
关键步骤:
- 定义关键函数:
path(G, s, t)
:判断是否存在 路径。- :从 出发、长度不超过 的可达节点数量。
- 引理 1:若存在 NL 机器计算
path
,则存在 NL 机器计算 (总可达节点数)。- 证明思路:通过遍历所有节点,用
path
检查可达性并计数。
- 证明思路:通过遍历所有节点,用
- 引理 2:若存在 NL 机器计算 ,则存在 NL 机器计算
path_{d+1}
(路径长度 )。- 证明思路:利用 和迭代过程验证路径存在性。
- 迭代计算 :
- 初始化 (仅 可达)。
- 用 NL 机器从 计算 :检查节点是否与 (长度 的可达集)中的节点有边。
- 最终 NTM 设计:
- 计算 (所有可达节点数)。
- 若
path_n(G, s, t) = No
则接受(即无路径),否则拒绝。
结论:NOPATH ∈ NL
,从而 NL = coNL。
第二部分:概率论基础
1. 历史背景
- 起源于赌博问题(如 de Méré 问题:掷骰子出现至少一个 6 的概率)。
- 未完成赌局问题:Pascal 和 Fermat 的通信推动概率论早期发展。
2. 基本概念
- 样本空间 :有限集合(如 枚硬币的 outcomes )。
- 事件 :子集,概率定义为 。
- 概率公理:
- ,且 。
- 若 ,则 。
- 并集概率:。
- Union Bound(关键工具):
3. 条件概率与独立性
- 条件概率:(以 为新样本空间)。
- 链式法则:
- 独立性:,等价于 (当 )。
4. 经典问题
- 生日悖论:
- 人在 天的生日均不同的概率:
- 当 时,概率降至 。
- 人在 天的生日均不同的概率:
- 应用:密码学中的生日攻击(如寻找 SHA-1 哈希碰撞,)。
第三部分:随机变量与期望
1. 随机变量(RV)
- 函数 (如硬币翻转的汉明权重 )。
- 期望:。
- 线性期望(核心工具):
- 独立 RV 的乘积期望:(要求独立性)。
2. 经典分布
分布 | 描述 | 期望 | 方差 |
---|---|---|---|
二项分布 | 次伯努利试验成功次数 | ||
几何分布 | 首次成功所需试验次数 | ||
高斯分布 | 概率密度 | 旋转不变性 |
3. 赠券收集问题
- 目标:集齐 种赠券所需抽取次数的期望。
- 分解:,其中 。
- 期望:( 为调和数)。
第四部分:集中不等式(Tail Bounds)
1. Markov 不等式
- 对非负 RV :。
应用:赠券收集问题中 。
2. Chebyshev 不等式
- 依赖方差:。
适用场景:二阶矩(方差)已知的问题(如两两独立 RV)。
3. Chernoff 界(指数衰减)
- Hoeffding 界(有界 RV):
- 乘性形式(Bernoulli RV):
- 应用:采样估计成功率 时,样本量 可保证误差 (置信度 )。
第五部分:概率方法
核心思想:用概率证明组合对象的存在性。
- Ramsey 数下界(Erdős, 1947):
- 定理:若 ,则 。
- 证明:对 随机红蓝染色,用 Union Bound 证无边集 全同色的概率 ,故存在无单色 的染色。
TCS Lec10总结
https://xiao-ao-jiang-hu.github.io/2025/05/28/tcs/tcs-10/