“有限集的固定基数子集由二项式系数计数;与乘法原理结合可处理先分阶段选择再忘序的模型。允许重复时转向隔板法,把总体拆成若干无序块时则进入集合划分与 Stirling 数。”
形式陈述 ​
对有限集
更一般地,若第
直觉
当一个结果由若干阶段的选择唯一确定,且每个前缀下下一阶段可选数固定时,总数等于各阶段选择数相乘。它本质上是在数笛卡尔积;若后续选择数依赖先前结果,则应按分支求和,而不能盲目乘固定数字。唯一表示条件防止同一最终对象经多条选择路径重复出现。
例子与边界
两位字母加三位数字的编码在允许重复时有
三件上衣、四条裤子组成穿搭共有 1,各位置选择不再独立地保持两个选项,直接写
参考资料
- Eric Lehman, F. Thomson Leighton, and Albert R. Meyer, Mathematics for Computer Science, rev. 2018, §15.3.
- Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th ed., McGraw-Hill, 2019, §6.1.