集合与图论学习笔记04

集合与图论学习笔记04

exdoubled Lv4

定理

抽屉原理

简单形式

\(n\) 个物品放入 \(m\) 个抽屉,如果 \(n > m\),则至少有一个抽屉包含至少两个物品。

数学表述: 如果 \(n > m\),则存在一个抽屉至少有 \(\lceil \frac{n}{m} \rceil=\lfloor \frac{n-1}{m} \rfloor + 1\) 个物品。

推广形式

\(n\) 个物品放入 \(m\) 个抽屉,则至少有一个抽屉包含至少 \(\lceil \frac{n}{m} \rceil\) 个物品, 且至少有一个抽屉包含至多 \(\lfloor \frac{n}{m} \rfloor\) 个物品。

应用例子

1.映射个数

\(m\) 元集到 \(n\) 元集的映射个数为:

\(\lfloor \frac{n-1}{m} \rfloor + 1\)

2.序列选取

\(a_1,...,a_{n^{2}+1}\) 是由 \(n^{2}+1\) 个不同实数选取的一个序列,则一定可以选取 \(n+1\) 个数的严格单调递增或者单调递减的子序列

容斥原理

两个集合的情况

对于有限集 \(A\)\(B\)\(|A \cup B| = |A| + |B| - |A \cap B|\)

三个集合的情况

对于有限集 \(A\), \(B\), \(C\)\(|A \cup B \cup C| = |A| + |B| + |C| - |A \cap B| - |A \cap C| - |B \cap C| + |A \cap B \cap C|\)

一般形式(n个集合)

对于有限集 \(A_1, A_2, \dots, A_n\)\[ \left| \bigcup_{i=1}^n A_i \right| = \sum_{k=1}^n (-1)^{k+1} \sum_{1 \le i_1 < i_2 < \dots < i_k \le n} |A_{i_1} \cap A_{i_2} \cap \dots \cap A_{i_k}| \]

等价地: \[ \left| \bigcup_{i=1}^n A_i \right| = \sum_{\emptyset \ne S \subseteq \{1,2,\dots,n\}} (-1)^{|S|+1} \left| \bigcap_{i \in S} A_i \right| \]

补集形式(计数都不在其中的元素)

设全集为 \(U\),则: \[ \left| \bigcap_{i=1}^n A_i^c \right| = |U| - \sum_{i=1}^n |A_i| + \sum_{i<j} |A_i \cap A_j| - \sum_{i<j<k} |A_i \cap A_j \cap A_k| + \dots + (-1)^n |A_1 \cap A_2 \cap \dots \cap A_n| \]

应用例子

  1. 错位排列

\(n\) 个元素的排列,没有元素在原始位置的方案数: \(D_n = n! \sum_{k=0}^n \frac{(-1)^k}{k!}\)

  1. 欧拉函数

小于 \(n\) 且与 \(n\) 互质的正整数个数: \(\varphi(n) = n \prod_{p|n} \left(1 - \frac{1}{p}\right)\) 其中 \(p\) 取遍 \(n\) 的所有质因数。

  1. 包含排斥问题

\(1\)\(1000\) 中不被 \(2,3,5\) 整除的整数个数: \(1000 - \lfloor 1000/2 \rfloor - \lfloor 1000/3 \rfloor - \lfloor 1000/5 \rfloor + \lfloor 1000/6 \rfloor + \lfloor 1000/10 \rfloor + \lfloor 1000/15 \rfloor - \lfloor 1000/30 \rfloor\)

  1. 满射函数计数

\(m\) 元集到 \(n\) 元集的满射函数个数: \(\sum_{k=0}^n (-1)^k \binom{n}{k} (n-k)^m\)


递推与生成函数

母函数(生成函数)定义与分类

母函数基本思想

母函数是一种形式幂级数,其系数编码某个数列的信息,通过代数运算处理数列间的组合关系

母函数作为形式幂级数时,不考虑收敛性,只进行代数运算。在解析应用中需要考虑收敛半径

普通生成函数(OGF)

对于数列 \(\{a_n\}_{n\ge 0}\),其普通生成函数为: \(A(x) = \sum_{n=0}^{\infty} a_n x^n\)

用于无标记对象的组合计数,系数 \(a_n\) 通常表示大小为 \(n\) 的对象的个数

常见OGF

  • 常数序列 \(1,1,1,\dots\)\(\frac{1}{1-x}\)
  • 二项式系数 \(\binom{m}{n}\)\((1+x)^m\)
  • 斐波那契数列 \(F_n\)\(\frac{x}{1-x-x^2}\)

指数生成函数(EGF)

对于数列 \(\{a_n\}_{n\ge 0}\),其指数生成函数为: \(A(x) = \sum_{n=0}^{\infty} a_n \frac{x^n}{n!}\)

用于有标记对象的组合计数,系数 \(a_n\) 表示大小为 \(n\) 的有标记结构的个数

常见EGF

  • 常数序列 \(1,1,1,\dots\)\(e^x\)
  • 排列数 \(n!\)\(\frac{1}{1-x}\)
  • 圆排列数 \((n-1)!\)\(-\ln(1-x)\)

狄利克雷生成函数(DGF)

对于数列 \(\{a_n\}_{n\ge 1}\),其狄利克雷生成函数为: \(A(s) = \sum_{n=1}^{\infty} \frac{a_n}{n^s}\)

用于数论函数的乘法卷积,在解析数论中应用广泛

常见DGF

  • 常数函数 \(1\)\(\zeta(s)\)(黎曼ζ函数)
  • 莫比乌斯函数 \(\mu(n)\)\(\frac{1}{\zeta(s)}\)
  • 欧拉函数 \(\varphi(n)\)\(\frac{\zeta(s-1)}{\zeta(s)}\)

母函数运算与组合结构

  • 加法运算

\(C(x) = A(x) + B(x)\)

\(c_n=a_n+b_n\)

  • 乘法运算
    • OGF乘法:\(C(x) = A(x)B(x)\) 对应有序对或笛卡尔积即 \(c_n=\Sigma_{i=0}^{n}a_ib_{n-i}\)
    • EGF乘法:\(C(x) = A(x)B(x)\) 对应有标记对象的乘积结构即 \(c_n=\Sigma_{i=0}^{n}C(n,i)a_ib_{n-i}\)
  • 复合运算

\(C(x) = A(B(x))\) 对应结构的复合,如: - - OGF复合:序列的替换

\(A(x) = \sum_{n\ge 0} a_n x^n\), \(B(x) = \sum_{n\ge 0} b_n x^n\),且 \(b_0 = 0\)

复合生成函数为: \(C(x) = A(B(x)) = \sum_{k\ge 0} a_k [B(x)]^k\)

    • EGF复合:结构的组合(如集合的划分)

\(A(x) = \sum_{n\ge 0} a_n \frac{x^n}{n!}\), \(B(x) = \sum_{n\ge 1} b_n \frac{x^n}{n!}\)\(b_0=0\)

复合生成函数为: \(C(x) = A(B(x)) = \sum_{k\ge 0} a_k \frac{[B(x)]^k}{k!}\)

母函数运算的性质

递推关系的求解

线性常系数齐次递推关系

对递推关系 \(a_n+c_1a_{n-1}+c_2a_{n-2}+...+c_ka_{n-k} = 0\)

其中给出初值 \(a_0=d_0,...,a_{k-1}=d_{k-1}\)

有递推关系对应的特征多项式 \(C(x)=x^k+c_1x^{k-1}+...+c_k\)

母函数 \(G(x)=a_0+a_1x+...\)

\(x^{k}:a_{k}+c_1a_{k-1}+c_{2}a_{k-2}+...+c_{k-1}a_1+c_ka_0=0\)

\(x^{k+2}:a_{k+1}+c_1a_{k}+c_{2}a_{k-1}+...+c_{k-1}a_2+c_ka_1=0\)

\(x^{k+2}:a_{k+2}+c_1a_{k+1}+c_{2}a_{k}+...+c_{k-1}a_3+c_ka_2=0\)

\(...\)

对齐,把每一列乘上对应冒号左边的数可以得到母函数减去一个多项式 \[ \begin{align*} & [G(x)-(a_0+a_1x+...+a_{k-1}x^{k-1})] \\ +& c_1x[G(x)-(a_0+a_1x+...+a_{k-2}x^{k-2})]\\ +&c_2x^2[G(x)-(a_0+a_1x+...+a_{k-3}x^{k-3})]\\ +&...\\ +&c_{k-1}x^{k-1}[G(x)-a_0] \\ +&c_kx^kG(x) \\ =&0 \end{align*} \] 把母函数放在一起,整理即:

\((1+c_1x+c_2x^2+...+c_kx^k)G(x)=\sum_{i=0}^{k-1}[c_ix^i(\sum_{j=0}^{k-1-i}a_jx_j)]\)

我们定义 \(c_0=1\) ,令 \(P(x)=\sum_{i=0}^{k-1}[c_ix^i(\sum_{j=0}^{k-1-i}a_jx_j)]\)

\(R(x)=1+c_1x+c_2x^2+...+c_kx^k=x^kC(\frac{1}{x})\)

那么有 \(G(x)=\frac{P(x)}{R(x)}\)

\(C(x)\) 在复数域上有 \(n\) 个根,设 \(C(x)=(x-\alpha_1)^{k_1}(x-\alpha_2)^{k_2}...(x-\alpha_t)^{k_t}\) 其中 \(\sum_{a=1}^{t}=n\)

\(R(x)=(1-\alpha_1x)^{k_1}(1-\alpha_2x)^{k_2}...(1-\alpha_tx)^{k_t}\) \[ G(x) = \frac{P(x)}{(1-\alpha_1x)^{k_1}(1-\alpha_2x)^{k_2}...(1-\alpha_tx)^{k_t}} \\\\ = \frac{P_1(x)}{(1-\alpha_1x)^{k_1}}+\frac{P_2(x)}{(1-\alpha_2x)^{k_2}}+...+\frac{P_t(x)}{(1-\alpha_tx)^{k_t}} \\\\ \] 对每一项 \(P_i(x)\) 都是次方不超过 \(k_i-1\) 的多项式 \[ \frac{P_i(x)}{(1-\alpha_ix)^{k_i}}=\frac{A_{i1}}{1-\alpha_ix}+\frac{A_{i2}}{(1-\alpha_ix)^{2}}+...+\frac{A_{ik_i}}{(1-\alpha_ix)^{k_i}} \]

其中 \(A_{ij}\) 为常数

那么再对每一个项做幂级数展开

对照 \(G(x)=a_0+a_1x+...\)

\[a_n=\sum_{i=1}^{t}\sum_{j=1}^{k_i}A_{ij}C(j+n-1,n)\alpha_i^n\]

无重根的项

这部分设有 \(r_1\)

也就是 \(k_i=0\)

对应有 \(a_{n1}=\sum_{i=1}^{r_1}A_i\alpha_i^n\)

复数根的项

这部分设有 \(r_2\)

也有 \(k_i=0\)

设必定一对共轭复根 \(\alpha_1=\rho e^{i\theta},\alpha_2=\rho e^{-i\theta}\)

在幂级数展开的时候\(\frac{A_1}{1-\alpha_1x}+\frac{A_2}{1-\alpha_2x}\)导致的\(x^{n}\)的系数

\[ & A_1\alpha_1^n+A_2\alpha_2^n \\ = & A_1\rho e^{i\theta}+A_2\rho e^{-i\theta}\\ = &A_1\rho^n(\cos(n\theta)+i\sin(n\theta)) + A_2\rho^n(\cos(n\theta)-i\sin(n\theta))\\ = &(A_1+A_2)\rho^n\cos(n\theta)+i(A_1-A_2)\rho^n\sin(n\theta)\\ = &A\rho^n\cos(n\theta)+B\rho^n\sin(n\theta) \]

有重根的项

展开时由二项式定理

\(a_n=\sum_{j=1}^kA_jC(j+n-1,n)\alpha^n=\sum_{j=1}^kA_jC(j+n-1,j-1)\alpha^n\)

这里出现了一个关于 \(n\)\(j-1\) 次多项式

也就是 \(a_n=(h_1n^{k-1}+h_2n^{k-2}+...+h_k)\alpha^n\)

这里 \(h_i\) 待定

然后通过把所有项加起来即可得到通项公式

求递推的时候就可以通过求特征多项式的根,按照上面的形式通过用初值待定系数求出相应的系数,最后求出通项

模型

### 模型 4.1 全排列

\(n\) 个互不相同的元素的全体进行排列,称为 \(n\) 的全排列,方案数为 \[n!\]

模型 4.2 排列

\(n\) 个元素种选取 \(r\) 个元素按顺序排成一列,称为 \(r-\)排列,方案数为\[P(n,r)=\frac{n!}{(n-r)!}\]

可以看作 \(n\) 个球里面选取 \(r\) 个球做上标记放入 \(r\) 个不同的盒子中,不允许空盒,每个盒子中最多有 \(1\) 个球的方法数

模型 4.3 组合

\(n\) 个元素种选取 \(r\) 个元素不考虑排列的顺序,称为 \(r-\)组合,方案数为\[C(n,r)=\binom{n}{r}=C^{r}_{n}=\frac{n!}{r!(n-r)!}\]

可以看作 \(n\) 个球里面选取 \(r\) 个球做上标记放入 \(r\) 个相同的盒子中,不允许空盒,每个盒子中最多有 \(1\) 个球的方法数

另一方面,这两个模型的区别在于盒子是否相同, \(r\) 个球放入 \(r\) 个不同的盒子里面的方法数为 \(r!\) ,这 \(r!\) 个方法在盒子相同时是重复的,算作 \(1\) 种情况,得到 \(C(n,r)=\frac{P(n,r)}{r!}\) ,这里的 \(r!\) 称为组合的重复度

模型 4.4 圆排列

\(n\) 个元素种选取 \(r\) 个元素按顺序排成一个圆形,称为 \(r-\)圆排列,方案数为\[Q(n,r)=\frac{P(n,r)}{r}\]

可以看作 \(n\) 个球里面选取 \(r\) 个球做上标记放入 \(r\) 个不同的盒子中把盒子排成一个圈,不允许空盒,每个盒子中最多有 \(1\) 个球的方法数

另一方面,对数量为 \(r\) 的一个排列,不管哪一个元素为头哪一个元素为尾,这 \(r\) 种排列在圆排列下均为 \(1\) 种情况,得到 \(Q(n,r)=\frac{P(n,r)}{r}\)

模型 4.5 可重排列

最基础的可重

\(n\) 种元素中允许重复的选取 \(r\) 次得到的考虑顺序的排列,方案数为 \[n^{r}\]

如果我们限制可以选取元素的次数,若 \(a_i\)\(n_i\) 次并且 \(n=n_1+n_2+...+n_k\)

根据之前重复度的理论,全排列方案数为 \[\frac{n!}{n_1!n_2!...n_k!}\],我们记这个为多重组合数 \[\binom{n}{n_1,n_2,...,,n_k}\]

考虑相邻元素不同

\(n\) 种元素中允许重复的选取 \(r\) 次得到的考虑顺序并且相邻的元素不同,方案数为\[n(n-1)^{r-1}\]

考虑每种元素至少出现一次

采用容斥原理解决

\(n\) 种元素中允许重复的选取 \(r\) 次得到的考虑顺序并且每种元素至少出现一次,方案数为 \(\sum_{k=0}^{n}(-1)^{k}\binom{n}{k}(n-k)^{r}\)

证明: 点击查看证明

定义坏事件 \(A_i\) 为某种元素 \(i\) 没有出现

要求的即为没有任何坏事件发生的事件 \(N\),即\(N=\bigcap_{i=1}^{n}A^{c}_{i}\)

由容斥原理,\(|N|=\sum_{k=0}^n (-1)^k \sum_{1 \le i_1 < \dots < i_k \le n} |A_{i_1} \cap \dots \cap A_{i_k}|\)

接下来计算 \(\sum_{1 \le i_1 < \dots < i_k \le n} |A_{i_1} \cap \dots \cap A_{i_k}|\)

先从 \(n\) 种元素中任取 \(k\) 种,讨论这 \(k\) 种都不存在,方法数即为 \(\binom{n}{k}(n-k)^{r}\)

根据容斥原理,最终方法数为 \(\sum_{k=0}^{n}(-1)^{k}\binom{n}{k}(n-k)^{r}\)

考虑每种选取的元素存在上限

记为 $ {n_1a_1,n_2a_2,…,n_k,a_k}$ 表示 \(a_i\) 至多取 \(n_i\) 次,若所有 \(n_i\ge r\),平凡的,方案数为 \[n^r\]

考虑至少存在一个 \(n_i<r\),采用容斥原理解决

\(n\) 种元素中选 \(r\) 个(可重复,有序),每种元素 \(i\) 最多选 \(n_i\) 次,且至少存在一个 \(n_i < r\),并且 \(\Sigma_{i=1}^n n_i > r\),方法数为

\[\sum_{S \subseteq \{1,\dots,n\}} (-1)^{|S|} \binom{r}{\;n_i+1\ (i\in S),\ r - \sum_{i \in S}(n_i+1)\;} \cdot n^{\,r - \sum_{i \in S}(n_i+1)}\]

其中多组合数\[\binom{r}{a_1, a_2, \dots, a_m, r - (a_1+\dots+a_m)} = \begin{cases} \frac{r!}{a_1! \, a_2! \dots a_m! \, (r - (a_1+\dots+a_m))!}, & \text{如果 } a_1+\dots+a_m \le r \\ 0, & \text{否则} \end{cases}\]

证明: 点击查看证明

定义坏事件 \(A_i\) 为某种元素 \(i\) 被选了超过 \(n_i\)

要求的即为没有任何坏事件发生的事件 \(N\),即\(N=\bigcap_{i=1}^{n}A^{c}_{i}\)

由容斥原理,\(|N|=\Sigma_{S\subseteq\{1,2,3,...,n\}}(-1)^{|S|}|\bigcap_{i\in S}A_i|\)

接下来计算 \(S\)

考虑先分配 \(n_i+1\) 个位置给 \(i\),再分配 \(n_j+1\) 个位置给 \(j\) …最后剩下的元素给以下的选取方式:从 \(n\) 种元素中无上限选取 \(r-\sum_{i \in S} (n_i + 1)\) 个元素

方法数为 \(\binom{r}{\;n_i+1\ (i\in S),\ r - \sum_{i \in S}(n_i+1)\;}n^{r-\sum_{i \in S} (n_i + 1)}\)

根据容斥原理,方法数即为 \(\sum_{S \subseteq \{1,\dots,n\}} (-1)^{|S|} \binom{r}{\;n_i+1\ (i\in S),\ r - \sum_{i \in S}(n_i+1)\;} \cdot n^{\,r - \sum_{i \in S}(n_i+1)}\)

考虑相邻元素不同且每种元素至少出现一次

\(n\) 种元素中选 \(r\) 个(可重复,有序),相同元素不能相邻,且每种元素至少出现一次,方法数为

\[\sum_{k=0}^{n} (-1)^k \binom{n}{k} (n-k)(n-k-1)^{r-1}\]

证明: 点击查看证明

设全集 \(U\) 为相邻不同的排列数:\(n(n-1)^{r-1}\)

定义坏事件 \(A_i\) 表示”元素 \(i\) 没有出现”

由容斥原理: \[N = \sum_{j=0}^n (-1)^j \binom{n}{j} f(n-j, r)\]

其中 \(f(k, r)\) = 用 \(k\) 种颜色染 \(r\) 个位置且相邻不同的排列数 = \(k(k-1)^{r-1}\)(当 \(r \ge 1\)\(k \ge 1\))。

因此: \[N = \sum_{j=0}^n (-1)^j \binom{n}{j} (n-j)(n-j-1)^{r-1}\]

模型 4.6 可重组合

最基础的可重

\(n\) 种元素中允许重复的选取 \(r\) 次得到的不考虑顺序的组合,方案数为 \(C(n+r-1,r)\)

可以看作 \(r\) 个相同的球放入 \(n\) 个不同的盒子中,允许空盒,允许每个盒子多于 \(1\) 个球的方法数

证明: 点击查看证明

我们从 \((1,2,3...,n)\) 中选可重组合 \((a_{1},a_{2},...,a_{r})\) 有序关系 \(a_{1} \le a_{2} \le ...\le a_{r} \le n\)

做映射 \((a_{1},a_{2},...,a_{r})\rightarrow (a_{1},a_{2}+1,...,a_{r}+r-1)\) 有序关系 \(a_{1} < a_{2}+1 < ...< a_{r}+r-1 \le n-r+1\) ,得到这 \(r\) 个数不同,得知

\((1,2,3...,n)\) 中选可重组合 \((a_{1},a_{2},...,a_{r})\) 对应 从 \((1,2,3...,n,...,n+r-1)\) 中选不可重组合 \((a_{1},a_{2}+1,...,a_{r}+r-1)\)

反过来 从 \((1,2,3...,n,...,n+r-1)\) 中选不可重组合 \((b_{1},b_{2},...,b_{r})\) 有序关系 \(b_{1} < b_{2} < ...< b_{r} \le n+r-1\)

做映射 \((b_{1},b_{2},...,b_{r})\rightarrow (b_{1},b_{2}-1,...,b_{r}-r+1)\) 有序关系 \(b_{1} \le b_{2}-1 \le ...\le b_{r}-r+1 \le n\),得到这 \(r\) 个数可能相同,得知

\((1,2,3...,n,...,n+r-1)\) 中选不可重组合 \((b_{1},b_{2},...,b_{r})\) 对应 从 \((1,2,3...,n)\) 中选不可重组合 \((b_{1},b_{2}-1,...,b_{r}-r+1)\)

这是一个一一对应,所以它们方法数相同均为 \(C(n+r-1,r)\)

考虑每种元素至少出现一次

\(n\) 种元素中允许重复的选取 \(r\) 次得到的不考虑顺序并且每种元素至少出现一次的组合,方案数为\[C(r-1,n-1)\]

证明: 点击查看证明

我们从 \((a_{1},a_{2},...,a_{n})\) 中先选一组不重复的 \((a_{1},a_{2},...,a_{n})\) ,接着就变成了从 \(n\) 个元素中选取 \(r-n\) 个可重元素,根据上面的结论,应该为 \(C(n+(r-n)-1,r-n)=C(r-1,r-n)=C(r-1,n-1)\)

考虑每种选取的元素存在上限

此外,如果限制可以选取元素的次数并且假定 \(n_1,n_2,...n_k \ge r\) 结论是相同的

如果存在一个 \(n_i < r\) 则需要采用容斥原理解决

\(n\) 种元素中选 \(r\) 个(可重复,无序),每种元素 \(i\) 最多选 \(n_i\) 次,且至少存在一个 \(n_i < r\),方法数为\[\sum_{S \subseteq \{1,\dots,n\}} (-1)^{|S|} F(S)\]

其中 \(F(S)\) 表示强制让 \(S\) 中每个元素 \(i\) 至少选 \(n_i + 1\) 个时的方案数

\[F(S) = \begin{cases} \binom{n + r - 1 - \sum_{i \in S} (n_i + 1)}{r - \sum_{i \in S} (n_i + 1)}, & \text{如果 } r \ge \sum_{i \in S} (n_i + 1) \\ 0, & \text{否则} \end{cases}\]

即最终方法数为 \[\sum_{S \subseteq \{1,\dots,n\}} (-1)^{|S|} \binom{n + r - 1 - \sum_{i \in S} (n_i + 1)}{r - \sum_{i \in S} (n_i + 1)}\]

证明: 点击查看证明

由上面知道,如果没有限制,设无约束的所有方案集合 \(U\)\(|U|=C(n+r-1,r)\)

定义坏事件 \(A_i\) 为某种元素 \(i\) 被选了超过 \(n_i\)

要求的即为没有任何坏事件发生的事件 \(N\),即\(N=\bigcap_{i=1}^{n}A^{c}_{i}\)

由容斥原理,\(|N|=\Sigma_{S\subseteq\{1,2,3,...,n\}}(-1)^{|S|}|\bigcap_{i\in S}A_i|\)

这里记 \(F(S)=|\bigcap_{i\in S}A_i|\)

先选 \(\sum_{i \in S} (n_i + 1)\) 个元素 \(i\) 再从 \(n\) 种元素中无上限选取 \(r-\sum_{i \in S} (n_i + 1)\) 个元素即可,就有

\(F(S)=\binom{n + r - 1 - \sum_{i \in S} (n_i + 1)}{r - \sum_{i \in S} (n_i + 1)}=C(n + r - 1 - \sum_{i \in S} (n_i + 1),r - \sum_{i \in S} (n_i + 1))\)

考虑存在上限的同时每种元素至少出现一次

继续考虑每种元素至少出现一次,方法数为\[\sum_{S \subseteq \{1,\dots,n\}} (-1)^{|S|} \binom{r - 1 - \sum_{i \in S} n_i}{n-1}\]

证明: 点击查看证明

前部分使用容斥原理和上一个相同,只是对 \(F(S)\) 计算不同,套用的公式变为了 \(\binom{r - 1 - \sum_{i \in S} n_i}{n-1}=C(r - 1 - \sum_{i \in S} n_i,n-1)\)

拆分数

设正整数 \(n \in \mathbb{Z}^+\)。定义 \(p(n)\)\(n\) 的拆分数,即将 \(n\) 表示为若干正整数之和的不同方式的个数。我们约定拆分的顺序不计

母函数 \[ P(x) = \sum_{n=0}^{\infty} p(n) x^n = \prod_{k=1}^{\infty} \frac{1}{1-x^k}. \]

固定拆分项个数的母函数

若要求拆分 \(n\) 恰含 \(r\) 个拆分项,设 \(p_r(n)\) 为拆分数。母函数为:

\[ P_r(x) = [y^r] \prod_{k=1}^{\infty} \frac{1}{1 - x^k y}, \]

其中 \([y^r]\) 表示取 \(y^r\) 系数。该方法可进一步推广到多重限制拆分:拆分项个数属于集合 \(R \subset \mathbb{Z}^+\) 时:

\[ P_R(x) = \sum_{r \in R} [y^r] \prod_{k=1}^{\infty} \frac{1}{1 - x^k y}. \]

拆分项奇偶或模约束

  • 奇数拆分

\[ Q(x) = \prod_{k=1}^{\infty} \frac{1}{1-x^{2k-1}} \]

  • 偶数拆分

\[ E(x) = \prod_{k=1}^{\infty} \frac{1}{1-x^{2k}} \]

  • \(m\) 拆分:拆分项满足 \(k \equiv r \pmod m\) 的母函数:

\[ P_{r \bmod m}(x) = \prod_{k \ge 1,\, k \equiv r \, (\mathrm{mod}\, m)} \frac{1}{1-x^k}. \]

Euler 公式及不重复拆分

Euler 证明:

\[ \prod_{k=1}^{\infty} \frac{1}{1-x^{2k-1}} = \prod_{k=1}^{\infty} (1+x^k), \]

说明奇数拆分数等于不重复拆分数

拆分为最多 m 个数的母函数

设正整数 \(n\),要求拆分为最多 \(m\) 个正整数之和,记拆分数为 \(p_{\le m}(n)\)。引入变量 \(y\) 记录拆分项数:

\[ P_{\le m}(x,y) = \prod_{k=1}^{\infty} \frac{1 - (x^k y)^{m+1}}{1 - x^k y}. \]

\(y\) 的系数并对 \(r=0,1,\dots,m\) 求和,即得到最多 \(m\) 项的拆分数:

\[ p_{\le m}(n) = \sum_{r=0}^{m} [y^r] \prod_{k=1}^{\infty} \frac{1}{1 - x^k y}. \]

等价关系

根据母函数对称性可知:

\[ p_{\le m}(n) = \text{拆分 } n \text{ 中最大项不超过 } m \text{ 的拆分数}. \]

“拆分为最多 \(m\) 个数”“拆分中最大数不超过 \(m\) 的拆分数相等:

q-系列与递推公式

引入 \(q\)-系列展开:

\[ P(x) = \sum_{n=0}^{\infty} p(n) x^n = \sum_{k=-\infty}^{\infty} (-1)^k x^{k(3k-1)/2} \quad (\text{Euler-Pentagonal公式}) \]

递推关系为:

\[ p(n) = \sum_{k \in \mathbb{Z} \setminus \{0\}} (-1)^{k-1} p\Big(n - \frac{k(3k-1)}{2}\Big), \]

其中\(p(m) = 0\) 当 $ m<0 $。

带权拆分与加权母函数

若对拆分项赋权 \(w(k)\),母函数为:

\[ P_w(x) = \prod_{k=1}^{\infty} \frac{1}{1 - w(k) x^k}. \]

特例:

  • \(w(k) = q^k\)q-加权拆分
  • \(w(k) = 1\) 限制多重出现 → 不重复拆分
  • Title: 集合与图论学习笔记04
  • Author: exdoubled
  • Created at : 2025-09-30 15:00:00
  • Updated at : 2025-12-15 20:42:53
  • Link: https://github.com/exdoubled/exdoubled.github.io.git/lssx/ls04/
  • License: This work is licensed under CC BY-NC-SA 4.0.
Comments