组合数学——划分数&贝尔数

组合数学——划分数&贝尔数

贝尔数是组合数学里面一种重要的数列（A000110）。

$B_n$为模数为$n$的集合的划分方法数。

例如集合 { a , b , c } \{a,b,c\} {a,b,c}的划分有：

{ { a } , { b } , { c } } { { a } , { b , c } } { { b } , { a , c } } { { c } , { a , b } } { { a , b , c } } \begin{aligned} &\{ \{a\},\{b\},\{c\}\} \\ &\{ \{a\},\{b,c\}\} \\ &\{ \{b\},\{a,c\}\} \\ &\{ \{c\},\{a,b\}\} \\ &\{ \{a,b,c\}\} \\ \end{aligned} ​{{a},{b},{c}}{{a},{b,c}}{{b},{a,c}}{{c},{a,b}}{{a,b,c}}​

所以$n_3=5$。

和第二类斯特林数的联系：

$$B_n=\sum _{k=0}^{n}S(n,k)$$

递推公式：

$$B_{n+1}=\sum _{k=0}^n\left(\genfrac{}{}{0ex}{}{n}{k}\right)B_k$$

考虑元素$B_{n+1}$可以和前$n$个元素中的$k$个元素放在一起即可。

贝尔数作为一种估计，通常用来估计算法的时间复杂度。

当$n=13$时，$B_{13}>1e7$。