1. 组合数的等价转换
- 递推关系(降低规模):
拆分成两项
有如下两种形式的证明:
- 根据组合数的定义(),各自展开进行证明;
《算法导论》提供了另外的思路,从实际意义出发, 表示 个对象中选择 个。考虑全体 个对象中的任意一个(是否被选中),根据其是否在最终选择的 个之中,可将 拆分成两项,
- 在 中,即从余下的 个对象中选择 个对象:
- 不在 中,即从余下的 个对象中选择 个对象:
因此有:
拆分成两项
有如下两种形式的证明:
《算法导论》提供了另外的思路,从实际意义出发, 表示 个对象中选择 个。考虑全体 个对象中的任意一个(是否被选中),根据其是否在最终选择的 个之中,可将 拆分成两项,
因此有: