嘘~ 正在从服务器偷取页面 . . .

《组合数学》 §3.1 学习笔记


《组合数学》 §3.1 学习笔记

前言:本章节主要讲述容斥原理。可参考 容斥原理 学习笔记

3.1.1 ~ 3.1.3

略。

定理 3.1.4 (容斥原理)

设 $S$ 为一有限集,$\mathcal{P} = \{P_1,P_2,\cdots,P_m\}$ 为一族性质。

对 $[m]$ 的任一子集 $I$ ,令 $X_I$ 表示 $S$ 中满足性质 $P_i$ (对于所有 $i \in I$ )的那些元素构成的集合。

特别地,当 $I=\{i\}$ 时,简记 $X_{\{i\}}$ 为 $X_i$ 。记 $\overline{X_I} = S \setminus X_I$ 。

则集合 $S$ 中不具有 $\mathcal{P}$ 中任何一种性质的元素个数由下式给出

证明 对任意 $x \in S$ ,记 $J_x = \{i \in[m] \mid x \in X_i\}$ 。按 $J_x$ 是否为空集讨论:

  1. $J_x = \varnothing$ ,即 $x$ 不在任意一个 $X_i$ 中。

    此时 $x$ 对原式左端的贡献为 $1$ ;对于右端,$x$ 仅对 $|S|$ 贡献 $1$ ,对其余和式贡献为 $0$ ,

    从而对右端贡献也为 $1$ ,故此时原式成立。

  2. $J_x \ne \varnothing$ ,即 $x$ 在某些 $X_i$ 中。设 $j = |J_x|$ ,则 $j > 0$ 。

    此时 $x$ 对原式左端的贡献为 $0$ ;对于右端,注意到 $x \in X_I$ 等价于 $I \subseteq J_x$ ,从而 $x$ 对原式右端贡献为

    故此时原式成立。

综合以上两点,有原式成立。 $\square$

容斥原理是一个很有用的计数原则,它的另一表述为:

设 $S$ 是一个 $n$–集合,$E_1,E_2\cdots E_m$ 是 $S$ 的子集(不一定互不相同

对任意 $M \subseteq [m]$ 及 $0 \le j \le m$ ,定义

则 $S$ 中不在每个 $E_i~(1 \le i \le m)$ 中的元素个数为

例 3.1.5

用容斥原理计算 $n$ 元错位排列的个数 $d_n$ 。

 对于 $n$ 元置换及 $1 \le i \le n$ ,定义性质 $P_i$ 为 $i$ 在置换下保持不变(即 $i$ 为不动点)。

定义 $A_i$ 为 $n$ 元对称群 $S_n$ 中(即 $n$ 元置换群)所有满足性质 $P_i$ 的置换组成的子集,则

对任意 $1 \le i_1 < \cdots < i_k \le n$ ,$|A_{i_1}\cap\cdots \cap A_{i_k}|$ 为 $S_n$ 中具有不动点 $i_1,\cdots,i_k$ 的置换个数,即 $(n-k)!$

根据定理 3.1.4 得到

例 3.1.6

略。

例 3.1.7

从 $[n]$ 到 $\{y_1,\cdots,y_k\}$ 的满射有多少个?给出一个较为简便的公式即可。

 设 $S$ 为所有 $[n]$ 到 $\{y_1,\cdots,y_k\}$ 的映射的集合,则 $|S| = k^n$ 。定义性质 $P_i$ 为 $y_i$ 不是映射的像

$A_i$ 为满足性质 $P_i~(1\le i \le k)$ 的所有从 $[n]$ 到 $\{y_1,\cdots,y_k\}$ 的映射的集合,则对任意 $1 \le i \le k$ 有

对任意 $1 \le i_1 < \cdots < i_j\le k$ ,有

这样,所求的满射的个数为

注 3.1.8

由 3.1.7 本身的组合意义可知,若 $k > n$ ,则不存在这样的满射;

若 $k = n$ ,则满射的个数是 $n! = k!$ 。由此可知

同时可以看出,出现 $(-1)^i$ 这样的形式往往是可以用容斥原理帮助计数的象征。(啊对对对

例 3.1.9 ~ 3.1.11

略。自己看书吧,太多了不想打了

定理 3.1.12

与定理 3.1.4 等价的对偶形式是下述定理。

集合 $S$ 的具有 $P_1,P_2,\cdots P_m$ 中至少一种性质的元素个数由下式给出:

其中第 $j$ 个和式是对 $[m]$ 的所有 $j$–子集 $\{i_1,i_2,\cdots,i_j\}$ 得到的

进行求和, $1 \le j \le m$ 。


题外话

这首歌真的特别好听。


文章作者: q779
版权声明: 本博客所有文章除特别声明外,均采用 CC BY-NC-ND 4.0 许可协议。转载请注明来源 q779 !
评论
  目录