离散数学课程总结.pptVIP

7. 布尔代数 (1)布尔代数的定义. (2)布尔代数的性质. 总结 第六章 图论 图的定义及两种表示方法：将图定义为一个有序二元组 (V,E)，可分别用图形和邻接矩阵两种不同方法加以表示。 图中的基本概念：概念较多可分类为：关于结点、关于边和路、关于图以及图与图之间关系等。重点是完全图、补图、连通图、子图、分图以及图同构等概念。 1. 图及其基本概念 总结 第六章 图论 握手定理：在任何一个(n，m)图中，所有结点的度之和必为边数的两倍，即 ； 在具有n个结点的图中，任意两个相连接的不同结点vi和vj之间的短程是一条真路，且长度l≤n-1； 图G中连接结点vi到vj的长度为 l 的路的条数可用G的邻接矩阵A的 l 次幂矩阵 Al 的(i, j)项元素aij（l）的值给出。 2. 图的基本性质 总结 第六章 图论 (1)欧拉图的定义以及连通图为欧拉图的充要条件(每一结点的度为偶数)； 3. 几种特殊的图 必要条件：若G是哈密尔顿图，则对于V的任意一个非空子集 S，G－S的分图数≤＃S。 充分条件：对图G（n≥3）,若G中任意两个不相邻的结点度之和≥n，则G是哈密尔顿图。 (3)树的定义和性质；构造连通图的生成树以及构造连通带权图的最小生成树的方法； (4)二部图的定义及图G为二部图的充要条件(每一回路均为偶数长)；二部图中的匹配； (2)哈密尔顿图的定义以及图G为哈密尔顿图的必要和充分条件： (5)平面图的定义以及三种判别方法。(欧拉公式：n-m+k=2, m≤3n-6） 总结 第六章 图论 (1) 有向图的定义和表示方法：将无向图中的E由无序对偶改成有序对偶便得到有向图。 有向图也分别可用图解法和邻接矩阵加以表示； 4. 有向图 (2) 有着与无向图类似的概念； (3) 具有与无向图类似的性质。但连通性的概念较无向图复杂，可分为弱连通（也称连通）、单向连通和强连通三种。 总结 第六章 图论 根树的定义。是有向图中一种特殊的图，在计算机科学中有着重要的应用； 二元树的定义及二元树的三种周游方式； 根树，特别是二元树中结点与结点以及结点与边之间的一些数量关系。 5. 根树 1．在具有n个结点的简单连通图中，其边数至少有 条，至多有 条。 2．下列命题中 是正确的。 A．欧拉图是哈密尔顿图 B.哈密尔顿图是欧拉图 C．平面图是树； D.树是平面图 n-1 D A、C 反例 B 反例 3．设图G中有9个结点，每个结点的度或为5或为6，试证明：G中至少有5个度为6的结点或至少有6个度为5的结点。 证明 由握手定理知，度为5的结点个数为偶数，因此在G中度为5的结点个数只能是： 0，2，4，6，8五种情形，因此度为6的结点个数分别为 9，7，5，3，1。 以上五种情形中，前三种满足至少有5个度为6的结点。后两种情形满足至少有6个度为5的结点。 4．试构造出下一连通带权图G的两棵不同的最小生成树。 1 1 2 2 3 3 4 4 4 5 5 g a b c d e f 5 1 1 2 2 3 5 g a b c d e f T2 解 1 1 2 g a b c d e f 5 T1 3 2 5．用三种不同的次序对下图所给出的二元树进行周游。 解： 先根周游：ABDEHKCFIJLMG 中根周游：DBKHEAIFLJMCG 后根周游：DKHEBILMJFGCA A E B D H K C F I M J L G 总结 第七章 命题逻辑 命题； 命题联结词：否定( )，合取( )，析取( )，异或( )，蕴含( )，等值( )； 原子命题和复合命题； 命题符号化。 1. 命题 命题常元，命题变元，命题公式(或称公式)； 命题公式F(P1,P2,…,Pn)的真值指派，公式的真值表； 命题公式的分类：重言式(或永真式)、矛盾式(或永假式)和可满足公式； 2. 命题公式 总结 第七章 命题逻辑 3. 命题公式间的关系 命题公式间的等值关系( ) 命题公式间的蕴含关系( ) 基本的等值式； 基本的蕴含式； 判断公式类型的方法(真值表、等值演算)； 判定两公式是否具有等值和蕴含关系的方法。 总结 第七章 命题逻辑 推理的概念： 推理规则：前提引入规则，结论引入规则，置换规则，代入规则，蕴含证明规则； 形式证明 4. 命题逻辑的推理理论 构造推理的方法：直接证明法、反证法、蕴含证明法。 1．形式化下一自然语句： “如果嫦娥是虚构的，而如果圣诞老人也是虚构的，那么许多孩