离散数学是数学的一个分支,研究离散结构和离散对象的性质和关系。它包括了图论、集合论、逻辑等内容。离散数学在计算机科学、密码学、网络安全等领域具有重要的应用。学习离散数学可以帮助人们培养抽象思维、逻辑推理和问题建模的能力。
9.Relations
定义:Let A and B be two sets.A binary relation R from A to B is a subset of A
×
\times
× B
二元关系:定义了一个有序对(a,b)的集合R,其中a
∈
\in
∈ A,b
∈
\in
∈ B,称R为A到B的一个二元关系。
注意:二元关系是指满足某规律的有序对的全体
- Reflexive 自反 aRa irreflexive不意味not reflexive - Symmetric 对称 (a,b)和(b,a)同时在R中 Antisymmetry 反对称 当a $\neq$ b时,(a,b)和(b,a)不同时在R中 Asymmetry 非对称 (a,b)和(b,a)不同时在R中 - Transitive 传递 如果存在(a,b) 和 (b,c) ,就可以找到 (a,c)0 intransitive: not transitive不传递就是非传递
- Composite of Relations复合关系:R。S
M S 。 R M_{S。R} MS。R = M R M_R MR ⊙ \odot ⊙ M S M_S MS - Directed Graphs 有向图
关系特征 | 关系图特征 | 关系矩阵特征 |
---|---|---|
自反 | 每一结点处有一环 | 对角线元素均为1 |
反自反 | 每一结点处无环 | 对角线元素均为0 |
对称 | 两结点间有相反的两边同时出现 | 矩阵为对称矩阵 |
反对称 | 两结点间没有相反的边成对出现 | 当分量 C i j C_{ij} Cij=1(i ≠ \neq =j)时 C j i C_{ji} Cji=0 |
传递 | 如果结点v1,v2间有边,v2,v3间有边,则v1,v3间必有边 | R n R^n Rn ⊆ \subseteq ⊆ R R R |
-
Closures of Relations
关系R的P闭包就是包含R且具有P中一切性质的那些关系中的最小的那个。
R是自反闭包当且仅当R是自反的
R的对称闭包是 R R R ∪ \cup ∪ R − 1 R^{-1} R−1
R的传递闭包是 R ∞ R^\infty R∞ = ⋃ R i \bigcup{R^i} ⋃Ri = R R R ∪ \cup ∪ R 2 R^2 R2 ∪ \cup ∪ R 3 R^3 R3 ∪ \cup ∪ . . . ... ... ∪ \cup ∪ R n R^n Rn- Warshell 算法
把第 i 行加到第 i 列上为1的行上去
- Warshell 算法
-
Equivalence Relations
reflexive,symmetric,transitive
R是集合A的等价关系,a ∈ \in ∈ A ,b ∈ \in ∈ A
那么aRb 当且仅当R(a) = R(b) -
Partitons :划分
Let P be a partition of a set A.
a R b if and only if a and b are members of the same block.
Then R is an equivalence relation on A. -
quotient set商集
R是A上的等价关系,R(a)就是R的等价类,记为 [ a ] [a] [a]
划分 P 包含 R 中所有的等价类记为 A / R A/R A/R ,并且叫做商集 -
商集的元素个数称为 R R R的秩
-
Partial Ordered Sets 偏序集合
reflexive,antisymmetric,transitive
集合A和所有的偏序R称为偏序集poset,记为(A,R)- linear order(线序关系)
Comparable可比的
- linear order(线序关系)
-
Topological Sorting(拓扑排序)
从下至上 -
Lattice 格
A lattice is a poset in which every subset{a,b} consisting of two elements has a least upper bound and a greatest lower bound.- 同构格,如果两个格是同构,且是偏序集,称为同构格
- 分配格distributive lattice: a ∧ \wedge ∧(b ∨ \vee ∨c)=(a ∧ \wedge ∧b) ∨ \vee ∨(a ∧ \wedge ∧c)
- nondistributive lattices: 不是分配格
- Complement补元 a ∧ \wedge ∧a’ = 1 a ∨ \vee ∨a’ = 0
- Complemented 有补格 格中每个元素有一个补元
-
Quasiorder 拟序关系
transitive and irreflexive
9.Semigroup and Groups
-
Binary operation 二元运算
一个运算关系包含两个个体
unary operation 包含一个个体 -
Commutative 交换律
x * y = y * x -
Associative 结合律
(x * y) * z = x * (y * z) -
Distributive property 分配律
x * (y + z) = (x * y) + (x * z) -
Identity 单位元
e * x = x * e = x
单位元是唯一的 -
Inverse 逆元
x * y = y * x = e
y 为 x 的逆元
逆元也是唯一的 -
运算表
对于一个n 元的运算表,有 n n 2 n^{n^2} nn2种运算关系 -
Semigroup
一个半群是一个非空的集合S,同时满足可结合的二元运算* 定义在S上- Monoid - 独异点、含幺半群
一个半群有一个单位元 - Subsemigroup - 子半群
(S,* )是一个半群并且T是一个S的子群,如果T是封闭的在运算* ,那么(T,* )叫做一个(S,* )的子半群
- Monoid - 独异点、含幺半群
-
Isomorphism - 同构映射
一对一的满射函数且f(a * b) = f(a) ∗ ′ *' ∗′ f(b)
证明方法:- 定义一个函数 f: S -> T Dom(f) = S
- 证明 f one-to-one
- 证明 f onto
- 证明 f(a * b) = f(a) ∗ ′ *' ∗′ f(b)
-
Homomorphism - 同态
将一个半群映射到另一个半群的函数 -
Congruence relation - 同余关系
一个等价关系R在半群(S,* ) 被叫做一个同余关系
aRa’ , bRb’ ->(a * b)R(a’ * b’) -
Abelian - 阿贝尔群
一个群G被叫做Abelian,如果 ab = ba,对于所有元素a和b在G中。
证明方法:
证明 * 是封闭的
证明 * 是可结合的
证明存在幺元
证明每个元素都有逆元
证明 * 可交换
10.Groups and Coding
- weight(权):x中1的数量,记为|x|。
- distance:x与y异或后的权
8.Recurrence Relations递推关系
⊙
\odot
⊙ 斐波那契递推关系
a
n
a^n
an
=
=
=
a
n
−
1
a^{n-1}
an−1
+
+
+
a
n
−
2
a^{n-2}
an−2
⊙
\odot
⊙ Tower of Hanoi
2
n
−
1
2^{n-1}
2n−1
⊙
\odot
⊙ Catalan数
n-1个数乘起来的方法数有多少种,加括号的方式有多少种
Catalan数的递推关系式为:
C
0
=
1
C_0 = 1
C0=1
C
n
+
1
=
∑
i
=
0
n
C
i
⋅
C
n
−
i
C_{n+1} = \sum_{i=0}^{n} C_i \cdot C_{n-i}
Cn+1=∑i=0nCi⋅Cn−i
⊙
\odot
⊙ Solving Recurrences
A linear homogeneous recurrence of degree k with constant coefficients is a recurrence of the form.
a
n
=
c
1
a
n
−
1
+
.
.
.
+
c
k
a
n
−
k
a_n = c_1a_{n-1} + ... + c_ka_{n-k}
an=c1an−1+...+ckan−k
where the
c
i
c_i
ci,(i =1,…k)are all real,and
c
k
≠
0
c_k \neq 0
ck=0
k阶定常系数线性齐次递推关系
e.g.
a
n
=
a
n
−
1
+
2
a
n
−
2
a_n = a_{n-1} + 2a_{n-2}
an=an−1+2an−2
a
0
=
2
,
a
1
=
7
a_0 = 2,a_1 = 7
a0=2,a1=7
Solution:求特征方程
c
1
=
1
,
c
2
=
2
c_1 = 1,c_2 = 2
c1=1,c2=2
r
2
−
r
−
2
=
0
r^2 - r - 2 = 0
r2−r−2=0
r = 2 or r = -1
So
a
n
=
α
1
2
n
+
α
2
(
−
1
)
n
a_n = \alpha_1 2^n + \alpha_2 (-1)^n
an=α12n+α2(−1)n
代入
a
0
a_0
a0 和
a
1
a_1
a1,求出
α
1
α
2
\alpha_1 \alpha_2
α1α2
α
1
=
3
\alpha_1 = 3
α1=3
α
2
=
−
1
\alpha_2 = -1
α2=−1
a
n
=
3
⋅
2
n
−
(
−
1
)
n
a_n = 3\cdot2^n - (-1)^n
an=3⋅2n−(−1)n
找出之后的几个值
当有特解时,后一项额外带有n
![[The master Theorem.png]]
8.4 Generating Functions
![[Useful Generating Functions.png]]
10.Graphs
- 一个简单图:G=(V,E),有序对(V,E)称为有向图,V是一个非空有限集,E是V上一个二元关系
- 图的分类
Adjacency 邻接
-
度:一个点连接的边的条数
-
一个无向图有V的点和E条边,那么总度数为2E
-
完全图
-
环图
-
轮图
-
立方图
-
二分图
-
图的同构
-
连通集
-
可达性矩阵
Prim algothim Kruskal
偏序
Group Theory群论
二元运算
封闭的,可结合的,分配律,德摩根律,单位元、逆元
可交换就是阿贝尔群
有限群
正规子群的证明
乘积的项= 项的乘积:同态同构都需要证明
基本同态定理,那个三角形
商半群和商群
子群,子半群
编码矩阵,陪集列表,用陪集头//特征值
Counting
递推关系建模
特征方程,
用生成函数解递推关系
Graph Theory
有向图,无向图,简单图
哈密顿图和欧拉图
平面图,判定定理
着色问题
最大流量问题,40-50分
树Tree
先序。中序。后序
完全二叉树
遍历
二叉搜索树
深度优先和广度优先