组合数学入门—TwelveFold Way

组合数学入门—TwelveFold Way

你需要解决\(12\)个组合计数问题。

\(n\)个有标号/无标号的球分给\(m\)个有标号/无标号的盒子

盒子有三种限制：

A、无限制

B、每个盒子至少有一个球

C、每个盒子至多有一个球

共有\(2\times2\times3=12\)种问题：

为了方便 将有标号记为L(labelled) 无标号记为U(unlabelled)

那么一个问题可以用缩写代替，如ULA表示\(n\)个无标号的球分给\(m\)个有标号的盒子，一共有多少种方案。

现在你的任务是，给定问题的缩写和\(n,m\)，求方案数对\(998244353\)取模后的值。

LLA

这个很明显答案是\(m^n\),每一个球有\(m\)种选择

LLB

发现这个条件不好满足,考虑容斥,每次强制枚举\(i\)个盒子里面没有球
\[
ans = \sum_{i = 0}^m\binom{n}{i}(m - i)^n
\]

LLC

我们发现,因为要求球全部放入盒子,所以当\(n > m\)肯定无解

否则答案就是
\[
\binom{m}{n}\times n!
\]
看看那几个盒子里面有球,并且因为球是不同的,所以要再乘上排列数

LUB

发现LUB和LLB的区别就是其实就是\(\{1,2,3\},\{4,5\}\)和\(\{4,5\}\),\(\{1,2,3\}\)看做一种

那么我们直接把LLB的答案除以\(m!\)即可

这就引出了我们要介绍的东西,第二类斯特林数

第二类斯特林数,记为\(S\),\(S_n^m\)表示把\(n\)个有标号的球放到\(m\)个无标号的盒子里面的方案数

我们可以比较简单的理解第二类斯特林数的递推公式
\[
S_{n}^m = S_{n - 1}^{m - 1}+ m\times S_{n - 1}^m
\]
每次新开一个盒子放\(i\)或者是放入之前的任何一个集合之中

LUA

我们既然知道了LLB的答案,直接枚举多少个盒子放了球
\[
ans = \sum_{i = 1}^mS_{n}^i
\]
到此为止我们可以发现一个奇妙的性质A和B是知一推一的,有无标号仅仅通过乘组合数推出来

LUC

这就是比较水的了,直接判断能否放下,放得下就是\(1\)

ULB

经典插板法的模型,ULB也可以在做是这样一个方程的正整数解的个数
\[
x_1+x_2+x_3+\dots +x_m = n
\]
那么我们看做这样\(n\)的球插入\(m - 1\)的版子.分割成\(m\)部分的方案数

所以方案数就是
\[
\binom{n - 1}{m - 1}
\]

ULA

我们继续上面的方程

设\(y_i = x_i+ 1\)

也就是我们现在要解决这个方程的正整数解的个数
\[
y_1+y_2+\dots+y_m = n+m
\]
同理,可以知道是
\[
\binom{n + m - 1}{m - 1}
\]
每一组\(y\)都对应着唯一一组\(x\)(因为\(x\)和\(y\)的关系是确定的)

ULC

首先,\(n > m\)肯定无解,接下来只需要考虑\(n\le m\)

否则答案就是\(\binom{m}{n}\)

UUC

同LUC

UUB

这个不能通过ULB除以\(m!\)得到

因为ULB中我们尽管盒子不同,但是球是相同的,所以我们会把\(\{2,3,3\}\)和\(\{2,3,3\}\)看做同一种方案,所以直接除以\(m!\)的前提是上面的例子被看做不同方案,否则就没有排列一说

那我们设\(P_{i,j}\)表示\(i\)个无标号的球分到\(j\)个有标号的盒子里的方案数

为了保证不会重复计数,我们强制盒子的球数目不增

转移要么把新球新开一个盒子,要么在前面所有盒子都放一个球
\[
P_{i.j} = P_{i - 1,j - 1} + P_{i - j,j}
\]
转移边界有\(P_{0,0} = 1\)

这其实就是划分数

UUA

首先,我们可以采用老套路,暴力枚举有多少个盒子中放球
\[
ans = \sum_{i = 1}^m P_n^i
\]
另外类似于ULA的思路,我们发现答案其实是\(P_{n + m}^m\)