【集合论】容斥原理 ( 包含排斥原理 | 示例 )

最新推荐文章于 2024-03-02 10:45:27 发布

韩曙亮

最新推荐文章于 2024-03-02 10:45:27 发布

阅读量1w

点赞数 14

分类专栏：数学 # 集合论文章标签：容斥原理包含排斥原理

本文链接：https://blog.csdn.net/shulianghan/article/details/108876810

版权

数学同时被 2 个专栏收录

122 篇文章 188 订阅

订阅专栏

集合论

34 篇文章 99 订阅

订阅专栏

文章目录

一、容斥原理
二、容斥原理示例

一、容斥原理

$A_1 , A_2 , \cdots , A_n$ 是 $n$ 个集合 ; 则这 $n$ 个集合并集的元素个数是 :

$\bigcup_{i=1}^{n} A_i | = \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 | - \cdots + ( -1 )^{n - 1} | A_1 \cap A_2 \cap \cdots \cap An |$

解析 :

$n$ 个集合进行并运算后 , 元素个数 , 通常使用容斥原理进行计算 ;

$\sum_{i = 1}^n | A_i |$ : 将每个集合中的元素个数相加 , 该值大于总元素数 , 需要进行修正 ; ( 系数值 $1)^0$ )

$\sum_{i < j} | A_i \cap A_j |$ : 减去两两相交的元素个数 , 该值又小于总元素数 , 继续进行修正 ; ( 系数值 $1)^1$ )

$\sum_{i < j < k} | A_i \cap A_j \cap A_k |$ : 加上三个集合相交的元素个数 , 该值大于总元素数 , 继续进行修正 ; ( 系数值 $1)^2$ )

减去四个集合相交的元素个数 , 该值小于总元素数 , 继续进行修正 ; ( 系数值 $1)^3$ )

$\vdots$

$)^{n - 1} | A_1 \cap A_2 \cap \cdots \cap An |$ : 加上 $1 )^{n - 1}$ 乘以 $n - 1$ 个集合相交的元素个数 ; ( 系数值 $1)^{n-1}$ )

上述奇数个集合交集元素个数前系数是正数 , 偶数个集合交集元素个数前系数是负数 ;

二、容斥原理示例

$1$ ~ $10000$ 之间 , 既不是某个整数的平方 , 又不是某个整数的立方 , 的数个数 ?

全集 : $E$ 集合是全集 , 是 $1$ 到 $10000$ 的自然数 , $E$ 集合的个数 $∣ E ∣ = 10000$

平方对应的数集合 $A$ : $A$ 集合是某个数的平方对应的某个数集合 , $\{ x \in E | x = k^2 \land k \in Z \}$ , $A$ 集合元素个数是 $∣ 100 ∣$ ;

$100^2 = 10000$ , 因此 $A$ 集合的元素是 $\{0, 1, 2 , \cdots , 100 \}$ , 元素个数有 $100$ 个 ; $1^2 , 2^2 , 3^3, \cdots ,100^2$ 都在 $1$ 到 $10000$ 之间 , $101^2 = 10201$ 就超过 $10000$ 了 ;

立方对应的数集合 $B$ : $B$ 集合是某个数的立方对应的某个数集合 , $\{ x \in E | x = k^3 \land k \in Z \}$ , $A$ 集合元素个数是 $∣ 21 ∣$ ;

$21^3 = 9261$ , 因此 $B$ 集合的元素是 $\{0, 1, 2 , \cdots , 21 \}$ , 元素个数有 $21$ 个 ; $1^3 , 2^3 , 3^3, \cdots ,21^3$ 都在 $1$ 到 $10000$ 之间 , $22^2 = 10648$ 就超过 $10000$ 了 ;