离散数学知识点整理

集合的基本概念

定义：不能精确定义。一些对象的整体就构成了集合，这些对象被称为元素或成员。

集合的表示

列举法

列举法是一种外延表示法

注意:

集合的元素是无序的

集合的元素是彼此不同的

描述法

描述法是一种内涵表示法

文氏图

利用平面上的点来做成对集合的图解方法。

一般使用平面上的方形或圆形表示集合，使用小圆点来表示集合的元素

数的集合

N：自然数
Z或I：整数
Q：有理数
R：实数
C：复数

集合与集合之间的关系

相等

$$A=B\iff \forall x\left(x\in B\leftrightarrow x\in A\right)$$
$$A=B\iff (A\subseteq B\wedge B\subseteq A)$$

子集

$A\subseteq B$ 称为B是A的子集，或说B包含于A，或说A包含B。
$$A\subseteq B\iff \forall x(x\in A\to x\in B)$$

子集的性质

$$A\subseteq A$$
$$若A\subseteq B且B\subseteq C,则A\subseteq C$$

真子集

$$A\subset B\iff A\subseteq B\wedge A\ne B$$

真子集的性质

$$若A\subset B且B\subset C,则A\subset C$$

空集

没有任何元素的集合是空集，记作$\oslash$。

定理1：

对任意集合$A$, $\oslash \subseteq A$

推论：

空集是唯一的

全集

若讨论的所有集合都是某个集合的子集，则称这个集合为全集，记作$E$

全集是相对的

n元集

含有n个元素的集合成为n元集

$|A|$表示集合中元素的个数，称为A的基数
$$A是n元集\iff |A|=n$$

幂集

A的全体子集组成的集合，成为A的幂集，记作$p(A)$ 或 $2^A$
$$p(A)=x|x\subseteq A$$

幂集计数问题

$$|A|=n\Rightarrow |P(A)|=2^n$$

集合的运算

交集

$$A\cap B=\{(x\in A)\wedge (x\in B)\}$$

交集的性质

$$若A\subseteq B,则A\cap C\subseteq A\cap B$$
$$A\cap B\subseteq A,A\cap B\subseteq B$$

互不相交

设$A_1,A_2,...,A_n$是n个集合，若对于任意$i\ne j$，都有$A_i\cap B_i=\oslash$,则说他们互不相交。

并集

A ∪ B = { x ∣ x ∈ A ∨ x ∈ B } A \cup B = \{x| x \in A \vee x \in B \} A∪B={x∣x∈A∨x∈B}

并集的性质

$$若A\subseteq B，则A\cup C\subseteq B\cup C$$
$$A\subseteq A\cup B,B\subseteq A\cup B$$

相对补集

A − B = { x ∣ x ∈ A ∧ x ∉ B } A - B = \{x| x \in A \wedge x \notin B\} A−B={x∣x∈A∧x∈/B}

相对补集的性质

$$A-B\subseteq A$$
$$\begin{gathered} A-B=\oslash \\ \iff A\subseteq B \\ \iff A\cup B=B \\ \iff A\cap B=A \end{gathered}$$

绝对补

$\sim A=E-A$ ,E是全集， $A\subseteq E$

对称差

A ⊕ B = { x ∣ ( x ∈ A ∧ x ∉ B ) ∨ ( x ∉ A ∧ x ∈ B ) } A\oplus B = \{x| (x\in A \wedge x \notin B) \vee (x \notin A \wedge x \in B)\} A⊕B={x∣(x∈A∧x∈/B)∨(x∈/A∧x∈B)}
$$A\oplus B=(A-B)\cup (B-A)=(A\cup B)-(A\cap B)$$

广义交和广义补

设A是集合， A中的元素的元素构成的集合成为A的广义交，记为$\cup A$

设A是非空集合，A的所有元素的公共元素构成的集合成为A的广义补

例

1. ∪ { ⊘ , { ⊘ } } = { ⊘ } ∩ { ⊘ , { ⊘ } } = ⊘ ∪ { ⊘ , A } = A ∩ { ⊘ , A } = ⊘ 1.\cup\{\oslash, \{\oslash\}\} = \{\oslash\} \\ \cap\{\oslash, \{\oslash\}\} = \oslash \\ \cup\{\oslash, A\} = A \\ \cap\{\oslash, A\} = \oslash 1.∪{⊘,{⊘}}={⊘}∩{⊘,{⊘}}=⊘∪{⊘,A}=A∩{⊘,A}=⊘

优先级

两个集合可以由集合运算符连接构成新集合，如$A\cap B$

两个集合可以有关系运算符连接构成一个命题，如$A\cap B\subseteq A$

这种命题可以有逻辑连接词连接构成复合命题，如$A\subseteq B\wedge A\ne B$

两个命题可以有逻辑关系符连接，如$A=B\Rightarrow A\subseteq B$


集合运算符：一元运算符$\sim A,p(A),\cup A,\cap B$

优先于集合运算符：二元运算符$-,\cup ,\cap ,\oplus$

优先于集合关系符：$=,\subseteq ,\subset ,\in$

优先于逻辑联结词：一元连接词$\neg$

优先于逻辑联结词：二元连接词$\wedge ,\vee ,\Rightarrow ,\leftarrow ,\iff$

优先于逻辑关系符：$\iff ,\Rightarrow$

有穷集的计数(容斥原理)

设S为有穷集，$P1,P2,...p_m$是m个性质.S中的任何元素x或者具有性质Pi,或者不具有性质Pi,两种情况必居其一，令Ai表示S中具有性质Pi的元素构成的子集，则S中不具有性质p1,p2,…,pm的元素个数为:
$$\begin{gathered} A_1\cup A_2\cup A_3\cup ...\cup A_m \\ =\Sigma A_i-\Sigma A_i\cap A_j+ \\ \Sigma A_i\cap A_j\cap A_k-......+ \\ ({-1}^{m-1}{A}_1\cap A_2\cap ....\cap A_m) \end{gathered}$$

集合恒等式

集合运算律

幂等律

$$A\cup A=A$$
$$A\cap A=A$$

交换律

$$A\cup B=B\cup A$$
$$A\cap B=B\cap A$$

结合律

$$\begin{gathered} (A\cup B)\cup C=A\cup (B\cup C) \\ (A\cap B)\cap C=A\cap (B\cap C) \end{gathered}$$

分配律

$$\begin{gathered} A\cap (B\cup C)=(A\cup B)\cap (A\cup C) \\ A\cup (B\cap C)=(A\cup B)\cap (A\cup C) \end{gathered}$$

吸收律

$$\begin{gathered} A\cup (A\cap B)=A \\ A\cap (A\cup B)=A \end{gathered}$$

双重否定律

$$\sim \sim A=A$$

德·摩根律

$$\sim (A\cap B)=\sim A\cup \sim B$$
$$\sim (A\cup B)=\sim A\cap \sim B$$

德·摩根律相对形式

$$A-(B\cup C)=(A-B)\cap (A-C)$$
$$A-(B\cap C)=(A-B)\cup (A-C)$$

零律

$$\begin{gathered} A\cup E=E \\ A\cap \oslash =\oslash \end{gathered}$$

同一律

$$\begin{gathered} A\cup \oslash =A \\ A\cap E=A \end{gathered}$$

排中律

$$A\cup \sim A=E$$

矛盾律

$$A\cap \sim A=\oslash$$

全补律

$$\sim \oslash =E$$
$$\sim E=\oslash$$

补交转换律

$$A-B=A\cap \sim B$$

对称差的性质

交换律

$$A\oplus B=B\oplus A$$

结合律

$$A\oplus (B\oplus C)=(A\oplus B)\oplus C$$

分配律

注意:对称差只对交集有分配律
$$A\cap (B\oplus C)=(A\cap B)\oplus (A\cap C)$$

消去律

$$(A\oplus B=A\oplus C)\iff B=C$$

对称差与补

$$\sim (A\oplus B)=\sim A\oplus B=A\oplus \sim B$$

其他性质

$$\begin{gathered} A\oplus \oslash =A,A\oplus E=\sim A \\ A\oplus A=\oslash ,A\oplus \sim A=E \end{gathered}$$

演算法

逻辑演算法

$A\subseteq B$

证明：
$$\begin{gathered} \forall x\in A, \\ \Rightarrow ... \\ \Rightarrow x\in B \end{gathered}$$

$A=B$

证明：
$$\begin{gathered} \forall x,x\in A \\ \iff ... \\ \iff x\in B \end{gathered}$$

集合演算法

$A=B$

格式1

$$\begin{gathered} A \\ =.... \\ =B \end{gathered}$$

格式2

$$\begin{gathered} (\subseteq ) \\ A \\ \subseteq ... \\ \subseteq B \end{gathered}$$
$$\begin{gathered} (\supseteq ) \\ ... \\ A\supseteq B \\ A=B \end{gathered}$$

$A\subseteq B$

格式1

$$\begin{gathered} A \\ \subseteq ... \\ \subseteq B \end{gathered}$$

格式2

$$\begin{gathered} A\cap B(或A\cup B) \\ =... \\ =A(或B) \end{gathered}$$
说明：利用 $$\begin{gathered} A\cap B=A\iff A\subseteq B \\ A\cup B=B\iff A\subseteq B \\ A-B=\oslash \iff A\subseteq B \end{gathered}$$
这三条性质极其重要

序偶

序偶的定义

两个具有固定次序的个体组成一个序偶
< a , b > = { { a } , { a , b } } <a, b> = \{\{a\}, \{a, b\}\} <a,b>={{a},{a,b}}
其中，a是第一元素， b是第二元素

序偶相等

相等判定：$<a,b>=<c,d>\iff a=c\wedge b=d$

有序性: $a\ne b\Rightarrow <a,b>\ne <b,a>$

有序三元组：$<a,b,c>=<<a,b>,c>$
有序n元组同理

笛卡尔积

笛卡尔积定义

令A和B是任意两个集合，若序偶的第一个成员是A中的元素，第二个成员是B中的元素，所有这些序偶组成的集合被称为集合A和集合B的笛卡尔积或卡氏积

记作：$A\times B$
A × B = { < x , y > ∣ x ∈ A ∧ y ∈ B } A \times B = \{<x, y>|x \in A \wedge y \in B\} A×B={<x,y>∣x∈A∧y∈B}

笛卡尔积元素个数

有限集笛卡尔积元素个数的关系是：

若$|A|=n,|B|=m,则|A\times B|=n\times m=|B\times A|$

笛卡尔积的性质

非交换

$$A\times B\ne B\times A$$

非结合

$$(A\times B)\times C\ne A\times (B\times C)$$

分配律

$$\begin{gathered} A\times (B\cup C)=(A\times B)\cup (A\times C) \\ A\times (B\cap C)=(A\times B)\cap (A\times C) \end{gathered}$$

消去律

$设A，B，C是任意集合，C\ne \oslash$
$$A\times B\subseteq A\times C\Rightarrow B\subseteq C$$

保持性

设A,B,C,D是任意非空集合

$A\subseteq C\wedge B\subseteq D\iff A\times B\subseteq C\times D$

其他性质

$$\begin{gathered} A\times \oslash =\oslash \times B=\oslash \\ A\times B=\oslash \iff A=\oslash \vee B=\oslash \end{gathered}$$

n维笛卡尔积

性质与二维笛卡尔积类似

二元关系

序偶的任意集合确定了一个二元关系$R$

设$R$是二元关系，则

$<x,y>\in R\iff x和y具有R关系\iff xRy$

定义域，值域，域

定义域（前域）：
d o m R = { x ∣ ∃ y ( x R y ) } dom R = \{x | \exists y (xRy)\} domR={x∣∃y(xRy)}
值域：
r a n R = { y ∣ ∃ x ( x R y ) } ran R = \{y | \exist x (xRy)\} ranR={y∣∃x(xRy)}
域：
$$fldR=domR\cup ranR$$

A到B的二元关系

$$R是A到B上的二元关系\iff R\subseteq A\times B\iff R\in P(A\times B)$$
当A = B时，叫做A上的二元关系

有限集上的二元关系数量

从A到B的不同二元关系共有$2^{|A|\times |B|}$个

特殊关系

$$\begin{gathered} 空关系:\oslash \\ 恒等关系:I_A \\ 全域关系:E_A \\ 整出关系:D_A \\ 小于等于关系:L{E}_A \\ 小于关系:L_A \\ 包含关系:{\subseteq }_A \\ 真包含关系:{\subset }_A \end{gathered}$$

关系的表示方法

集合表示法

上述已介绍

关系矩阵

设 A = { a 1 , a 2 , . . . , a n } , R ⊆ A × A , 则 R 的关系矩阵 M ( R ) = ( r i j ) n × n , 其中 r i j = { 1 , x i R x j 0 , 否则 设A = \{a_1, a_2, ..., a_n\}, R \subseteq A \times A, 则R的关系矩阵M(R) = (r_{ij})_{n \times n}, \\ 其中 r_{ij} = \begin{cases}1, &x_iRx_j\\0, &否则 \end{cases} 设A={a1​,a2​,...,an​},R⊆A×A,则R的关系矩阵M(R)=(rij​)n×n​,其中rij​={1,0,​xi​Rxj​否则​

关系图

设 A = { a 1 , a 2 , . . . , a n } , R ⊆ A × A , 则 A 中的元素以“ ° ”表示为顶点， R 中的元素以“ → ”表示为有向边， 这样得到的图称为关系图 设A = \{a_1, a_2, ..., a_n\}, R \subseteq A \times A,\\则A中的元素以“ ° ” 表示为顶点，R中的元素以“\rightarrow”表示为有向边，\\这样得到的图称为关系图 设A={a1​,a2​,...,an​},R⊆A×A,则A中的元素以“°”表示为顶点，R中的元素以“→”表示为有向边，这样得到的图称为关系图

关系的计算

二元关系的集合运算

$设R_1和R_2是A到B的二元关系，则$

R 1 ∪ R 2 = { < x , y > ∣ < x , y > ∈ R 1 或 < x , y > ∈ R 2 } R 1 ∩ R 2 = { < x , y > ∣ < x , y > ∈ R 1 且 < x , y > ∈ R 2 } R 1 − R 2 = { < x , y > ∣ < x , y > ∈ R 1 但 < x , y > ∉ R 2 } ∼ R 1 = { < x , y > ∣ < x , y > ∈ A × B 但 < x , y > ∉ R 1 } R 1 ⊕ R 2 = { < x , y > ∣ < x , y > ∈ R 1 ∪ R 2 且 < x , y > ∉ R 1 ∩ R 2 } R_1 \cup R_2 = \{<x, y>|<x, y> \in R_1 或 <x, y> \in R_2\} \\ R_1 \cap R_2 = \{<x, y>|<x, y> \in R_1 且 <x, y> \in R_2\} \\ R_1 - R_2 = \{<x, y>|<x, y> \in R_1 但 <x, y> \notin R_2\} \\ \sim R_1= \{<x, y>|<x, y> \in A \times B 但 <x, y> \notin R_1\} \\ R_1 \oplus R_2 = \{<x, y>|<x, y> \in R_1 \cup R_2 且 <x, y> \notin R_1 \cap R_2\} \\ R1​∪R2​={<x,y>∣<x,y>∈R1​或<x,y>∈R2​}R1​∩R2​={<x,y>∣<x,y>∈R1​且<x,y>∈R2​}R1​−R2​={<x,y>∣<x,y>∈R1​但<x,y>∈/R2​}∼R1​={<x,y>∣<x,y>∈A×B但<x,y>∈/R1​}R1​⊕R2​={<x,y>∣<x,y>∈R1​∪R2​且<x,y>∈/R1​∩R2​}

二元关系的矩阵计算

设 A = { a 1 , a 2 , . . . , a n } , B = { b 1 , b 2 , . . . , b n } A 和 B 上的二元关系 : R 1 = ( c i j ) , R 2 = ( d i j ) , 有 R 1 ∪ R 2 = ( c i j ∨ d i j ) R 1 ∩ R 2 = ( c i j ∧ d i j ) R 1 − R 2 = ( c i j ∧ d i j ˉ ) ∼ R 1 = ( c i j ) ˉ 设A = \{a_1, a_2, ..., a_n\}, B = \{b_1, b_2, ..., b_n\}\\ A和B上的二元关系: R_1 = (c_{ij}), R_2 = (d_{ij}),有 \\ R_1 \cup R_2 = (c_{ij} \vee d_{ij})\\ R_1 \cap R_2 = (c_{ij} \wedge d_{ij})\\ R_1 - R_2 = (c_{ij} \wedge \bar{d_{ij}})\\ \sim R_1 = \bar{(c_{ij})} 设A={a1​,a2​,...,an​},B={b1​,b2​,...,bn​}A和B上的二元关系:R1​=(cij​),R2​=(dij​),有R1​∪R2​=(cij​∨dij​)R1​∩R2​=(cij​∧dij​)R1​−R2​=(cij​∧dij​ˉ​)∼R1​=(cij​)ˉ​

逆关系

对于任意关系$F,G$可以定义逆关系：
F − 1 = { < x , y > ∣ y F x } F^{-1} = \{<x,y>| yFx\} F−1={<x,y>∣yFx}
$$\begin{gathered} R^{-1}的关系矩阵就是矩阵的转置 \\ {R}^{-1}的关系图就是图中的弧线取反方向 \end{gathered}$$

逆关系的性质

$$\begin{gathered} dom{F}^{-1}=ranF \\ ran{F}^{-1}=damF \\ (F^{-1}{)}^{-1}=F \\ (R_1\cup R_2{)}^{-1}=(R_1{)}^{-1}\cup (R_2{)}^{-1} \\ (R_1\cap R_2{)}^{-1}=(R_1{)}^{-1}\cap (R_2{)}^{-1} \\ (A\times B{)}^{-1}=(B\times A) \\ \overline{(R{)}^{-1}}=(\bar{R}{)}^{-1} \\ (R_1-R_2{)}^{-1}=(R_1{)}^{-1}-(R_2{)}^{-1} \end{gathered}$$

复合

F ∘ G = { < x , y > ∣ ∃ z ( x F z ∧ z G y ) } F \circ G = \{<x,y>|\exist z(xFz \wedge zGy)\} F∘G={<x,y>∣∃z(xFz∧zGy)}

矩阵相乘求复合关系

R 为集合 X = { x 1 , x 2 , . . . , x m } 到 Y = { y 1 , y 2 , . . . , y n } 上的关系 M R = [ u i j ] m × n 表示 R 的关系矩阵 S 为集合 Y = { y 1 , y 2 , . . . , y n } 到 Z = { z 1 , z 2 , . . . , z l } 上的关系 M S = [ v i j ] n × l 则有： M R × S = M R ⋅ M S = [ W i k ] , 其中 W i k = ( ∨ ) 1 n ( u i j ∧ v j k ) R为集合X = \{x_1, x_2, ..., x_m\}到Y= \{y_1, y_2, ..., y_n\}上的关系 \\ M_R = [u_{ij}]_{m \times n}表示R的关系矩阵 \\ S为集合Y = \{y_1, y_2, ..., y_n\}到Z = \{z_1, z_2, ..., z_l\}上的关系\\ M_S = [v_{ij}]_{n \times l}\\ 则有：M_{R \times S} = M_R·M_S = [W_{ik}] , 其中W_{ik} = (\vee)^n_{1}(u_{ij} \wedge v_{jk}) R为集合X={x1​,x2​,...,xm​}到Y={y1​,y2​,...,yn​}上的关系MR​=[uij​]m×n​表示R的关系矩阵S为集合Y={y1​,y2​,...,yn​}到Z={z1​,z2​,...,zl​}上的关系MS​=[vij​]n×l​则有：MR×S​=MR​⋅MS​=[Wik​],其中Wik​=(∨)1n​(uij​∧vjk​)

用关系图求复合关系

将关系$R\circ S$关系图画在一起，然后寻找所有首尾相接的两条有向边，再去掉中间相接的节点y，可以得到$R\circ S$的关系图

复合关系的性质

$$\begin{gathered} R\circ S\ne S\circ R \\ (R\circ S)\circ P=R\circ (S\circ P) \\ (F\circ G{)}^{-1}=G^{-1}\circ F^{-1} \\ R\circ I_A=I_A\circ R=R \\ {R}_1\circ (R_2\cup R_3)=(R_1\circ R_2)\cup (R_1\circ R_3) \\ (R_1\cup R_2)\circ R_3=(R_1\circ R_3)\cup (R_3\circ R_3) \\ {R}_1\circ (R_2\cap R_3)\subseteq (R_1\circ R_2)\cap (R_1\circ R_3) \\ (R_1\cap R_2)\circ R_3\subseteq (R_1\circ R_3)\cap (R_3\circ R_3) \end{gathered}$$

限制，像

设R为二元关系， $A\subseteq dom(R)$

R在A上的限制为
R ∣ A = { < x , y > ∣ x R y ∧ x ∈ A } R|_A = \{<x, y> | xRy \wedge x \in A \} R∣A​={<x,y>∣xRy∧x∈A}
A在R下的像记作:
$$R[A]=ran(R{|}_A)$$
以下运算应该成立：
$$\begin{gathered} F{|}_{A\cup B}=F{|}_A\cup F{|}_B \\ F{|}_{A\cap B}=F{|}_A\cap F{|}_B \\ F[A\cup B]=F[A]\cup F[B] \\ F[A\cap B]=F[A]\cap F[B] \end{gathered}$$

关系的幂运算

设$R\subseteq A\times A,n\in N,则有$

$$\begin{gathered} R^0=I_A; \\ {R}^{n+1}=R^n\circ R \end{gathered}$$
$R^n$表示的关系是R的关系图中长度为n的有向路径的起点和终点的关系

关系的幂运算满足指数律
$$\begin{gathered} R^m\circ R^n=R^{m+n} \\ (R^m{)}^n=R^{mn}{R}^{-n}=(R^n{)}^{-1} \end{gathered}$$

鸽巢原理

将n + 1个鸽子装到n个鸽巢，至少有一个鸽巢装2只以上鸽子

其他定理

设 ∣ A ∣ = n , R ⊂ A × A , 则 ∃ s , t ∈ N , 并且 0 ≤ s < t ≤ 2 n 2 使得 R s = R t 设 ∣ A ∣ = n , R ⊂ A × A , 若 ∃ s , t ∈ N ( s < t > ) , 使得 R s = R t R s + k = R t + k R s + k p + i = R s + i , 其中 p = t − s 令 S = { R 0 , R 1 , . . . , R t } , 则对于 ∀ q ∈ N , R q ∈ S 设|A| = n, R \subset A \times A, 则 \exist s, t \in N, 并且 0 \le s < t \le 2^{n^2}\\ 使得 R^s = R^t \\ 设|A| = n, R \subset A \times A, 若 \exist s, t \in N (s < t>), 使得 R^s = R^t \\ R^{s + k} = R^{t + k} \\ R^{s + kp + i} = R^{s + i}, 其中 p = t - s \\ 令 S = \{R^0, R^1, ..., R^t\}, 则对于\forall q\in N, R^q \in S 设∣A∣=n,R⊂A×A,则∃s,t∈N,并且0≤s<t≤2n2使得Rs=Rt设∣A∣=n,R⊂A×A,若∃s,t∈N(s<t>),使得Rs=RtRs+k=Rt+kRs+kp+i=Rs+i,其中p=t−s令S={R0,R1,...,Rt},则对于∀q∈N,Rq∈S

关系的性质

自反性

$$\begin{gathered} 设R\subseteq A\times A,如果 \\ \forall x(x\in A\to xRx) \\ 则称A是自反的 \\ A是非自反的\iff \exists x(x\in A\wedge <x,x>\notin R) \end{gathered}$$
定理：
$$\begin{gathered} R是自反的 \\ \iff I_A\subseteq R \\ \iff R^{-1}是自反的 \\ \iff M(R)的主对角线全为1 \\ \iff G(r)的每个顶点都有自环 \end{gathered}$$

反自反性

$$\begin{gathered} 设R\subseteq A\times A,如果 \\ \forall x(x\in A\to <x,x>\notin R) \\ 则称A是反自反的 \\ A是非反自反的\iff \exists x(x\in A\wedge <x,x>\in R) \end{gathered}$$
定理：
$$\begin{gathered} R是反自反的 \\ \iff I_A\cap R=\oslash \\ \iff R^{-1}是反自反的 \\ \iff M(R)的主对角线全为0 \\ \iff G(r)的每个顶点都有没有自环 \end{gathered}$$
自反性和反自反性互斥但不互补

对称性

$$\begin{gathered} 设R\subseteq A\times A,说R是对称的，如果 \\ \forall x\forall y(x\in A\wedge y\in A\wedge xRy\to yRx) \\ R是非对称的\iff \exists x\exists y(x\in A\wedge y\in A\wedge xRy\wedge <y,x>\notin R) \end{gathered}$$
定理：
$$\begin{gathered} R是对称的 \\ \iff R^{-1}=R \\ \iff R^{-1}是对称的 \\ \iff M(R)是对称的 \\ \iff G(R)的任意两个顶点如果有边，一定有两条反向的边 \end{gathered}$$

反对称性

$$\begin{gathered} 设R\subseteq A\times A,说R是反对称的，如果 \\ \forall x\forall y(x\in A\wedge y\in A\wedge xRy\wedge yRx\to x=y) \\ R是非对称的\iff \exists x\exists y(x\in A\wedge y\in A\wedge xRy\wedge yRx\wedge x\ne y) \end{gathered}$$
定理：
$$\begin{gathered} R是反对称的 \\ \iff R\cap R^{-1}\subseteq I_A \\ \iff R^{-1}是反对称的 \\ \iff 在M(R)中，\forall i\forall j(i\ne j\wedge r_{ij}=1\to r_{ji}=0) \\ \iff G(R)的任意两个顶点如果有边，一定只有一条单向边 \end{gathered}$$
对称和反对称既不互斥，也不互补（单位阵）

传递性

$$\begin{gathered} 设R\subseteq A\times A,说R是传递的，如果 \\ \forall x\forall y\forall z(x\in A\wedge y\in A\wedge z\in A\wedge xRy\wedge yRz\to xRz) \\ R是非传递的 \\ \iff \exists x\exists y\exists z(x\in A\wedge y\in A\wedge z\in A\wedge xRy\wedge yRz\to <x,z>\notin R) \end{gathered}$$
定理
$$\begin{gathered} R是传递的\iff R\circ R\subseteq R \\ \iff R^{-1}是传递的 \\ \iff M(R)中\neg (r_{ij}\wedge r_{jk})\vee r_{ik}=1 \\ \iff 在G(R)中，若x，y和y,z之间均存在有向边， \\ x,z之间一定存在有向边 \end{gathered}$$

关系性质的判断

$$\begin{gathered} R是自反的\iff I_A\subseteq R \\ R是反自反的\iff I_A\cap R=\oslash \\ R是对称的\iff R^{-1}=R \\ R是反对称的\iff R^{-1}\cap R\subseteq I_A \\ R是传递的\iff R\circ R\subseteq R \end{gathered}$$

关系的闭包

闭包

包含一些给定的对象，具有指定性质的最小集合

最小：任何包含同样对象，具有相同性质的集合，都包含这个闭包集合

自反闭包

包含给定关系R的最小自反关系，称为自反闭包, 记作$r(R)$

$$\begin{gathered} (1)R\subseteq r(R) \\ (2)r(R)是自反的 \\ (3)\forall S((R\subseteq S)\wedge (S自反)\to r(R)\subseteq S) \end{gathered}$$

对称闭包

包含给定关系R的最小对称关系，称为对称闭包, 记作$s(R)$

$$\begin{gathered} (1)R\subseteq s(R) \\ (2)s(R)是对称的 \\ (3)\forall S((R\subseteq S)\wedge (S对称)\to s(R)\subseteq S) \end{gathered}$$

传递闭包

包含给定关系R的最小传递关系，称为传递闭包, 记作$t(R)$

$$\begin{gathered} (1)R\subseteq t(R) \\ (2)s(R)是传递的 \\ (3)\forall S((R\subseteq S)\wedge (S传递)\to r(R)\subseteq S) \end{gathered}$$

定理

定理1

$$\begin{gathered} 设R\subseteq A\times A,且A\ne \oslash ,则 \\ (1)r(R)=R\cup I_A \\ (2)s(R)=R\cup R^{-1} \\ (3)t(R)=R\cup R^2\cup R^3\cup ... \\ (3)推论: \\ 设R\subseteq A\times A,且0<|A|<\infty , \\ 则\exists I\in N,使得t(R)=R\cup R^2\cup R^3\cup ...\cup R^I \end{gathered}$$

定理2

$$\begin{gathered} 设R\subseteq A\times A,且A\ne \oslash ,则 \\ (1)R是自反的\iff r(R)=R \\ (2)R是自反的\iff s(R)=R \\ (3)R是自反的\iff t(R)=R \end{gathered}$$

定理3

$$\begin{gathered} 设R_1\subseteq R_2\subseteq A\times A且A\ne \oslash ,则有 \\ (1)r(R_1)\subseteq r(R_2) \\ (2)s(R_1)\subseteq s(R_2) \\ (3)t(R_1)\subseteq t(R_2) \end{gathered}$$

性质

性质1

闭包运算满足以下关系性质

	自反性	对称性	传递性
r®	√	√	√
s®	√	√	×
t®	√	√	√

性质2

$$\begin{gathered} 设Ｒ\subseteq A\times A,且A\ne \oslash ，则 \\ sr(R)=rs(R) \\ rt(R)=tr(R) \\ st(R)\subseteq ts(R) \end{gathered}$$

等价关系

等价关系的定义

设R是非空集合A上的关系，如果R是自反的、对称的、传递的，则成R是A上的等价关系。

等价类

设R是非空集合A上的等价关系, ∀ x ∈ A , [ x ] R = { y ∣ y ∈ A ∧ x R y } \forall x \in A,[x]_R = \{y|y \in A \wedge xRy\} ∀x∈A,[x]R​={y∣y∈A∧xRy}称为x关于R上的等价类,称为x的等价类,简记为[x]

x的等价类是A中所有与x具有等价关系的元素构成的集合

同余关系

$$\begin{gathered} 对于任意大于1的自然数n,x,y\in Z,则x和y模n的同余 \\ \iff x\equiv y(modn)\iff n|(x-y)\iff x-y=kn(k\in Z) \end{gathered}$$
同余关系也是等价关系

商集

$$\begin{gathered} 设R是A\ne \oslash 上的等价关系, \\ A/R=\{[x{]}_R|x\in A\}, \\ 称为A关于R的商集,简称A的商集 \end{gathered}$$
即以A的所有等价类作为元素的集合

覆盖和划分

设 A ≠ ⊘ ， s = { A 1 , A 2 , . . . , A n } , 若 A 满足 ( 1 ) A i ≠ ⊘ ( 2 ) ∪ A i = A ( 3 ) A i ∩ A j = ⊘   ( i ≠ j ) 则称 S 为 A 的一个划分 若只满足 ( 1 ) ( 2 ) 则称为 A 的一个覆盖 设A \neq \oslash，s = \{A_1, A_2, ..., A_n\},若A满足\\ (1)A_i \neq \oslash\\ (2) \cup A_i = A \\ (3) A_i \cap A_j = \oslash \ (i \neq j) \\ 则称S为A的一个划分\\ 若只满足(1)(2)则称为A的一个覆盖 设A=⊘，s={A1​,A2​,...,An​},若A满足(1)Ai​=⊘(2)∪Ai​=A(3)Ai​∩Aj​=⊘ (i=j)则称S为A的一个划分若只满足(1)(2)则称为A的一个覆盖

划分$\to$等价关系

给定集合A的一个划分 π = { S 1 , S 2 , . . . , S m } \pi = \{S_1, S_2, ...,S_m\} π={S1​,S2​,...,Sm​},则由该划分确定的关系$R=(S_1\times S_1)\cup (S_2\times S_2)\cup ...\cup (S_m\times S_m)$是A上的等价关系,我们称R为由划分$\pi$导出的等价关系

划分的加细

{ A 1 , A 2 , . . . , A r } \{A_1, A_2, ..., A_r\} {A1​,A2​,...,Ar​}和 { B 1 , B 2 , . . . , B s } \{B_1, B_2, ..., B_s\} {B1​,B2​,...,Bs​}都是同一集合A的两种划分,若对于每一个集合$A_i$都有$B_j$使得$A_i\subseteq B_j$则将 { A 1 , A 2 , . . . , A r } \{A_1, A_2, ..., A_r\} {A1​,A2​,...,Ar​}称为 { B 1 , B 2 , . . . , B s } \{B_1, B_2, ..., B_s\} {B1​,B2​,...,Bs​}的加细

第二类stirling数

Stirling子集数 { k n } \{^n_k\} {kn​}:把n个对象分为k个非空子集的分法个数
{ 0 n } = 0    { 1 n } = 1 递推公式 { k n } = { k − 1 n − 1 } + k { k n − 1 } \{^n_0\} = 0 \ \ \{^n_1\} = 1 \\ 递推公式 \{^n_k\} = \{^{n - 1}_{k - 1}\} + k\{^{n - 1}_k\} {0n​}=0  {1n​}=1递推公式{kn​}={k−1n−1​}+k{kn−1​}

bell数

给n个对象进行分类,分发的个数
B n = Σ k = 0 n { k n } B_n = \Sigma^n_{k = 0} \{^n_k\} Bn​=Σk=0n​{kn​}

定理

定理1

$$\begin{gathered} 设R是A\ne \oslash 上的等价关系,\forall x,y\in A \\ (1)[x{]}_R\ne \oslash \\ (2)xRy\Rightarrow [x{]}_R=[y{]}_R \\ (3)\neg (xRy)\Rightarrow [x{]}_R\cap [y{]}_R=\oslash \\ (4)\cup ([x{]}_R|x\in A)=A \end{gathered}$$

定理2

$$\begin{gathered} 设A\ne \oslash ，则 \\ (1)R是A上的等价关系\Rightarrow A/R是A上的一个划分 \\ (2)A/R是A上的一个划分\Rightarrow R是A上的一个等价关系 \end{gathered}$$
等价关系和划分一一对应

偏序关系

设$R\subseteq A\times A,A\ne \oslash$,若 R 是自反的，反对称的，传递的，则称R为偏序关系。

用$⪯$表示偏序关系，读作“小于等于”

$$<x,y>\subseteq R\iff xRy\iff x⪯y$$
严格小于：$x\prec y\iff x⪯y\wedge x\ne y$

偏序集：$<A,⪯>,⪯$是A上的偏序关系

盖住或覆盖

设$<A,⪯>$是偏序关系，x,y $\in$ A

若 $x⪯y\vee y⪯x$, 则称x与y是可比的

任意x和y有三种情况：x和y可比， x = y, x和y不可比

y 盖住 x ⇔ x ⪯ y ∧ x ≠ y ∧ ¬ ∃ z ( z ∈ A ∧ x ⪯ z ∧ z ⪯ y ∧ x ≠ z ∧ y ≠ z ) 记作 C O V   A = { < x , y > ∣ x , y ∈ A , y 盖住 x } y盖住x \Leftrightarrow x \preceq y \wedge x \neq y \wedge \neg \exist z(z \in A \wedge x \preceq z \wedge z \preceq y \wedge x \neq z \wedge y \neq z) \\ 记作COV \ A = \{<x, y> | x, y \in A, y 盖住 x\} y盖住x⇔x⪯y∧x=y∧¬∃z(z∈A∧x⪯z∧z⪯y∧x=z∧y=z)记作COV A={<x,y>∣x,y∈A,y盖住x}

偏序关系的表示（哈斯图）

哈斯图：

·小圈代表元素

·如果y盖住x，在x和y之间画无向边

·$x⪯y\wedge x\ne y$,则x在y的下方

偏序关系中的特殊元素

最大元，最小元

设$<A,⪯>$是偏序集，$B\subseteq A,y\in B$
$$\begin{gathered} y是B的最大元\iff \forall x(x\in B\to x⪯y) \\ y是B的最小元\iff \forall x(x\in B\to y⪯x) \end{gathered}$$
y是B的最大元，B中的所有元素都比y小（都可比）
y是B的最小元，则B中的所有元素都比y大(都可比)

极大元，极小元

设$<A,⪯>$是偏序集，$B\subseteq A,y\in B$
$$\begin{gathered} y是B的极大元\iff \forall x(x\in B\wedge y⪯x\to x=y) \\ y是B的极小元\iff \forall x(x\in B\wedge x⪯y\to x=y) \end{gathered}$$
y是B的极大元，B中没有比y大的元素
y是B的极小元，则B中没有比y小的元素

关于最大(小)元，极大(小)元定理

B的最大(小)元一定是B的极大(小)元

如果B有最大(小)元，则它一定是唯一的

如果B是有限集，则B一定有极大(小)元

最大(小)元未必存在，存在即是唯一

极大(小)元对于有限集一定存在，未必唯一

上界和下界

设$<A,⪯>$是偏序集，$B\subseteq A,y\in A$
$$\begin{gathered} y是B的上界\iff \forall x(x\in B\to x⪯y) \\ y是B的下界\iff \forall x(x\in B\to y⪯x) \end{gathered}$$

最小上界，最大下界

设$<A,⪯>$是偏序集，$B\subseteq A$

最小上界：

设 C = { y ∣ y 是 B 的上界 } C = \{y|y是B的上界\} C={y∣y是B的上界}，C的最小元素称为B的最小上界，或上确界

最大下界：

设 C = { y ∣ y 是 B 的下界 } C = \{y|y是B的下界\} C={y∣y是B的下界}，C的最大元素称为B的最大下界，或下确界

上界，上确界定理

如果b是B的最小元，则他一定是B的上确界

如果b是B的上界，且b$\in$B,则他一定是B的最小元

如果B有上确界，则上确界是唯一的

上下界未必存在，存在也不一定唯一

有了上界，也不一定存在上确界（上界之间未必可以比较大小）

链

链的定义：

$$\begin{gathered} 设<A,⪯>为偏序集，B\subseteq A, \\ B是A的链\iff \forall x\forall y(x\in B\wedge y\in A\to x⪯y\vee y⪯x)（x和y可比） \\ |B|称为链的长度 \end{gathered}$$
反链的定义：

$$\begin{gathered} B是A的反链\iff \forall x\forall y(x\in A\wedge y\in B\wedge x\ne y\to x和y不可比) \\ B称为反链的长度 \end{gathered}$$
B = { a } B=\{a\} B={a}既是长度为1的链，也是长度为反链

存在集合，既不是链，也不是非链

全序关系

若偏序集$<A,⪯>$满足
KaTeX parse error: Undefined control sequence: \wedeg at position 30: …rall y(x \in A \̲w̲e̲d̲e̲g̲ ̲y \in A \righta…
则称$⪯$为全序关系（线性关系），称$<A,⪯>$为全序集

拟序关系

设$R\subseteq A\times A且A\ne \oslash$，若R是反自反的，传递的，则称R为拟序关系

通常用$\prec$来表示拟序关系

反自反性和传递性蕴含反对称性

拟序集：$<A,\prec >$是A上的拟序关系

良性关系

设$<A,⪯>为偏序集，若A的任何非空子集B都有最小元，则称为良序关系，$<A,\preceq>$为良序集

良序关系一定是全序关系，而有限全序关系一定是良序集

图的基本概念

预备知识

多重集合

元素可以重复出现的集合

无序积

设A，B是任意的两个集合，称
A & B = { { a , b } ∣ a ∈ A ∧ b ∈ B } A \& B = \{\{a, b\} | a \in A \wedge b \in B\} A&B={{a,b}∣a∈A∧b∈B}
为A与B的无序积

为方便起见，将{a, b}记作(a, b)并允许a=b

无论a与b是否相等，均有(a, b) = (b, a)

图的分类

图的数学定义和图形表示，在同构的意义下是一一对应的

无向图

无向图$G=<V,E>$，其中

1. $V\ne \oslash$称为顶点集，其中的元素称为顶点
2. $E$为$E\&E$的多重子集，其元素称为无向边，简称为边

有向图

有向图$G=<V,E>$，其中

1. $V\ne \oslash$称为顶点集，其中的元素称为顶点
2. $E$为$E\times E$的多重子集，其元素称为有向边，简称为边

图的相关概念

图的符号表示

• $G$:无向图
• $D$:有向图
• $V(G)$:顶点集
• $E(G)$:边集
• $|V(G)|$:顶点数
• $|E(G)|$:边集
• 顶点数称为阶，n个顶点的图称为n阶图

零图和平凡图

一条边没有的图称作零图,n阶零图记作$N_n$

一阶零图称作平凡图，平凡图只有一个顶点没有边

空图

顶点集为空集的图称作空图，记作$\oslash$

标定图

再用图形来表示图的时候，如果给每一个顶点和每一条边都指定符号，则这样的图称为标定图，否则称为否标定图

基图

将有向图的各个边改成无向边后得到的无向图称为有向图的基图

端点与关联

设$G=<V,E>$为无向图，$e_k=(v_i,v_j)\in E$，称$v_i,v_j$为$e_k$的端点，$e_k$与$v_i(v_j)$关联，若$v_i\ne v_j$，则称$e_k$与$v_i(v_j)$的关联次数为1，否则称$e_k$与$v_i(v_j)$的关联次数为2，并称$e_k$为环；如果顶点与边不关联，则称关联次数为0

设$D=<V,E>$为有向图，$e_k=<v_i,v_j>\in E$，称$v_i,v_j$为$e_k$的端点，$v_i$为$e_k$的始点，$v_j$为$e_k$的终点，$e_k$与$v_i(v_j)$关联，若$v_i=v_j$，则称$e_k$为环

相邻

若两个顶点之间有一条边相连，则称这两个顶点相邻

若两条边至少有一个公共顶点，则称这两条边相邻

孤立点

图中没有边关联的顶点称为孤立点

邻域和关联集

无向图

设无向图$G=<V,E>,\forall v\in V$，称

v的邻域： N c ( v ) = { u ∣ u ∈ V ∧ ( u , v ) ∈ E ∧ u ≠ v } N_c(v) = \{u|u \in V \wedge (u, v) \in E \wedge u \neq v\} Nc​(v)={u∣u∈V∧(u,v)∈E∧u=v}

v的闭邻域：$\overline{N_c(v)}=N_c(v)\cup v$

v的关联集： I c ( v ) = { e ∣ e ∈ E ∧ e 和 v 相关联 } I_c(v) = \{e|e \in E \wedge e和v相关联\} Ic​(v)={e∣e∈E∧e和v相关联}

有向图

设有向图$G=<V,E>,\forall v\in V$，称

v的后继元素： I D + ( v ) = { u ∣ u ∈ V ∧ < v , u > ∈ E ∧ u ≠ v } I^+_D(v) = \{u|u \in V \wedge <v, u> \in E \wedge u \neq v\} ID+​(v)={u∣u∈V∧<v,u>∈E∧u=v}

v的前去元素： I D − ( v ) = { u ∣ u ∈ V ∧ < u , v > ∈ E ∧ u ≠ v } I^-_D(v) = \{u|u \in V \wedge <u, v> \in E \wedge u \neq v\} ID−​(v)={u∣u∈V∧<u,v>∈E∧u=v}

v的邻域：$N_D(v)=I_D^{+}(v)\cup I_D^{-}(v)$

v的闭邻域：$\overline{N_c(v)}=N_c(v)\cup v$

多重图和简单图

在无向图中，如果关联一个顶点的无向边多于一条，则称这些边为平行边，平行边的条数称为重数

在有向图中，如果关联一个顶点的有向边多与一条，且这些边的始点和终点相同(方向相同)，则称这些边为平行边

含平行边的图称为多重图

既不含多重边也不含环的称为简单图

图的度数

设$G=<V,E>$是无向图，$\forall v\in V$，称v作为边的端点的次数为v的度数，简称为度，记作$d_G(V)$

设$D=<V,E>$是有向图，$\forall v\in V$，称v作为始点的次数为v的出度，记作$d_D^{+}(V)$，称v作为终点的次数为v的入度，记作$d_D^{-}(V)$，称$d_D^{-}(v)+d_D^{+}(V)$为v的度数，记作$d_D(v)$

在无向图中，将 Δ ( G ) = m a x { d ( v ) ∣ v ∈ V ( G ) } \Delta(G)=max\{d(v)|v \in V(G)\} Δ(G)=max{d(v)∣v∈V(G)}称作G的最大度

将 δ ( G ) = m i n { d ( v ) ∣ v ∈ V ( G ) } \delta(G)=min\{d(v)|v \in V(G)\} δ(G)=min{d(v)∣v∈V(G)}称作G的最小度

类比可以得到最大度最小度在有向图中的概念

悬挂顶点·悬挂边

将度数为1的顶点称作悬挂顶点

将与悬挂顶点关联的边称作悬挂边

度为奇数(偶数)的顶点称为奇度顶点(偶度顶点)

握手定理

定理一

任何的无向图，所有顶点的度数之和等于边数量的二倍

定理二

任何的有向图，所有顶点的度数之和等于边数量的二倍，所有顶点的入度和等于所有顶点的出度和，并且都等于边数

推论

任何图中，度为奇数的顶点有偶数个

图的度数列

• V = { v 1 , v 2 , . . . , v n } V=\{v_1,v_2,...,v_n\} V={v1​,v2​,...,vn​}为无向图的顶点集，称$d(v_1),d(v_2),...,d(v_n)$为G的度数列
• V = { v 1 , v 2 , . . . , v n } V=\{v_1,v_2,...,v_n\} V={v1​,v2​,...,vn​}为有向图的顶点集
  • D的度数列：$d(v_1),d(v_2),...d(v_n)$
  • D的出度列：$d^{+}(v_1),d^{+}(v_2),...d^{+}(v_n)$
  • D的度数列：$d^{-}(v_1),d^{-}(v_2),...d^{-}(v_n)$

非负整数列图化条件

• 非负整数列可图化当且仅当${\Sigma }_{i=1}^n{d}_i$是偶数
• 设G为任意的简单无向图，则$\Delta (G)<n$