离散数学复习笔记

所有单词

英	中
Theorem	定理
Proof	证明
Axiom	公理
Lemma	引理
Corollary	推论
Conjecture	猜想
Contradiction	矛盾
Discrete	离散的
Valid	有效的
operators	运算符
Interger	整数
Even	偶数
Odd	奇数
postulates	假设
Irrational	无理的
Rational	有理的
positive integer	正整数
distinct	不同的
real number	实数
Negative	负的
Nonnegative	非负的
prime number	质数

逻辑和证明 + 布尔代数 +数学归纳法

单词

英	中	备注
Proposition	命题
Propositional	命题的
Logic	逻辑
Predicates	谓语
Quantifiers	量词
Compound	复合
Negation	非
Domain	域
truth table	真值表
sufficient	充分
necessary	必要
converse	逆命题
contrapositive	逆否命题
inverse	反命题	前后两者都取非
equivalent	等价的
tautology	永真式
contradiction	矛盾式
counterexample	反例
Statement	陈述
logical connectives	逻辑连接词	∧ ∨ ⊕ ¬ → ↔
Boolean Algebra	布尔代数
Inductive	归纳
Dual	对偶
operator	运算符	+，· ，| ，↓ , −
variable	变量
specifications consistent	规格一致
Hypothesis	假设
Constructive	构造性的 (证明))	举例证明
Nonconstructive	非构造性的 (证明)	不举例，推理
Consistent	一致的

知识点

1. Conjunction （合取） —— ∧
   Disjunction （析取） —— ∨
   Exclusive Or （异或） —— ⊕
   Negation （非） —— ¬
2. implication —— →
   前者是后者的充分条件
   Whenever、when =if 后面跟充分条件
   Necessary 后面跟必要条件
3. Bi-implication —— ↔
   If and only if = iff（当且仅当）
   前后真值相等时为T
4. logically equivalent（逻辑等价）
   p ↔ q为永真式，则p、q逻辑等价，p ≡ q
5. De Morgan laws （德摩根定理）
   ¬ (p ∧ q) ≡ ¬p ∨ ¬q
   ¬ (p ∨ q) ≡ ¬p ∧ ¬q
6. 几条比较重要的定理
   
   
7. Predicates （谓词）
   The statement “x is greater than 3” has two parts. The first part, the variable x, is the subject（主语） of the statement. The second part—the predicate（谓词）—— “is greater than 3”
8. Quantifiers（量词）
   universal quantifier 全称量词 —— ∀
   existential quantifier 存在量词 —— ∃
   ∃！ —— 唯一存在（有且仅有）
9. ¬∀x P(x) ≡ ∃x ¬P(x)
   ¬∃x Q(x) ≡ ∀x ¬Q(x)
10. 推理
    
11. Direct Proofs —— 直接证明法
    Proof by Contraposition —— 反证法
    Proofs by Contradiction ——归谬法
    （找一个矛盾式q，使得¬p → q为真）
12. mathematical induction （数学归纳法）
    假设 S（k） 为真，通过证明 S（k+1）为真，得到S对所有自然数为真
13. Strong Induction （强归纳）
    通过假设 S（k），S（k+1）…… S（n-1）均成立，从而 S（n）成立，得到S对所有自然数成立。
14. The well-ordering property （良序性质）
    每个非空的非负整数集都有一个最小元素
15. Boolean sum （和布尔）—— + / OR
    Boolean product （布尔积）—— ⋅ / AND
16. 
17. Karnaugh Maps （K-map 卡诺图）P392 适用于2-3个变量化简
    任意两个相邻单元格对应的最小项只有一位逻辑不同
    任意2、4、8个标1的方格相邻，可以合并为一项，并消去1、2、3个变量
    先找尽可能大的圈
    每个标1的方格必须至少被圈一次，可以圈多次
    圈和圈之间可以重叠
    一个圈不能被其他圈完全覆盖
18. Quine-McCluskey Method P396 适用于多个变量化简
    把每个布尔积拆分出来（蕴含项），非用0表示，其余用1
    根据蕴含项中1的个数分组
    
    如果两个项有三个位置是相同的，合并成一个项，不同的位置用 - 代替
    
    将重复项删掉，按照1的数量分组，如果两个项有两个位置相同，二次合并
    
    持续合并，直到没有任何项可以被合并为止
    将之前得到的所有蕴含项列成一列，原始项列成一行，列表若蕴含项包含原始项，则在对应位置X找到没被连线的X最多的一行，优先把这一行画上横线，并把这一行对应的蕴含项记入表达式中
    在这行中的X处画竖线，删除同一列中的其他X
    重复以上步骤，直到没有X可供删除
19. dual （对偶）
    交换布尔和、布尔积，0、1
20. ∣ / NAND —— 与非
    ↓ / NOR —— 或非
21. Logic gates（逻辑门）
    

计数

单词

英	中	备注
strictly increasing	严格递增	每一项都大于前项
strictly decreasing	严格递减	每一项都小于前项
sequence	序列
subsequence	子序列
tree diagrams	树图
Divisible	能被整除的
Coefficient	系数
Permutation	排列
Combination	组合
dictionary ordering	字典顺序
Recurrence relations	递推关系
Consecutive	连续的

知识点

1. pigeonhole principle （鸽巢原理）
   If k is a positive integer and k + 1 or more objects are placed into k boxes, then there is at least one box containing two or more of the objects.
2. 每个由 n * n+1个不同实数构成的序列都包含一个长为n+1的严格递增子序列或严格递减子序列
3. principle of inclusion–exclusion （容斥原理/减法法则）

5. 

   C（n，j）

6. 隔板法

   1. I 个物体，分到n个盒子中，每个盒子至少有1个：C（n-1，i-1）
   2. i 个物体，分到n个盒子中，允许有些盒子为0 ：C（n+i-1，i-1）

7. dictionary ordering （字典顺序排序）找下一个 —— Generating Permutations （生成序列）P164：

   1. 从右往左，找顺序排序的两个数
   2. 在第一位数n的右边，找比它大但最小的数m，n改成m
   3. 把n右边的数按顺序重新排序

8. Dictionary ordering （字典顺序排序）生成下一个 —— Generating Combinations （生成组合）：
   
   

9. Recurrence relations （递推关系）P177、182

函数、集合、矩阵

单词

英	中	备注
function	函数
mappings	映射
domain	定义域
codomain	陪域	函数所有可能的值的集合
range	值域	培域的子集
Composition	合成
Cardinality	元素
Matrices	矩阵
Condition	条件

知识点

1. f 是 A 到 B 的函数，则 f : A → B
2. injection / one-to-one （单射）一对一，if and only if f(a) ≠ f(b) whenever a ≠ b
3. onto / surjection （满射）：∀y ∃x ( f(x) = y)
4. one-to-one correspondence / bijection（双射）：单射且满射
5. Inverse Functions（反函数）：一一对应，当 f(a) = b，f −1(b) = a
6. f ◦ g ：( f ◦ g ) (a) = f ( g (a) )

关系

单词

英	中	备注
Properties	性质	自反、对称、反对称、非对称、传递
subset	子集
Closure	闭包
upper bound	上界
lower bound	下界
Equivalence	等价关系
Poset	偏序集
Comparable	可比
Incomparable	不可比
Total ordering	全序
Well-ordered	良序
Lattice	格
Equivalence classes	等价类

知识点

1. reflexive（自反）：主对角线都为1
   symmetric（对称）：if (b, a) ∈ R whenever (a, b) ∈ R，主对角线以外的所有1关于 主对角线对称，主对角线 0、1 随意
   antisymmetric（反对称）：if (a, b) ∈ R and (b, a) ∈ R, then a = b，主对角线以外的所有1关于主对角线对称的位置都是0，主对角线 0、1随意
   asymmetric（非对称）：同反对称，主对角线都是0
   transitive（传递）

2. 

3. 

   在方阵对应的同行同列的位置，若对于M，该数为0，则对于M * M，该数必为0，否则R不具有传递性

4. Transitive Closures（传递闭包）求法：Warshall’s Algorithm（沃舍尔算法）
   Wn 在 Wn-1 的基础上，以第n列为基础（0不变，1变），每行与第n行的数∨

5. Equivalence（等价）：自反+对称+传递

6. Congruence modulo m：除以m同余
   N mod 4：n 除以 k 的余数
   Congruence classes modulo m ：模 m 同余关系的等价类

7. Partial Ordering（偏序）：集合S上的关系R（记作 ( S, R ) ）
   自反+反对称+传递
   poset（偏序集）

8. 

9. Comparable（可比）

   incomparable（不可比）

10. Total ordering（全序）：集合内每对元素都可比，一个全序集也叫chain

11. Well-ordered（良序）：全序+每个非空子集都有一个最小元素

12. 

13. Hasse Diagrams（哈斯图）

14. Lattice（格）：每对元素都有最小上界和最大下界

15. Topological Sorting（拓扑排序）：用于当存在多个任务、工程或模块之间的复杂依赖关系时，找到正确的执行顺序或构建顺序

16. 

17. 等价类
    [ ( a , b ) ]R = { ( m , n ) } 表示 ( a , b ) 的等价类是（m，n）
    [ m ]R = { a , b , c } 表示 m 的等价类是a，b，c

图论、树

单词

英	中	备注
simple graph	简单图	每条边都连接两个不同顶点，无向
multigraph	多重图	有多重边连接同一对顶点，无向
pseudograph	伪图	环+多重图，无向
Loop	环
undirected graph	无向图
directed graph	有向图
mixed graph	混合图	包含有向边和无向边
Edge	边
Vertex	顶点
Degree	度	边数
Isolated	孤立的
Pendant	悬挂的
Initial	起点
Terminal	终点
in-degree	入度	deg−(v)
out-degree	出度	deg+(v)
Matching	匹配
Contraction	收缩
Union	并集
isomorphic	同构
adjacency lists	邻接表	包含起点终点
Adjacency Matrices	邻接矩阵	点和点，0、1表示
Incidence Matrices	关联矩阵	点和边，0、1表示
Subgraph	子图	去点或去边
path	通路
circuit	回路
cut vertices	割点
cut edge	割边
connectivity	连通度
weighted graphs	加权图
Planar Graph	平面图	边没有任何交叉
region	面
leaf	叶子节点	没有孩子节点
internal vertice	内点	除了叶子节点，包括根节点
subtree	子树
m-ary tree	M 叉树
Huffman coding	哈夫曼编码
preorder traversal	前序遍历
inorder traversal	中序遍历	有多个孩子节点，先最左的孩子，再根节点
postorder traversal	后序遍历
Prefix	前缀 (波兰记法)
Infix	中缀
Postfix	后缀 (逆波兰记法)
connected component	连通分支	最大的连通子图
Spanning tree	生成树

知识点

1. deg(v) ：顶点v的度
   一个环的度：2
   度为0的点：isolated（孤立的）
   度为1的点：pendant（悬挂的）

2. 握手定理：度之和 = 边数 * 2
   无向图有偶数个度为奇数的顶点

3. 环的入度 = 出度 =1

4. Complete Graphs（完全图）—— K
   每对顶点间有且仅有一条边

5. Cycles（圈图）—— C
   点=边
   

6. Wheels（轮图）—— W
   Cycles 加一个点
   

7. N-Cubes（n-立方图）—— Q
   

8. Bipartite Graphs（二分图）
   同一个集合中不存在两个顶点被边相连
   用染色法判断是否二分

9. Complete Bipartite Graphs （完全二分图）
   

10. Maximum matching（最大匹配）
    包含最多边数，最多点被匹配

11. Complete matching（完全匹配）
    每个点都有边 （霍尔婚姻定理）

12. edge contraction（边的收缩）：把两个点捏起来

13. Vertex connectivity（点连通度）：𝜅 (G)
    点割集中最小的顶点数（最少删去几个点能使图不连通）
    K-connected（k连通的）𝜅(G) ≥ k

14. Edge connectivity（边连通度）：𝜆 (G)
    边割集中最小的边数（最少删去几条边能使图不连通）

15. 

16. Strongly connected（强连通）
    有向图，任意顶点 a、b，都有a到 b 和 b 到 a 的通路
    Strongly connected component（强连通分支）
    最大的强连通子图
    Weakly connected（弱连通）
    把有向图转换为无向图，任意两点间都有通路

17. Euler circuit（欧拉回路）：包含每一条边，回到起点
    无向图：每个顶点都有偶数条边
    有向图：入度=出度

18. Euler path（欧拉通路）：不要求回到起点
    有2个度为奇数的顶点，即起点和终点

19. Hamilton circuit（哈密顿回路）：经过每个顶点一次，回到起点
    充分条件：每个顶点的度≥ n∕2 ；对于每一对不相邻的顶点u、v ，都有 deg (u) + deg (v) ≥ n

20. Hamilton path （哈密顿通路）：不要求回到起点

21. Dijkstra（迪杰斯特拉算法）
    用于求解简单无向加权图中的最短通路 P312

22. 欧拉公式：r = e - v + 2

23. Elementary subdivision（初等细分）
    去掉一条边，添上一个新节点，让它与被去掉的那条边的两端点分别相连（逆压缩）

24. Homeomorphic（同胚）
    可以从相同的图G通过一系列初等细分来获得图G₁和G₂，称G₁和G₂是同胚的

25. Kuratowski’s Theorem（库拉图斯基定理）
    如果一个图的子图同胚于 K3,3 或 K5，则是非平面图（充要条件）
    
    

26. 有 n 个顶点的树有 n-1 条边 e = v -1

27. Full m-ary tree（满 m 叉树）
    每个内点都有 m 个孩子节点

28. 有 i 个内点的满 m 叉树有 mi+1 个顶点

29. 高为 h 的 m 叉树至多有 m^h 个叶子节点
    
    高度 h 要从0开始算，上图 h =4

30. Balanced（平衡的）
    高度为 h 的树，所有叶子节点都在 h 和 h-1 层

31. 满+平衡，有 l 个叶子节点：

32. 前缀表达式：式子从右往左计算
    后缀表达式：式子从左往右计算

33. 画树：用中序遍历
    ¬q ：

    中序遍历的 ¬ 特别关注
    中缀表达式就是原式

34. DFS 、BFS：找到 n-1 条边结束

35. Minimum spanning tree（最小生成树）：各边权之和最小

    1. Prim算法：
       先找到权重最小的边，依次往树里添加权重最小的边（与已有点关联，且不构成回路），添加到 n-1 条边停止
    2. Kruskal算法：
       先根据权重排序，找到权重最小的边，依次往树里添加权重最小的边（不一定与已有点关联，且不构成回路），添加到 n-1 条边停止