独立性与计数原理：等可能的算术
本文基于模型知识整理（生成时未联网核对），计数公式与独立性辨析建议对照 Blitzstein & Hwang 第 1、3 章复核。
一句话定义
独立性 P(A∩B)=P(A)P(B) 说"一方发生与否不改变另一方的概率"；计数原理（乘法/排列/组合）则在等可能假设下把"有利结果数÷总数"变成可算的算式——两者合起来是古典概率模型的发动机。
为什么重要
独立性是概率世界的"无记忆假设"：连续抛硬币、独立重复试验（二项分布 kp-008）、蒙特卡洛采样的合法性（kp-026）都建立其上。计数则是组合概率的手艺：从扑克牌到生日问题再到哈希碰撞，"数清楚结果个数"是古典概率的全部工作。
前置知识
核心概念
- 独立性定义：A、B 独立 ⟺ P(A∩B)=P(A)P(B) ⟺ P(A|B)=P(A)（信息无用）。多个事件独立要求任意子集都满足乘法式（两两独立⇒相互独立的反例：三枚硬币中"第三枚与前两枚同面"类构造）。
- 独立与互不相容的终极辨析（kp-002 的展开）：互不相容（不能同时）⇒ 高度相关；只有当一方概率为 0 时两者才兼容。"独立事件可以同时发生"。
- 条件独立：P(A∩B|C)=P(A|C)P(B|C)——给定 C 后独立，否则未必（朴素贝叶斯的"给定类条件独立"正是此概念；相关性可在条件化后消失或产生）。
- 乘法原理：n 步各有 m₁…mₙ 种选择 ⇒ 总数 Πmᵢ（密码强度、采样空间大小）。
- 排列与组合：
- 排列 $P_n^k=\frac{n!}{(n-k)!}$（有序选取）； - 组合 $\binom{n}{k}=\frac{n!}{k!(n-k)!}$（无序选取）——二项分布（kp-008）的系数来源； - 多重集/隔板法（把 k 个球放 n 盒的计数，$\binom{n+k-1}{k}$）。
原理与机制
独立性的"信息无贡献"翻译：P(A|B)=P(A)——知道 B 对预测 A 毫无帮助。判断独立性优先用语义（物理机制是否互不影响）而非数字巧合；反过来，"看起来无关"的事件可以强相关（kp-011 的辛普森式陷阱）。
为什么计数要警惕"等可能"前提：古典概率 P=有利/总数只对等可能样本空间合法。两个骰子看成"点数和 2–12"这 11 个结果并不等可能（组合数不同）；必须用 36 个有序对计数。先设计等可能的样本空间，再数——顺序错则全错。
组合数在分布中的角色预告：$\binom{n}{k}$ 数"k 次成功发生在哪几次"——二项分布 $P(X=k)=\binom{n}{k}p^k(1-p)^{n-k}$ 的每一项都由"组合×概率幂"构成（kp-008）；超几何分布（不放回）则把二项的"独立性"换成计数比。
图示
独立: P(A∩B)=P(A)P(B) ⇔ P(A|B)=P(A)
辨析: 独立(互不影响) ≠ 互不相容(互斥不能共存)
条件独立: P(A∩B|C)=P(A|C)P(B|C)
计数: 乘法原理 Πmᵢ | 排列 n!/(n−k)! | 组合 n!/(k!(n−k)!)
古典概率: P = 有利组合数 / 总组合数 (前提: 等可能)直观类比
独立像"两位互不通气的考官"：B 的答案不给 A 的评分任何线索。计数像"乐高零件清点"：先确认每块零件等重（等可能），再数组合数——零件不等重（非等可能）时点数就是骗术。
实例或案例
- 密码强度：8 位纯数字 10⁸ 种（乘法原理）；混合大小写+符号 94⁸ 种——攻击空间的天壤之别。
- 扑克同花顺：$\frac{4\binom{13}{5}}{\binom{52}{5}}\approx0.000154\%$——组合计数的经典难度锚点。
- 哈希碰撞生日问题：n 个哈希值 2⁶⁴ 空间，约 2³² 次即碰撞概率过半——kp-029 的生日悖论工业化。
常见误区
- 误区一："两两独立=相互独立"。三事件可以两两独立却不相互独立（联合概率≠三乘积）——系统可靠性建模的隐藏地雷。
- 误区二："独立事件不相关、不相关就独立"。对正态等价，对一般分布"不相关⇏独立"（kp-011 详解 U 形反例）。
- 误区三："组合数当排列用（或反之）"。先问"顺序重要吗"：彩票号码有序度不同计数天差地别。
与其他知识点的关系
自测题
- 事件 A、B 独立，P(A)=0.6，P(B)=0.5：P(A∪B)？
答：0.6+0.5−0.3=0.8（独立时交=乘）。
- 从 52 张牌抽 5 张，恰好一对（同点数两张+三张各异）的组合数与概率？
答：$\binom{13}{1}\binom{4}{2}\binom{12}{3}4^3/\binom{52}{5}\approx42.3\%$。
- 抛均匀硬币直到出现正面，样本空间无限——为何概率总和仍为 1？
答：各序列概率 $(1/2)^n$ 组成几何级数 Σ(1/2)ⁿ=1（kp-018 的几何级数收敛）——无限结果的公理化归一。
延伸阅读
- Blitzstein & Hwang 第 1、3 章（计数与条件独立）。
- 《具体数学》（Graham/Knuth/Patashnik）计数章（深入）。
- 浙大《概率论与数理统计》第 1 章（古典概型练习）。