心中满怀着对HJQ巨佬的无限敬仰,把HJQ巨佬的tfw手稿敲成了电子版,在内容和排版上基本上遵从了巨佬笔记的原样 —— cppascalinux 的小迷弟 GGN_2015
n n n 个球放入 m m m 个盒的方案数 ( A → B A \to B A→B的映射数, ∣ A ∣ = n , ∣ B ∣ = m |A|=n, |B|=m ∣A∣=n,∣B∣=m)
定义了一些标记:
1.无限制
2 B中每个元素至多一个原象(每个盒子至多一个球)
3.B中每个元素至少一个原象(每个盒子至少一个球)
a. 球、盒都有编号(有一对对应不同即视为不同)(直接比较)
b. 球有编号、盒无编号(每个象对应原象集合所构成的集合不同视为不同)(排序比较)
c.球无编号、盒有编号(每个象对应的原象个数构成的数列不同视为不同)(比较球的个数)
d.球、盒均无编号(每个象对应的原象个数构成的可重集合不同视为不同的映射)(比较球的个数(排序后的))
a | b | c | d | |
---|---|---|---|---|
1 | m n m^n mn | ∑ i = 0 m S n i \sum_{i=0}^mS_n^i ∑i=0mSni | C n + m − 1 m − 1 C_{n+m-1}^{m-1} Cn+m−1m−1 | P m ( m + n ) P_m(m+n) Pm(m+n) |
2 | C m n ⋅ n ! C_m^n\cdot n! Cmn⋅n! | [ n ≤ m ] [n \leq m] [n≤m] | C m n C_m^n Cmn | [ n ≤ m ] [n\leq m] [n≤m] |
3 | S n m ⋅ m ! S_n^m\cdot m! Snm⋅m! | S n m S_n^m Snm | C n − 1 m − 1 C_{n-1}^{m-1} Cn−1m−1 | P m ( n ) P_m(n) Pm(n) |
注:
S n m S_n^m Snm:第二类斯特林数:将大小为 n n n的集合划分为 m m m个非空集合构成的集合的方案数。
P m ( n ) P_m(n) Pm(n):整数拆分数:将整数 n n n拆分成 m m m个正整数之和的方案数。
[ ] [ \space \space \space] [ ]:艾弗森括号:括号内条件为真即为 1 1 1,为假即为 0 0 0。