离散数学知识点总结.docx

总结 离散数学学问点
命题逻辑
→，前键为真，后键为假才为假；<—>，一样为真，不同为假；
主析取范式：微小项(m)之和；主合取范式：极大项(M)之积；
求微小项时，命题变元的确定为1，否认为0，求极大项时相反；
求极大微小项的性质：封闭性；
半群的性质：封闭性，结合律；
含幺半群(独异点)：封闭性，结合律，有幺元；
群的性质：封闭性，结合律，有幺元，有逆元；
群没有零元；
阿贝尔群(交换群)：封闭性，结合律，有幺元，有逆元，交换律；
循环群中幺元不能是生成元；
任何一个循环群必定是阿贝尔群；
格及布尔代数
格：偏序集合A中随意两个元素都有上、下确界；
格的根本性质：
1) 自反性
a≤a 对偶: a≥a
2) 反对称性
a≤b ^ b≥a =>
对偶≥b ^ b≤a =>
3) 传递性
a≤b ^ b≤c => a≤c
对偶≥b ^ b≥c => a≥c
4) 最大下界描绘之一
a^b≤a 对偶 ≥a
A^b≤b 对偶 ≥b
5〕最大下界描绘之二
c≤≤b => c≤a^b
对偶c≥≥b =>Þc≥
6) 结合律
a^(b^c)=(a^b)^c
对偶 ()=()
7)   等幂律
a^ 对偶
8) 汲取律
a^() 对偶 (a^b)
9)    a≤b <=> a^
10) a≤≤d => a^b≤c^d ≤
11) 保序性
b≤c => a^b≤a^c ≤
12〕 安排不等式
(b^c)≤()^()
对偶 a^()≥(a^b)v(a^c)
13〕模不等式
a≤c <=>Û (b^c)≤()^c
安排格：满意a^()=(a^b)v(a^c)和(b^c)=()^()；
安排格的充要条件：该格没有任何子格及钻石格或五环格同构；
，安排格必定是模格；
全上界：集合A中的某个元素a大于等于该集合中的任何元素，那么称a为格<A,<=>的全上界，记为1；(假设存在那么唯一)
全下界：集合A中的某个元素b小于等于该集合中的任何元素，那么称b为格<A,<=>的全下界，记为0；(假设存在那么唯一)
有界格：有全上界和全下界的格称为有界格，即有0和1的格；
补元：在有界格内，假如a^01，那么a和b互为补元；
有补格：在有界格内，每个元素都至少有一个补元；
有补安排格(布尔格)：既是有补格，又是安排格；
布尔代数：一个有补安排格称为布尔代数；
图论
邻接：两点之间有边连接，那么点及点邻接；
关联：两点之间有边连接，那么这两点及边关联；
平凡图：只有一个孤立点构成的图；
简洁图：不含平行边和环的图；
无向完全图：n个节点随意两个节点之间都有边相连的简洁无向图；
有向完全图个节点随意两个节点之间都有边相连的简洁有向图；
无向完全图有n(1)/2条边，有向完全图有n(1)条边；
正那么图：每个节点度数均为r的图；
握手定理：节点度数的总和等于边的两倍；
任何图中，度数为奇数的节点个数必定是偶数个；
任何有向图中，全部节点入度之和等于全部节点的出度之和；
每个节点的度数至少为2的图必定包含一条回路；
可达：对于图中的两个节点,，假设存在连接到的路，那么称及互相可达，也称及是连通的；在有向图中，假设存在到的路，那么称到可达；
强连通：有向图章随意两节点互相可达；
单向连通：图中两节点至少有一个方向可达；
弱连通：无向图的连通；(弱连通必定是单向连通)
点割集：删去图中的某些点后所得的子图不连通了，假如删去其他几个点后子图之间仍是连通的，那么这些点组成的集合称为点割集；
割点：假如一个点构成点割集，即删去图中的一个点后所得子图是不连通的，那么该点称为割点；
关联矩阵：M(G)，是及关联的次数，节点为行，边为列；
无向图：点及边无关系关联数为0，有关系为1，有环为2；
有向图：点及边无关系关联数为0，有关系起点为1终点为-1，
关联矩阵的特点：
无向图：
①行：每个节点关联的边，即节点的度；
②列：每条边关联的节点；
有向图：
③全部的入度(1)=全部的出度(0);
：A(G)，是邻接到的边的数目，点为行，点为