东北大学离散数学复习总结(满分版)_第1页
东北大学离散数学复习总结(满分版)_第2页
东北大学离散数学复习总结(满分版)_第3页
东北大学离散数学复习总结(满分版)_第4页
东北大学离散数学复习总结(满分版)_第5页
已阅读5页,还剩31页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、方法、知识点总结(知识重点和考题重点)前三章重点内容(知识重点):1、 蕴含(条件)“”的真值 PQ的真值为假,当且仅当P为真,Q为 假。2、 重言(永真)蕴涵式证明方法 假设前件为真,推出后件也为真。 假设后件为假,推出前件也为假。易错 3、 等价公式和证明中运用4、 重要公式重言蕴涵式:PQ = P or QP or Q = pQA-B =(AorC)-(BorC)其他是在此基础上演变等价公式:幂等律 PP=P PP=P 吸收律 P(PQ)=P P(PQ)=P 同一律 PF=P PT=P PT=T PF=FP Q = (P-Q)(Q-P) = (PQ)(PQ)5、 范式的写法(最方便就是真

2、值表法)6、 派遣人员、课表安排类算法:第一步:列出所有条件,写成符号公式第二步:用合取连接第三步:求上一步中的析取范式即可7、 逻辑推理的写法直接推理论证:其中I公式是指 重言蕴涵式那部分其中E公式是指 等价公式部分条件论证: 形如 , , = R-S R P(附加条件).S TR-S CP8、 谓词基本内容注意:任意用 连接 存在用 连接量词的否定公式量词的辖域扩充公式量词分配公式其他公式9、 带量词的公式在论域内的展开10、 量词辖域的扩充公式 11、 前束范式的写法 给定一个带有量词的谓词公式, 1) 消去公式中的联接词和(为了便于量词 辖域的扩充); 2) 如果量词前有“”,则用量词

3、否定公式”后移。再用摩根定律或求公式的否定公式,将“”后移到原子谓词公式之前; 3) 用约束变元的改名规则或自由变元的代入 规则对变元换名(为量词辖域扩充作准备); 4) 用量词辖域扩充公式提取量词,使之成为 前束范式形式。简要概括: 1、去 - , 2、移 3、换元 4、量词辖域扩充12、 谓词演算的推理理论 推理规则:P、T、CP、US、ES、EG、UG 的使用ES US 去量词EG UG 添量词 谨记:ES要在US之前,很重要 添加量词注意事项:13、 集合的幂集(用P表示,也常有花P表示) A是集合,由A的所有子集构成的集合,称 之为A的幂集。记作P(A)或2的A次方给定有限集合A,如

4、果|A|=n, 则|P(A)|=2的n次方14、 求集合的划分数与等价关系数 相同15、 三种重要集合运算1、 差运算- (相对补集) 2、 绝对补集 3、 对称差 前三章重点内容(考题重点):最常考内容和方法需要看自己课件,前三章考试内容不多且简单1、 命题符号化(包括第一章简单的命题和第二章谓词的命题)2、 逻辑推理(命题逻辑和谓词逻辑两种推理,每章书最后部分)3、 主析取范式与主合取范式(命题逻辑和谓词逻辑中的两种范式写法)4、 真值的判断后五章重点内容(知识重点):1、 笛卡尔积定义:设A、B是集合,由A的元素为第一元素, B的元素为第二元素组成序偶的集合,称为A和B 的笛卡尔积,记作

5、AB如果A、B都是有限集,且|A|=m, |B|=n,则 |AXB |=mn. 2、 域的表示:定义域dom(关系的第一个元素的范围)值域 Ran(关系的第二个元素的范围)3、 空关系、完全关系、A上的恒等关系IA的定义空关系只有点,没有一条边。4、 关系的个数 5、 对称、反对称、自反、反自反、传递的判定6、 等价关系、等价类定义:设R是A上关系,若R是自反的、对称的和 传递的,则称R是A中的等价关系等价关系的个数:划分数;由等价关系图求等价类:R图中每个独立子图上的结点,构成一个等价类。 不同的等价类个数=独立子图个数7、 相容关系、相容类特点:自反、对称。图的简化:不画环; 两条对称边用

6、一条无向直线代替相容类:设r是集合X上的相容关系,CX,如果对于C中任 意两个元素x,y有r ,称C是r的一个相容类从简化图找最大相容类:最大相容类的意义是一个相容类加多一个点就不是相容类了,所以最大相容类可以是多个而不是唯一的“最大”的概念,定义类似极大线性无关组,但元素个数不同-找最大完全多边形。 最大完全多边形:含有结点最多的多边形中,每个结点 都与其它结点相联结。 通过最大相容类求完全覆盖:完全覆盖就是指 所有最大相容类构成的集合。8、 关系的分类:偏序关系定义:R是A上自反、反对称和传递的关系,则称R 是A上的偏序关系。并称是偏序集。 全序关系定义:是偏序集,任何x,yA,如果x与y

7、都是可 比较的,则称是全序关系(线序、链)。 9、 偏序集Hasse图的画法1) .用“。”表示A中元素。2) .如果xy,且xy,则结点y要画在结点x的上方。 3). 如果xy,且y盖住x,x与y之间连一直线。4). 一般先从最下层结点(全是射出的边与之相连(不考虑 环),逐层向上画,直到最上层结点(全是射入的边与之 相连)。(采用抓两头,带中间的方法 ) 10、 重要元素定义(极大小元、最大小元、上下界、最大下界与最小上界)11、 如何求映射是入(单)、满、双射?第一步:分别求出定义域和值域第二步:比较就出来了,就那么简单但是要证明的话:两者结合得:双射成立12、 复合函数中的重要性质(常

8、考):f:XY, g:YZ是两个函数, 则 如果f和g是满射的,则 g。f 也是满射的; 如果f和g是入射的,则 g。f 也是入射的; 如果f和g是双射的,则 g。f 也是双射的如果 g。f 是满射的,则g是 满射的; 如果g。f 是入射的,则 f 是入射的; 如果 g。f 是双射的,则f是入射的和g是满射的13、 函数种类个数的求法14、 逆函数(性质)设f:XY是双射的函数,fC:YX 也是函数, 称 之为 f 的逆函数。设f:XY是双射的函数,则有15、 第六章基础知识重点幂等元、幺元e、零元0、逆元的概念同态同构:f(x)满射、并且满足*不是双射就一定复合同构的条件:必须具有 幺元对幺

9、元、零元对零元.代数系统(重点)半群:封闭、可逆 独异点:有幺元群:可逆 交换群:可交换群的特征:1.消去律 2.无零元 3.除幺元外无其他幂等元运算表中:每个元素在每一行、列必须出现仅出现一次!16、 第七章基础知识重点格:是偏序集,如果任何a,bA,使得a,b都有最大下界和最小上界,则称是格平凡格:所有全序都是格,称之为平凡格。 分配格:(判定定理)所有链均为分配格。 设是分配格,对任何a,b,cA, 如果有 ab=ac及 ab=ac则必有 b=c . 有界格:(判定定理)有界格定义:如果一个格存在全上界1与全下界0,则 称此格为有界格。 从格的图形看:全上界1,就是图的最上边元素(只一个

10、)。 全下界0,就是图的最下边元素(只一个)。 有补格:(判定定理:根据定义看是不是每个中间元素都有补元)补元:设是个有界格,aA, 如果存在 bA, 使得ab=1 ab=0 则称a与b互为补元(其中是求最小上界,求最大下界)有补格的定义:一个有界格中,如果每个元素都有补元,则称之为有补格 布尔格:如果一个格既是分配格又是有补格,则称之为布尔格。 *重要定理: 在有界分配格中,如果元素有补元,则补元 是唯一的。17、 格的同构条件(特别)需同时满足:钻石定律:一个布尔代数的所有原子(直接覆盖最小元0的元素)构成的布尔代数一定与元代数同构18、 布尔代数表达式和布尔函数 是布尔代数的形式含有变元

11、 x1,x2,xn 的布尔 表达式记作E(x1,x2,xn),也可以看成是一个函数f:BnB, 称之为布尔函数布尔表达式的范式的写法(很重要,与第一第二章的方法类似)19、 第八章图论的重要知识点(好多好多的定义自己记吧)图的同构:两个图同构的必要条件: 1. 结点个数相等. 2. 边数相等. 3. 度数相同的结点数相等.4. 对应的结点的度数相等.图的连通:强连通、单侧连通和弱连通(一般不考)如果任何两个结点间相互可达, 则称 G是强连通. 如果任何一对结点间, 至少有一个结点到另 一个结点可达, 则称G是单侧连通. 如果将G看成无向图后 (即把有向边看成无向边)是连通的,则称G是弱连通强分

12、图、单侧分图和弱分图在简单有向图中,具有强连通的最大子图,称为强分图.具 有单侧连通的最大子图,称为单侧分图.具有弱连通的最 大子图,称为弱分图.图的矩阵表示和写法(前两个有点重要):1、 邻接矩阵每一行的1:在无向图中代表一条线有向图中代表出线列中的1代表入线2、 可达性矩阵3、 完全关系矩阵图中结点的度与个数、边的关系:考试需要两则结合20、 欧拉图与H(汉密尔)图(重点)定义:在无孤立结点的图G中,若存在一条回路,它 经过图中每条边一次且仅一次,称此回路为欧拉回路. 称此图为欧拉图 汉密尔顿回路(H回路):通过G中每个结点恰好一次的回 路.具有汉密尔顿回路(H回路)的图. 欧拉回路的判定

13、:(充要条件)无向图G具有欧拉路,当且仅当G是连通的,且有零个或两个奇数度的结点. 汉密尔顿图的判定: (只有充分条件)(充分条件)设G是有n个结点的简单图,若G中每对结点度数之和大于等于n,则G有一条H回路 欧拉回路的算法(重重重!虽然可能不考)(记做 闭迹交集法)H回路的算法(重重重!虽然可能不考)(记做 相邻最小权法)21、 树中的重要方法:树的 结点与边数:边数=结点数-1 e = v-1m叉有序树转化成二叉树的方法:赋权图的最小生成树的求法(记做 相邻最小权不回路法):定义:一棵生成树中的所有边的权之和称为该生成树的 权. 具有最小权的生成树,称为最小生成树.最优树求法:定义*后五章

14、重点内容(考题重点):1、 求逆元(例如a逆)第一步:求出幺元e第二步:a逆与a进行所定义的运算,写出等式:如a*a逆=e,求解2、 群的阶性质*有一个群G,a属于G,a元素的阶为n,当且仅当k=mn(n的整数倍),a的k次方=e.*n阶群中的元素x,x的n次方等于e3、 树的边数e与叶结点t的关系 e=2t-24、 图的画法与格的判断画法在前面总结过:偏序集Hasse图的画法3) .用“。”表示A中元素。4) .如果xy,且xy,则结点y要画在结点x的上方。 3). 如果xy,且y盖住x,x与y之间连一直线。4). 一般先从最下层结点(全是射出的边与之相连(不考虑 环),逐层向上画,直到最上

15、层结点(全是射入的边与之 相连)。(采用抓两头,带中间的方法 ) 判断格:看是否任意都有最小上界、最大下界;分配格:跟那俩个特别的格比较,没有那样的子格就是分配格; 链一定是分配格有界格:有无最大最小元(1,0表示),有限个元素的格一定是有界格;有补格:看是否每个元素都有补元若有补元,补元唯一的是有界分配格!布尔格:分配、有补5、 复合函数的性质f:XY, g:YZ是两个函数, 则 如果f和g是满射的,则 g。f 也是满射的; 如果f和g是入射的,则 g。f 也是入射的; 如果f和g是双射的,则 g。f 也是双射的如果 g。f 是满射的,则g是 满射的; 如果g。f 是入射的,则 f 是入射的

16、; 如果 g。f 是双射的,则f是入射的和g是满射的6、 完全图的边数无向完全图:边数为 n(n-1)/2有向完全图:边数为 2的n次方7、 欧拉图、H图完全图Kn,n为奇数时,完全图既是欧拉图又是H图;8、 证明子格证明从封闭性入手,若对,(取最小下界、最大上界运算)运算封闭则为子格。9、 证明子群第一步:证明非空集合;第二步:在集合中任取两个进行自定义的运算,证明封闭性;第三步:任意取一个集合中的数a,证a逆属于集合即证明可逆性。10、 证明等价关系证明三点:自反、对称、传递11、 证明同态、同构(或者自同构)第一步:证明f(x)双射,先证入射(单射),再证满射,则为双射第二步:证类似如下

17、式子成立12、 求图定点数与欧拉握手定理形如:“一个图,边12,有6个3度结点,其他结点度数都小于3,求最少有几个结点”的问题用欧拉握手定理:边数|E|为m,则所有结点度数累加起来等于2m任何图中都有:奇数度顶点个数为偶数。13、 布尔表达式的析取范式、合取范式的求法和前面说的一样,与第一第二章的范式写法类似,最好列真值表14、 分清叶结点、分支节点、树中节点数与边的关系、度数和与节点数的关系15、 (G),k(G),(G),(G),W(G),x(G) 分别表示图G的( 最大度 ),( 点连通度 ),( 最小度 ),( 边连通度 ),( 连通分支数 ),( 最小着色数 )K(G)表示 点连通度

18、 (G)表示边连通度 d(u,v)表示最短两点距离 deg(v)表示度 degi 表示入度 dego 表示出度16、 代数系统的证明半群独异点群交换群对应证明顺序:封闭、可结合有幺元可逆性可交换!当复杂时,可以用画出运算表的方法,就可以证明是否运算封闭、有幺元、有逆元。17、 循环群、生成元( g )与交换群(循环群属于需要了解)循环群一定是交换群素数阶群一定是循环群证明交换群: 证任意X、Y,对运算 X * Y = Y * X 成立。循环群周期:g的N次方等于e(幺元),则n为周期无限循环群与同构,K阶有限循环群与同构+4、+6运算的意义:模加运算,将两个数相加后取模p为素数,p阶循环群有p-1个生成元。18、 图的面与欧拉公式欧拉公式:对于一个平面图 V - e + r = 2 v为顶点数,e为边数,r为面的数量。19、 完全二叉图的顶点、边数与叶的关系 (理解性记忆)叶子结点:n顶点数:2n-1边数:2(n-1)m叉图:

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论