组合数学$2鸽巢原理与容斥原理

「已注销」

于 2021-08-30 21:40:20 发布

阅读量470

点赞数

CC 4.0 BY-SA版权

文章标签：组合数学

本文深入探讨了组合数学中的鸽巢原理及其变形，包括平均形式和映射形式，以及在密码学、有理数表示、排列问题等领域的应用。同时介绍了容斥原理，展示了如何计算特定排列的数量，并通过错排公式和莫比乌斯反演进行求解。最后，简要提及了Mobius反演的概念和在解决集合包含问题中的应用。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

C2 鸽巢与容斥

1）鸽巢定理： $q_i\gt 0, \sum\limits_{i=1}^n q_i -n+1$ 个物体放入 $n$ 个盒中；则 $\exist i P_i = \{\small{\mathbb{第i盒中至少有q_i个物体}}\}$ 成立2）变形：

简单形式： $q_i = 2,n+1$ 个物体放入 $n$ 盒子，存在一个盒子至少有 2 球
映射形式： $|\mathbb{X}| = |\mathbb{Y}|$ ，则 $f$ 是单射 $\iff$ $f$ 是满射
平均形式：
- $\frac{\sum\limits_{i=1}^nm_i}{n}\ge r \ (\forall i:m_i\in Z^+)\implies \exist i,m_i\ge r$
- $\frac{\sum\limits_{i=1}^nm_i}{n}\lt r \ (\forall i:m_i\in Z^+)\implies \exist i,m_i\lt r$

3）应用：

中国剩余定理： $(m_i,m_j) = 1, n_i \lt m_i \implies \exist x\forall i:x\equiv n_i(\mathrm{mod} \ m_i)$
- 弱化: $(m_1,m_2) = 1, n_i \lt m_i \implies \exist x:x\equiv n_1(\mathrm{mod} \ m_1),x\equiv n_2(\mathrm{mod} \ m_2)$
  
  证明：对 $n_1$ , $n_1 + m_1$ ， $\cdots$ , $n_1 + (m_2-1)m_1$ ，假设有两个数模 $m_2$ 同余
  
  则 $n_1+im_1 \equiv n_1 + jm_1$ ；即 $(i-j)m_1\equiv 0(\mathrm{mod} \ m_2)$ ，矛盾
  
  故必有一个数模 $m_2$ 余数为 $n_2$
可应用于密码学
有理数一定可以写成有限循环小数

设 $\frac{p}{q}$ ，则 $10^n p / q,n=0,1,2,\cdots$ 当中必有两个同余，即竖式除法过程当中出现两个相同余数，此时除法循环
$n^2 + 1$ 个不等ch实数的排列，一定有 $n + 1$ 长度的递增子序列，或 $n + 1$ 长度的递减子序列

令 $m_k$ 表示从 $k$ 开始的递增子序列最大长度，设 $\le m_k \le n,k=1,2,\cdots,n^2+1$

由鸽巢原理，存在 $m_{k_1}=\cdots=m_{k_{n+1}}$

则由 $m_k$ 的定义， $a_{k_1} \lt a_{k_2} \lt \cdots\lt a_{k_{n+1}}$ ，得证
$1 - 200$ 中取 $101$ 个数，一定有两个不互素

任意数可表示 $n = 2^a*b$ 的形式， $b$ 为奇数，若 $n_1,n_2)=1$ 则 $b_1\neq b_2$

但这样的 $b$ 只有 100 个，取 101 个数，必有 2 个相同

4）推广：Ramsey 定理 $m,n\ge 3$ ， $\exist p:K_p\to K_m,K_n$

释义：存在 $p$ 阶完全图，其边二着色中一定有一个 $m$ 阶1色完全子图或 $n$ 阶2色完全子图
上界：设 $r (m, n)$ 是使得上述条件成立的最小的 $p$ ，则 $r(m,n)\le r(m-1,n)+r(m,n-1)$ 类比组合数得 $r(m,n)\le C_{m+n-2}^{m-1}$

令 $f(m,n) = C_{m+n-2}^{m-1}$ ，则由 Pascal 公式得 $f (m, n) = f (m - 1, n) + f (m, n - 1)$
平凡： $r (2, n) = r (n, 2) = n$ ； $r (m, n) = r (n, m)$
归纳证明：

归纳基础：易得 $r (2, n) = r (n, 2) = n$

归纳假设： $m,n\ge 3:r(m-1,n),r(m,n-1)$ 存在

归纳推导：令 $p = r (m - 1, n) + r (m, n - 1)$ ，考察一个特殊点，其有 $B_x$ 蓝边， $R_x$ 红边。

则 $R_x+B_x = p -1=r(m-1,n)+r(m,n-1)-1$

得 $R_x\ge r(m-1,n)$ 或 $B_X\ge r(m,n-1)$

若 $R_x\ge r(m-1,n)$ ,则显然 $p\to m-1,n$

若存在一个 $m - 1$ 阶红色完全图，增加点 $x$ 后构成一个 $m$ 阶图

否则，得证

否则，同理

故得证
广义 Ramsey 定理：

$K_n^t$ 表示 $n$ 元集中所有 $t$ 元子集的集类， $t\ge 2,q_i\ge t$ ，则

$\exist n:K_n^t\to K_{q_1}^t,K_{q_2}^t,\cdots,K_{q_k}^t$
- $t = 1$ 时退化为鸽巢原理
- $r_t(t,q_2,\cdots,q_k)=\min\{t,r_t(q_2,\cdots,q_k)\}=r_t(q_2,\cdots,q_k)$
$K_{17}\to K_3,K_3,K_3$

$r_1(q_1,\cdots,q_k) = \sum\limits_iq_i -k+1$

1）容斥原理： $|\bigcap_1^n\bar{A_i}| = |S| - \sum\limits_{1\le i\lt n}|A_i|+\sum\limits_{1\le i\lt j\le n}|A_i\cap A_j|-\cdots +(-1)^n\bigcap_1^n|A_i|$

推论： $|\bigcup_1^n A_i| = \sum\limits_{1\le i\lt n}|A_i|-\sum\limits_{1\le i\lt j\le n}|A_i\cap A_j|+\cdots -(-1)^n\bigcap_1^n|A_i|$

2）错位排列问题： $1\dots n$ 的排列中， $\forall i:i$ 不在第 $i$ 位的排列

解法：令 $A_i = \{i \ \small{\mathbb{在第}} \ i \ \small{\mathbb{位的排列}}\}$
级数解： $D_n = n!\sum\limits_{k=0}^n\frac{(-1)^k}{k!}$
递推： $D_n = (n-1)(D_{n-2} +D_{n-1})$ 进一步 $D_n = nD_{n-1}+(-1)^n$ （便于计算）
- $D_n$ 为偶数，当前仅当 $n$ 是奇数
- 指数生成函数： $\frac{e^{-x}}{1-x}$ (藉由 $D_n = n!D_{n-1} + (-1)^n$ )
推论：错排概率趋近 $\frac{1}{e}$

3）多禁止位排列： $X_i$ 表示 $i$ 不能占据的位置

等价问题： $n\times n$ 棋盘上不能同行同列放置的棋子， $X_i$ 表示第 $i$ 列上的禁止位
形式解： $|\bigcap_1^n\bar{A_i}| = \sum\limits_{k=0}^n (-1)^kr_k(n-k)!$ 。其中 $r_{k(\ge 1)}$ 为 $k$ 个棋子放在禁止位上的方法数， $r_0 = 1$ ， $r_1$ 为禁止位总数
和式解： $\sum_{\pi \in \pi_n}\Pi_{i=1}^n a_{i\pi(i)}$ ，称棋盘 $A$ 的不变式。由莫比乌斯反演得 $\sum\limits_{S\sube X_n}(-1)^{n-|S|}\prod_{i=1}^n\sum\limits_{j\in S}a_{ij}$ ，算法复杂度 $O(2^n)$

4）相对禁止位排列：

5）推广：若 $q_k$ 表示恰好有 $k$ 个性质的元素个数， $p_k$ 表示至少有 $k$ 个性质的元素个数，则 $q_k = \sum\limits_{i=k}^n (-1)^{i-k}C_i^{i-k}p_i$

1）偏序卷积： $f\circ g = \sum \limits_{x\prec z\prec y} f(x,z)g(z,y)$

满足结合律： $(f\circ g) \circ h = f\circ (g\circ g)$ ，不交换
幺元：克罗内克δ函数 $\delta (x,y) = \begin{cases} 1, &x = y\\0, &x\neq y \end{cases}$
群逆：若偏序集上二元实值函数满足 $\forall x,f(x,x)\neq 0$ ，则其存在逆函数

$\begin{cases} \frac{1}{f(x,x)}, &x = y\\ -\sum\limits_{x\preceq z \prec y}g(x,z) \frac{f(z,y)}{f(y,y)} & x\prec y \end{cases}$

2）偏序集特征函数： $\zeta(x,y) = \begin{cases} 1, x\preceq y\\ 0,x \not \preceq y \end{cases}$

逆：莫比乌斯函数 $\mu (x,y)$

幂集包含关系 < $\mathscr{P}(\mathbb{X}),\sube$ >： $\mu(\mathbb{A,B}) = (-1)^{\mathbb{B-A}}$

线性有序集： $\mu(x,y) = \begin{cases} 1,&x = y\\ -1, & y = x + 1(\mathbb{偏序意义上})\\ 0, & \rm otherwise \end{cases}$

3）Mobius(莫比乌斯)反演：

若偏序集上实值函数 $F, G$ 满足 $\sum\limits_{\{y\preceq x\}}F(y)$ ，
则 $\sum\limits_{\{x:y\le x\}}\mu(y,x)G(y)$
应用：幂集上实值函数 $F,G:\mathscr{P}(X_n)\to \mathfrak{R}$ 满足 $\sum\limits_{Y\sube X}F(Y)$

则 $\sum\limits_{Y\sube X} (-1)^{|X|-|Y|}G(Y)$

4）偏序直积结构： $(x_1,y_1)\preceq (x_2,y_2)\iff x_1\preceq x_2 \wedge y_1 \preceq y_2$

5）容斥原理是 Mobius 的特例