组合
Abstract
定义
组合(Combination)
设 为含 个不同元素的集合, 为满足 的整数。
的一个 -组合(-combination)是从 中选取 个元素的无序子集。
的 -组合的总数记为 或 ,计算公式为:
其中 为排列数,除以 是因为同一组 个元素的全排列被视为同一种组合。
组合的等价定义
等价于:
- 从 个不同元素中选取 个的方式数(无序)
- 元素集合的 元子集的个数
- 个位置中选 个放置标记的方式数
核心性质
| 编号 | 性质 | 公式 | 说明 |
|---|---|---|---|
| 1 | 基本公式 | 组合数的定义公式 | |
| 2 | 对称性 | 选 个等价于排除 个 | |
| 3 | 与排列的关系 | 组合数 = 排列数 / 内部排列数 | |
| 4 | 递推关系(帕斯卡恒等式) | 固定一个元素,分”含”与”不含”两类 | |
| 5 | 上指标求和 | 所有子集总数(二项式定理的推论) | |
| 6 | 吸收恒等式 | 组合数的降阶表示 | |
| 7 | 边界值 | 空集和全集都只有一种选取方式 |
关系网络
graph LR A["组合 C(n,r)"] -->|"C(n,r) = P(n,r)/r!"| B["[[排列]] P(n,r)"] A -->|"等价于"| C["[[二项式系数]]"] A -->|"满足"| D["对称性 C(n,r)=C(n,n-r)"] A -->|"满足"| E["帕斯卡恒等式"] A -->|"求和"| F["[[二项式定理]]"] A -->|"基于"| G["[[乘法法则]]"] E -->|"可视化"| H["[[帕斯卡三角形]]"]
章节扩展
- 组合与排列的转换:每个 -组合对应 个 -排列,因此 。
- 组合数的对称性是二项式系数最重要的性质之一,在组合证明中经常使用。
- 帕斯卡恒等式 是帕斯卡三角形的构造原理,也是排列组合恒等式中的核心恒等式之一。
- 7.1-7.2 概率:等可能概率 和二项分布 的计算大量依赖组合数 。
补充
组合的直观理解
想象从 个同学中选出 个组成委员会(委员会无职位区分,即无序):
- 如果关心谁当主席、谁当秘书(有序),那就是排列问题,有 种方式
- 如果只关心哪些人入选(无序),那就是组合问题,有 种方式
每个委员会对应 种不同的职位分配方案。
对称性的直观解释
的含义是:
从 个人中选 个人参加活动,等价于选 个人不参加活动。
“选谁去”和”选谁不去”是一一对应的,因此两种计数方式结果相同。