Skip to content

二项式系数

Binomial coefficient

n 元集合的 k 元子集数,记作 C(n,k)。

形式陈述

对整数 n00kn,定义

(nk)=|{C{1,,n}:|C|=k}|.

按先排列所选元素、再消除其内部次序可得

(nk)=n!k!(nk)!.

通常约定 k<0k>n(nk)=0

直觉

二项式系数测量“从 n 个互异对象中无序选出 k 个”的结果数;分母中的 k! 正好消除同一子集的不同列举顺序。

例子与边界

从五人中选两人共有 (52)=10 种。(nk)=(nnk),因为选中 k 人与排除其余 nk 人一一对应。公式针对互异对象且不重复选择;含重复对象的排列或可重复抽取需要不同计数。

推论与应用

按某个固定元素是否被选中可得 Pascal 恒等式

(nk)=(n1k)+(n1k1).

二项式系数还出现在二项式定理、Bernoulli 试验、子集枚举和组合概率中。

参考资料
  • Eric Lehman, F. Thomson Leighton, and Albert R. Meyer, Mathematics for Computer Science, rev. 2018, §§15.5–15.6.
  • Kenneth H. Rosen, Discrete Mathematics and Its Applications, 8th ed., McGraw-Hill, 2019, §6.4.