集合等离散数据结构

集合

简单说一下集合的概念，集合包含一组可区分的对象，称为成员或元素。如果一个对象x是对象S的一个成员，记为$x\in S$。如果x不是S的成员，则记为$x\notin S$。通过在一对大括号中显式列出集合的所有成员的方式描述一个集合，例如通过 S = { 1 , 2 , 3 } S = \{1,2,3\} S={1,2,3}定义一个包含成员1，2，3的集合。如果两个集合A和B包含相同的成员，则称A,B相等（忽略顺序和重复元素）。
常用集合有几种

• $\varnothing$表示空集
• $\mathbb{Z}$表示整数集
• $\mathbb{R}$表示实数集
• $\mathbb{N}$表示自然数集

如果集合A的所有元素都在集合B中，即如果$x\in A$就有$x\in B$，则可以记为$A\subseteq B$，集合A是集合B的一个子集。当且仅当$A\subseteq B$且$B\subseteq A$时，有A=B。对于任意三个集合A,B,C，如果$A\subseteq B$且$B\subseteq C$，则$A\subseteq C$。对于任意集合A，有$\varnothing \subseteq A$。

集合操作服从下列定律：
空集律
$$\begin{gathered} A\bigcap \varnothing =\varnothing \\ A\bigcup \varnothing =A \end{gathered}$$
幂等律
$$\begin{gathered} A\bigcap A=A \\ A\bigcup A=A \end{gathered}$$
交换律
$$\begin{gathered} A\bigcap B=B\bigcap A \\ A\bigcup B=B\bigcup A \end{gathered}$$
结合律
$$\begin{gathered} A\bigcap (B\bigcap C)=(A\bigcap B)\bigcap C \\ A\bigcup (B\bigcup C)=(A\bigcup B)\bigcup C \end{gathered}$$
分配律
$$\begin{gathered} A\bigcap (B\bigcup C)=(A\bigcap B)\bigcup (A\bigcap C) \\ A\bigcup (B\bigcap C)=(A\bigcup B)\bigcap (A\bigcup C) \end{gathered}$$
吸收律
$$\begin{gathered} A\bigcap (A\bigcup B)=A \\ A\bigcup (A\bigcap B)=A \end{gathered}$$
德·摩根律
$$\begin{gathered} A-(B\bigcap C)=(A-B)\bigcup (A-C) \\ A-(B\bigcup C)=(A-B)\bigcap (A-C) \end{gathered}$$

通常，所有被考虑的集合都是一个全域U的子集，例如，当考虑各种仅有整数组成的集合时，集合Z就是个合适的全域。给定一个全集U，可以定义A的补集为$\bar{A}=U-A$，对于任何集合$A\subseteq U$，有以下定律：
$$\begin{gathered} \overline{\stackrel{ˉ}{A}}=A \\ A\bigcap \bar{A}=\varnothing \\ A\bigcup \bar{A}=U \end{gathered}$$
德·摩根律可以补集形式表示。对任意两个集合$B,C\subseteq U$，有
$$\begin{gathered} \overline{B\bigcap C}=\bar{B}\bigcup \bar{C} \\ \overline{B\bigcup C}=\bar{B}\bigcap \bar{C} \end{gathered}$$
如果集合A和B没有公共的元素，即$A\bigcap B=\varnothing$，则称两者不相交。如果一个非空集合 δ = { S i } \delta = \{S_i\} δ={Si​}满足条件

• 集合两两不相交，即对$S_i，S_j\in \delta$，如果$i\ne j$，则$S_i\bigcap S_j=\varnothing$
• 他们的并集是S，即
  $$S=\bigcup _{S_i\in \delta }{S}_i$$
  则称集合$\delta$是集合S的一个划分。换句话说，如果S中的每个元素仅出现在一个$S_i\in \delta$，则称$\delta$为集合S的一个划分。
         集合中元素的个数称为j集合的势，记为$\left|S\right|$。如果两个集合的元素可以形成一一对应，则称两个集合有相同的势。空集的势为0。如果一个集合的势是自然数，则称集合是有限的，反之，他是无限的。如果一个无限集合可以跟自然数集合N形成一一对应，则称其为可数无限；反之，则称其为不可数。整数集Z是可数的，而实数集R是不可数的。
  一个具有n个元素的有限集合常被称为n维集。一个一维集也成为单元集。一个集合的k个元素的子集称为k子集。
  集合S的所有子集的集合，包括空集和S本身表示为$2^S$，称为S的幂集。例如 2 { a , b } = { ∅ , { a } , { b } , { a , b } } 2^{\{a,b\}} = \{\empty,\{a\},\{b\},\{a,b\} \} 2{a,b}={∅,{a},{b},{a,b}}。有限集S的幂集的势是$2^{|S|}$。
  可以使用组合证明，先找有0个元素的子集，再找有1个元素的子集……最后找有n个元素的子集，他们的个数分别是$\sum _{k=0}^n\left(\genfrac{}{}{0ex}{}{n}{k}\right)$,恰好是$2^n$。