标签：连通 复习 平面图 补元 离散数学 自用 回路 顶点 欧拉
双重否定 ㄱ(ㄱ(p))⇔p
幂等 p ∧/∨ p ⇔ p
交换 p ∧/∨ q ⇔ q ∧/∨ p
分配 p ∧/∨ (s ∨/∧ t) ⇔ p ∧/∨ s ∨/∧ p ∧/∨ t
结合 r ∧/∨ s ∧/∨ t ⇔ (r ∧/∨ s) ∧/∨ t
吸收 p ∧/∨ (q ∨/∧ p) ⇔ p(里面的符号和外面相反)
德摩根 ㄱ (p ∧/∨ q) ⇔ ㄱ p ∨/∧ ㄱ q
零 p ∨ 1 ⇔ 1, q ∧ 0 ⇔ 0
同一 p ∧ 1 ⇔ p, q ∨ 0 ⇔ q(和零律区别关键在于结果)
排中 p ∨ ㄱ p ⇔ 1 （析取）
矛盾 p ∧ ㄱ p ⇔ 0（合取）
蕴含等值 p → q ⇔ ㄱ p ∨ q
等价等值 p ↔ q ⇔( p → q )∧( q → p )
假言易位 p → q ⇔ ㄱ q → ㄱ p (即充分/必要的转换)
等价否定等值 p ↔ q ⇔ ㄱ p ↔ ㄱ q
归谬 (p → q)∧(p → ㄱ q) ⇔ ㄱ p
附加 A⇒A∨B
化简 A∧B⇒A/B
假言推理 (A→B)∧A⇒B
拒取式 (A→B)∧┐B⇒┐A
析取三段论 (A∨B)∧┐B⇒A
假言三段论 (A→B)∧(B→C)⇒(A→C)
等价三段论 (A↔B)∧(B↔C)⇒(A↔C)
构造性二难 (A→B)∧(C→D)∧(A∨C)⇒(B∨D)
构造性二难 (A→B)∧(┐A→B)∧(A∨┐A)⇒B
破坏性二难 (A→B)∧(C→D)∧(┐B∨┐D)⇒(┐A∨┐C)
求范式：①消去箭头②移动否定③进行分配
10.
子群判定：
定理一：封闭(ab)逆元(a-1)
定理二：ab-1
定理三：H有穷并且ab
循环群：由元素a的k次幂生成的群
小于6阶的群都是循环群
无限循环群的生成元：a和a的逆
有限：φ(n): n的质因数个数，例如φ(12)=4 (1/5/7/11)，生成元为a的r次幂，r为fact(n)
环：<S,+,x>, ①S+交换群, ②Sx半群, ③x对+分配
交换环/含幺环：对乘法而言
无零因子环：无零因子
整环：交换&含幺&无零因子
域：除0外都含逆元的整环
环的直积：有序对的每个元素自然运算,例如<ac,bd>
整环的直积不一定是整环
左右陪集数：[G:H]
11.
格：偏序集内任意两个元素都有最小上界和最大下界（第一定义）
符号说明：（也同时是运算）
∧最大下界（和符号指向相反）
∨最小上界（同上）
这两个运算满足交换/结合/幂等/吸收
对偶式/对偶原理（类比于代数系统/集合）将≥和≤替换，∧∨替换，真假不变。
格：<S,+,x>中+x满足交换/结合/吸收
分配格：∨∧满足分配律（普通格满足分配不等式）（就是等于关系）
L是分配格当且仅当L的子格没有五角格、钻石格（含同构）

有界格：存在全上界（记作1）和全下界（记作0）（即任意....)
补元：a∧b=0或者a∨b=1，b是a的补元。补元若存在即唯一。
有补格：所有元都存在补元
布尔代数：有补&分配格（证法：证两个性质或者证交换/分配/同一/补元）
任何有限布尔代数基数为2的幂次
等势有限布尔代数同构
12.13.组合数学
14.
（图的概念太多，懒得写了）
生成子图：子图的顶点集和母图相同，边不同
握手定理：（主要记推论）奇度定点个数为偶数
可图化条件：度数列之和为偶数
可简单图化：最大度数Δ≤n-1（n是阶数）
同构：不断线变换可以变成一个图
竞赛图：基图为完全图
割集：去掉任意几个边/点后连通分支数增加，少去掉一个连通分支数不变（可以考虑孤立点情况）
连通度：产生一个不连通图所要删去的点的最少数目
二部图：将G中所有顶点的两端各归属到两个顶点集中，记作Kr,s r,s是两个集合的基数（元素个数）
割点：如果去掉一个点以及与它连接的边，该点原来所在的图被分成两部分（不连通），则称该点为割点。
割边：如果去掉一条边，该边原来所在的图被分成两部分（不连通），则称该点为割边，又叫做桥。
k阶正则图：每个顶点的阶数都为k
15.
欧拉回路：一笔走完全部顶点和边，不重复，回路
欧拉图：具有欧拉回路；半欧拉图：只有欧拉通路
欧拉图判定：无奇度顶点&连通
半欧拉图：有且仅有两个奇度定点&连通
哈密顿图，一笔走完全部顶点
哈密顿图存在充分条件：n阶简单完全图，不相邻顶点度和≥n-1（构成通路）n（构成回路）
哈密顿图点子图V1: p(G-V1)≤|V1|
dijkstra算法：局部最右获得全局最优，一直找最小的最后就是最小的。
16.
树：无回路（n阶m条边时m=n-1)
树上的树枝：就是树的边
树上的弦：原图有的边树上没有
n阶m边无向树等价定义：
(1) G 是树。
(2) G 中任意两个顶点之间存在唯一的路径。
(3) G 中无回路且 m＝n-1。
(4) G 是连通的且 m＝n-1。
(5) G 是连通的且 G 中任何边均为桥。
(6) G 中没有回路，但在任何两个不同的顶点之间加一条新边，在所得图中得到唯一的一个含新边的圈。
破圈法：删掉圈的一个边，有圈继续删
基本回路：把弦连上能在树上构造一个圈
圈秩：ξ=m-n+1
18.
平面图：边不相交
面Ri的次数：面（用回路划分的区域）的边界个数，其和为边数之和的二倍
极大平面图：不能再往里加边
欧拉定理：连通平面图的顶点数V，边数E，面数S满足V-E+S=2
欧拉定理推论：每个面次数至少为L,V,E满足：E(L-2)≤L(V-2)
定理：n阶E边简单平面图：E≤3n-6（ps：提醒，所谓阶数就是顶点集个数）
简单平面图的最小度≤5
同胚：①同构②反复插入、消除2度定点仍同构
平面图⇔不含K5,K33的同胚子图

标签：连通,复习,平面图,补元,离散数学,自用,回路,顶点,欧拉 来源： https://www.cnblogs.com/holittech/p/discrete_math_notes.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。