离散数学课程

离散数学是数学的一个分支，研究离散结构和离散对象的性质和关系。它包括了图论、集合论、逻辑等内容。离散数学在计算机科学、密码学、网络安全等领域具有重要的应用。学习离散数学可以帮助人们培养抽象思维、逻辑推理和问题建模的能力。

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_R$ $\odot$ $M_S$
• Directed Graphs 有向图

关系特征	关系图特征	关系矩阵特征
自反	每一结点处有一环	对角线元素均为1
反自反	每一结点处无环	对角线元素均为0
对称	两结点间有相反的两边同时出现	矩阵为对称矩阵
反对称	两结点间没有相反的边成对出现	当分量$C_{ij}$=1(i$\ne$j)时$C_{ji}$=0
传递	如果结点v1,v2间有边，v2,v3间有边，则v1,v3间必有边	$R^n$$\subseteq$$R$

• Closures of Relations
  关系R的P闭包就是包含R且具有P中一切性质的那些关系中的最小的那个。
  R是自反闭包当且仅当R是自反的
  R的对称闭包是$R$ $\cup$ $R^{-1}$
  R的传递闭包是$R^{\infty }$ = $\bigcup R^i$ = $R$ $\cup$ $R^2$ $\cup$ $R^3$ $\cup$ $...$ $\cup$ $R^n$

  • Warshell 算法
    把第 i 行加到第 i 列上为1的行上去

• 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]$
  划分 P 包含 R 中所有的等价类记为$A/R$ ，并且叫做商集

• 商集的元素个数称为$R$的秩

• Partial Ordered Sets 偏序集合
  reflexive,antisymmetric,transitive
  集合A和所有的偏序R称为偏序集poset，记为(A,R)

  • linear order（线序关系）
    Comparable可比的

• 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}$种运算关系

• Semigroup
  一个半群是一个非空的集合S，同时满足可结合的二元运算* 定义在S上

  • Monoid - 独异点、含幺半群
    一个半群有一个单位元
  • Subsemigroup - 子半群
    (S,* )是一个半群并且T是一个S的子群，如果T是封闭的在运算* ，那么(T,* )叫做一个(S,* )的子半群

• Isomorphism - 同构映射
  一对一的满射函数且f(a * b) = f(a) ${\ast }^{\prime }$ f(b)
  证明方法：

  1. 定义一个函数 f: S -> T Dom(f) = S
  2. 证明 f one-to-one
  3. 证明 f onto
  4. 证明 f(a * b) = f(a) ${\ast }^{\prime }$ 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-1}$ $+$ $a^{n-2}$
$\odot$ Tower of Hanoi
$2^{n-1}$
$\odot$ Catalan数
n-1个数乘起来的方法数有多少种，加括号的方式有多少种
Catalan数的递推关系式为：
$C_0=1$
$C_{n+1}={\sum }_{i=0}^n{C}_i\cdot C_{n-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}$
where the $c_i$,(i =1,…k)are all real,and $c_k\ne 0$
k阶定常系数线性齐次递推关系
e.g.
$a_n=a_{n-1}+2a_{n-2}$
$a_0=2,a_1=7$
Solution:求特征方程
$c_1=1,c_2=2$
$r^2-r-2=0$
r = 2 or r = -1
So $a_n={\alpha }_1{2}^n+{\alpha }_2(-1{)}^n$
代入$a_0$ 和 $a_1$，求出${\alpha }_1{\alpha }_2$
${\alpha }_1=3$ ${\alpha }_2=-1$
$a_n=3\cdot 2^n-(-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
先序。中序。后序
完全二叉树
遍历
二叉搜索树
深度优先和广度优先