东北大学离散数学复习总结满分版)

东北大学离散数学复习总结满分版)
东北大学离散数学复习总结满分版)

方法、知识点总结(知识重点和考题重点)

前三章重点内容(知识重点):

1、蕴含(条件)“→”的真值

P→Q的真值为假,当且仅当P为真,Q为假。

2、重言(永真)蕴涵式证明方法

<1>假设前件为真,推出后件也为真。

<2>假设后件为假,推出前件也为假。

易错

3、等价公式和证明中运用

4、重要公式

重言蕴涵式:P∧Q => P or Q

P or Q => p∨Q

A->B =>(A∧or∨C)->(B∧or∨C)

其他是在此基础上演变

等价公式:幂等律P∧P=P P∨P=P

吸收律P∧(P∨Q)=P P∨(P∧Q)=P

同一律P∨F=P P∧T=P

P∨T=T P∧F=F

P <-> Q = (P->Q)∧(Q->P) = (P∧Q)∨(﹁P∧﹁Q)

5、范式的写法(最方便就是真值表法)

6、派遣人员、课表安排类算法:

第一步:列出所有条件,写成符号公式

第二步:用合取∧连接

第三步:求上一步中的析取范式即可

7、逻辑推理的写法

直接推理论证:其中I公式是指重言蕴涵式那部分

其中E公式是指等价公式部分

条件论证: 形如~ , ~, ~ => R->S

R P(附加条件)

... ...

S T

R->S CP

8、谓词基本内容

注意:任意用—> 连接

存在用∧连接

量词的否定公式

量词的辖域扩充公式

量词分配公式

其他公式

9、带量词的公式在论域内的展开

10、量词辖域的扩充公式

11、前束范式的写法

给定一个带有量词的谓词公式,

1)消去公式中的联接词→和←→(为了便于量词辖域的扩充);

2)如果量词前有“﹁?”,则用量词否定公式﹁?”后移。再用摩根定律或求公式的否定公式,将“﹁?”后移到原子谓词公式之前;

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,如果|A|=n, 则|P(A)|=2的n次方

14、求集合的划分数与等价关系数——相同

15、三种重要集合运算

一、差运算- (相对补集)

二、绝对补集~

三、对称差

前三章重点内容(考题重点):最常考

内容和方法需要看自己课件,前三章考试内容不多且简单

1、命题符号化(包括第一章简单的命题和第二章谓词的命题)

2、逻辑推理(命题逻辑和谓词逻辑两种推理,每章书最后部分)

3、主析取范式与主合取范式(命题逻辑和谓词逻辑中的两种范式写法)

4、真值的判断

后五章重点内容(知识重点):

1、笛卡尔积

定义:设A、B是集合,由A的元素为第一元素,B的元素为第二元素组成序偶的集合,称为A和B 的笛卡尔积,记作A×B

如果A、B都是有限集,且|A|=m, |B|=n,则|AXB |=mn.

2、域的表示:

定义域dom(关系的第一个元素的范围)

值域Ran(关系的第二个元素的范围)

3、空关系、完全关系、A上的恒等关系IA的定义

空关系只有点,没有一条边。

4、关系的个数

5、对称、反对称、自反、反自反、传递的判定

6、等价关系、等价类

定义:设R是A上关系,若R是自反的、对称的和传递的,则称R是A中的等价关系

等价关系的个数:划分数;

由等价关系图求等价类:

R图中每个独立子图上的结点,构成一个等价类。

不同的等价类个数=独立子图个数

7、相容关系、相容类

特点:自反、对称。

图的简化:⑴不画环;

⑵两条对称边用一条无向直线代替

相容类:设r是集合X上的相容关系,C?X,如果对于C 中任意两个元素x,y有∈r ,称C是r的一个相容类从简化图找最大相容类:

最大相容类的意义是——一个相容类加多一个点就不是相容类了,所以最大相容类可以是多个而不是唯一的“最大”的概念,定义类似极大线性无关组,但元素个数不同------找最大完全多边形。最大完全多边形:含有结点最多的多边形中,每个结点都与其它结点相联结。

通过最大相容类求完全覆盖:

完全覆盖就是指所有最大相容类构成的集合。

8、关系的分类:

偏序关系定义:R是A上自反、反对称和传递的关系,则称R 是A上的偏序关系。并称是偏序集。

全序关系定义:是偏序集,任何x,y∈A,如果x与y都是可比较的,则称≤是全序关系(线序、链)。

9、偏序集Hasse图的画法

1).用“。”表示A中元素。

2).如果x≤y,且x≠y,则结点y要画在结点x的上方。

3). 如果x≤y,且y盖住x,x与y之间连一直线。

4). 一般先从最下层结点(全是射出的边与之相连(不考虑环)),逐层向上画,直到最上层结点(全是射入的边与之相连)。(采用抓两头,带中间的方法)

10、重要元素定义(极大小元、最大小元、上下界、最大下界与最小上界)

11、如何求映射是入(单)、满、双射?

第一步:分别求出定义域和值域

第二步:比较就出来了,就那么简单

但是要证明的话:

两者结合得:双射成立

12、复合函数中的重要性质(常考):

f:X→Y, g:Y→Z是两个函数, 则

⑴如果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:X→Y是双射的函数,f C:Y?X 也是函数, 称之为 f 的逆函数。

设f:X→Y是双射的函数,则有

15、第六章基础知识重点

幂等元、幺元e、零元0、逆元的概念

同态同构:f(x)满射、并且满足

*不是双射就一定复合同构的条件:

必须具有幺元对幺元、零元对零元......

代数系统(重点)

半群:封闭、可逆独异点:有幺元

群:可逆交换群:可交换

群的特征:1.消去律 2.无零元 3.除幺元外无其他幂等元

运算表中:每个元素在每一行、列必须出现仅出现一次!16、第七章基础知识重点

格:是偏序集,如果任何a,b∈A,使得{a,b}都有最大下界和最小上界,则称是格

平凡格:所有全序都是格,称之为平凡格。

分配格:(判定定理)

所有链均为分配格。

是分配格,对任何a,b,c∈A, 如果有a∧b=a∧c及a ∨b=a∨c则必有b=c .

有界格:(判定定理)

有界格定义:如果一个格存在全上界1与全下界0,则称此格为有界格。

从格的图形看:全上界1,就是图的最上边元素(只一个)。全

下界0,就是图的最下边元素(只一个)。

有补格:(判定定理:根据定义看是不是每个中间元素都有补元)

补元:设是个有界格,a∈A, 如果存在b∈A, 使得a∨b=1 a∧b=0 则称a与b互为补元(其中∨是求最小上界,∧求最大下界)

有补格的定义:一个有界格中,如果每个元素都有补元,则称之为有补格

布尔格:如果一个格既是分配格又是有补格,则称之为布尔格。

*重要定理:

在有界分配格中,如果元素有补元,则补元是唯一的。17、格的同构条件(特别)需同时满足:

钻石定律:

一个布尔代数的所有原子(直接覆盖最小元0的元素)构成的布尔代数一定与元代数同构

18、布尔代数表达式和布尔函数

是布尔代数的形式

含有变元x1,x2,…,xn 的布尔表达式记作E(x1,x2,…xn),也可以看成是一个函数f:Bn→B, 称之为布尔函数

布尔表达式的范式的写法(很重要,与第一第二章的方法类似)19、第八章图论的重要知识点(好多好多的定义自己记吧)

图的同构:

两个图同构的必要条件:

1.结点个数相等.

2.边数相等.

3.度数相同的结点数相等.

4.对应的结点的度数相等.

图的连通:强连通、单侧连通和弱连通(一般不考)

如果任何两个结点间相互可达, 则称G是强连通. 如果任何一对结点间, 至少有一个结点到另一个结点可达, 则称G是单侧连通. 如果将G看成无向图后(即把有向边看成无向边)是连通的,则称G是弱连通

强分图、单侧分图和弱分图

在简单有向图中,具有强连通的最大子图,称为强分图.

具有单侧连通的最大子图,称为单侧分图.

具有弱连通的最大子图,称为弱分图.

图的矩阵表示和写法(前两个有点重要):

一、邻接矩阵

每一行的1:在无向图中代表一条线

有向图中代表—>出线

列中的1代表<—入线

二、可达性矩阵

三、完全关系矩阵

图中结点的度与个数、边的关系:

考试需要两则结合

20、欧拉图与H(汉密尔)图(重点)

定义:

在无孤立结点的图G中,若存在一条回路,它经过图中每条边一次且仅一次,称此回路为欧拉回路. 称此图为欧拉图

汉密尔顿回路(H回路):通过G中每个结点恰好一次的回路.具有汉密尔顿回路(H回路)的图.

欧拉回路的判定:(充要条件)

无向图G具有欧拉路,当且仅当G是连通的,且有零个或两个奇数度的结点.

汉密尔顿图的判定: (只有充分条件)

(充分条件)设G是有n个结点的简单图,若G中每对结点度数之

和大于等于n,则G有一条H回路

欧拉回路的算法(重重重!虽然可能不考)

(记做闭迹交集法)

H回路的算法(重重重!虽然可能不考)

(记做相邻最小权法)

21、树中的重要方法:

树的结点与边数:边数=结点数-1 e = v-1

m叉有序树转化成二叉树的方法:

赋权图的最小生成树的求法(记做相邻最小权不回路法):定义:一棵生成树中的所有边的权之和称为该生成树的权. 具有最小权的生成树,称为最小生成树.

最优树求法:定义

***后五章重点内容(考题重点):

<精华看完绝对不亏>

1、求逆元(例如a逆)

第一步:求出幺元e

第二步:a逆与a进行所定义的运算,写出等式:如a*a逆=e,求解

2、群的阶性质

*有一个群G,a属于G,a元素的阶为n,当且仅当k=mn(n的整数倍),a 的k次方=e.

*n阶群中的元素x,x的n次方等于e

3、树的边数e与叶结点t的关系

e=2t-2

4、图的画法与格的判断

画法在前面总结过:偏序集Hasse图的画法

3).用“。”表示A中元素。

4).如果x≤y,且x≠y,则结点y要画在结点x的上方。

3). 如果x≤y,且y盖住x,x与y之间连一直线。

4). 一般先从最下层结点(全是射出的边与之相连(不考虑环)),逐层向上画,直到最上层结点(全是射入的边与之相连)。(采用抓两头,带中间的方法)

判断——

格:看是否任意都有最小上界、最大下界;

分配格:跟那俩个特别的格比较,没有那样的子格就是分配格;链一定是分配格

有界格:有无最大最小元(1,0表示),有限个元素的格一定是有界格;

有补格:看是否每个元素都有补元

若有补元,补元唯一的是有界分配格!

布尔格:分配、有补

5、复合函数的性质

f:X→Y, g:Y→Z是两个函数, 则

⑴如果f和g是满射的,则g。f 也是满射的;

⑵如果f和g是入射的,则g。f 也是入射的;

⑶如果f和g是双射的,则g。f 也是双射的

⑴如果g。f 是满射的,则g是满射的;

⑵如果g。f 是入射的,则 f 是入射的;

⑶如果g。f 是双射的,则f是入射的和g是满射的

6、完全图的边数

无向完全图:边数为n(n-1)/2

有向完全图:边数为2的n次方

7、欧拉图、H图

完全图Kn,n为奇数时,完全图既是欧拉图又是H图;

8、证明子格

证明从封闭性入手,若对∨,∧(取最小下界、最大上界运算)运算封闭则为子格。

9、证明子群

第一步:证明非空集合;

第二步:在集合中任取两个进行自定义的运算,证明封闭性;

第三步:任意取一个集合中的数a,证a逆属于集合即证明可逆性。

10、证明等价关系

证明三点:自反、对称、传递

11、证明同态、同构(或者自同构)

第一步:证明f(x)双射,①先证入射(单射),②再证满射,则为双射

第二步:证类似如下式子成立

12、求图定点数与欧拉握手定理

形如:“一个图,边12,有6个3度结点,其他结点度数都小于3,求最少有几个结点”的问题

用欧拉握手定理:边数|E|为m,则所有结点度数累加起来等于2m

任何图中都有:奇数度顶点个数为偶数。

13、布尔表达式的析取范式、合取范式的求法

和前面说的一样,与第一第二章的范式写法类似,最好列真值表

14、分清叶结点、分支节点、树中节点数与边的关系、度数和与节点数的关系

15、Δ(G),k(G),δ(G),λ(G),W(G),x(G) 分别表示图G的( 最大度),( 点连通度),( 最小度),( 边连通度),( 连通分支数),( 最小着色数)

K(G)表示点连通度λ(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叉图:叶子结点:t 分支结点:i 则有(m-1)i = t-1

20、二元关系种数

若A有n个元素,B有m个元素,A→B有2的nm次方种关系。

21、三叉树

叶结点为n,边数为3(n-1)/2

22、证明图不连通、其补图一定连通

任取u,v∈V(G), 如果u与v不邻接,则在G中有边(u,v),所以在G中u与v是连通的;如果在G中u与v邻接, 则u与v在G的同一个连通分支, 由于G是不连通的,所以G必有另一个连通分支G(V1), 设w∈V1(G), 于是在G中必有边(u,w),(w,v),于是在G中必有路uwv, 所以G是连通的。

23、最优树问题

在第八章知识点最后一个方法,考试考的可能性还算大

东北大学 19春学期《离散数学》在线作业2 答案

试卷总分:100 得分:0 一、单选题(共10 道试题,共50 分) 1.单选题。一棵树有7片树叶,3个3度结点,其余都是4度结点,该树有()个4度结点。 A.4; B.3; C.2; D.1; E.不在给定的选择的范围内。 正确答案:D 2. A.B:①:⑵⑶⑺⑻ B.B:②:⑶⑷⑻ C.B:③:⑶⑹⑺⑻ D.B:④:⑶⑺ 正确答案:D 3.单选题。一棵根树是完全m叉树,当且仅当该图()。 A.每个结点的度数是m; B.每个结点的出度都是m; C.每个结点的出度不是0就是m; D.恰有一个结点入度为0:其余结点入度为1。 正确答案:C 4.令命题P表示“没有大学生不懂外语。”下面命题( )与P等价。 A.有些大学生懂一些外语。 B.所有大学生都懂一些外语。 C.有些大学生懂所有外语。 D.没有大学生懂所有外语。 正确答案:B 5. A.矛盾式 B.重言式 C.无法确定 D.不知道

正确答案:B 6.7.选择题:在一次集会中,与奇数个人握手的人数共有()个。 A.奇数 B.不能确定 C.偶数 D.不知道 正确答案:C 7.下面是 "xC(x), $x(A(x)ÚB(x)), "x(B(x)?ØC(x)) Þ $xA(x) 的谓词推理过程。在这个过程中每一步中的()处是此步所用的推理规则。请写出这些推理规则。 ⑴$x(A(x)ÚB(x)), ( ) ⑵A(a)ÚB(a) ( ) ⑴ ⑶"xC(x) ( ) ⑷C(a) ( ) ⑶ ⑸"x(B(x)→ØC(x)) ( ) ⑹B(a)→ØC(a) ( ) ⑸ ⑺ØB(a) ( ) ⑷⑹I12 ⑻A(a) ( ) ⑵⑺I10 ⑼$xA(x)) ( ) ⑻ A.⑴P;⑵T;⑶T;⑷UG;⑸P;⑹US;⑺P;⑻T;⑼ES。 B.⑴P;⑵EG;⑶T;⑷UG;⑸P;⑹UG;⑺P;⑻T;⑼EG。 C.⑴P;⑵ES;⑶P;⑷US;⑸P;⑹US;⑺T;⑻T;⑼EG。 D.⑴P;⑵US;⑶T;⑷UG;⑸P;⑹UG;⑺P;⑻T;⑼UG。 正确答案:C 8. 选择填空。如果集合X满足XÍD 且XÇB=Ф,则X可能与下面给定的集合( ) 相等。 A.A={1,2,3,4,5,6,7,8,9}, B.B={2,4,6,8}, C.C={1,3,5,7,9}, D.D={3,4,5}, E.E={3,5}, 正确答案:E

离散数学必备知识点总结

离散数学必备知识点总 结 Document number:NOCG-YUNOO-BUYTT-UU986-1986UT

总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n个变元共有n2个极小项或极大项,这n2为(0~n2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P规则,T规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n个个体,多元谓词描述个体之间的关系;

2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 第四章集合 1.N,表示自然数集,1,2,3……,不包括0; 2.基:集合A中不同元素的个数,|A|; 3.幂集:给定集合A,以集合A的所有子集为元素组成的集合,P(A); 4.若集合A有n个元素,幂集P(A)有n2个元素,|P(A)|=||2A=n2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 第五章关系 1.若集合A有m个元素,集合B有n个元素,则笛卡尔A×B的基 2种不同的关系; 数为mn,A到B上可以定义mn 2.若集合A有n个元素,则|A×A|=2n,A上有22n个不同的关系;

离散数学期末练习题-(带答案)

离散数学复习注意事项: 1、第一遍复习一定要认真按考试大纲要求将本学期所学习内容系统复习一遍。 2、第二遍复习按照考试大纲的要求对第一遍复习进行总结。把大纲中指定的例题及书后习题认真做一做。检验一下主要内容的掌握情况。 3、第三遍复习把随后发去的练习题认真做一做,检验一下第一遍与第二遍复习情况,要认真理解,注意做题思路与方法。 离散数学综合练习题 一、选择题 1.下列句子中,()是命题。 A.2是常数。B.这朵花多好看呀! C.请把门关上!D.下午有会吗? 2.令p: 今天下雪了,q:路滑,r:他迟到了。则命题“下雪路滑,他迟到了” 可符号化为()。 A. p q r ∨→ ∧→ B. p q r C. p q r ∨? ∧∧ D. p q r 3.令:p今天下雪了,:q路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为()。 A.p q ∧ ∧? B.p q C.p q →? ∨? D. p q 4.设() Q x:x会飞,命题“有的鸟不会飞”可符号化为()。 P x:x是鸟,() A. ()(()()) Q x ??∧()) x P x Q x ??→ B. ()(() x P x C. ()(()()) Q x ??∧()) x P x Q x ??→ D. ()(() x P x 5.设() L x y:x大于等于y;命题“所有整数 f x:x的绝对值,(,) P x:x是整数,() 的绝对值大于等于0”可符号化为()。 A. (()((),0)) ?→ x P x L f x ?∧B. (()((),0)) x P x L f x C. ()((),0) ?→ xP x L f x ?∧ D. ()((),0) xP x L f x 6.设() F x:x是人,() G x:x犯错误,命题“没有不犯错误的人”符号化为()。 A.(()()) ??→? x F x G x ?∧B.(()()) x F x G x C.(()()) ??∧? x F x G x ??∧D.(()()) x F x G x 7.下列命题公式不是永真式的是()。 A. () p q p →→ →→ B. () p q p C. () →∨ p q p p q p ?∨→ D. () 8.设() R x:x为有理数;() Q x:x为实数。命题“任何有理数都是实数”的符号化为()

离散数学谓词逻辑课后总结

第二章谓词逻辑 2—1基本概念 例题1. 所有的自然数都是整数。 设N(x):x是自然数。I(x):x是整数。此命题可以写成?x(N(x)→I(x)) 例题2. 有些自然数是偶数。 设E(x):x是偶数。此命题可以写成?x(N(x)∧E(x)) 例题3. 每个人都有一个生母。 设P(x):x是个人。M(x,y):y是x的生母。此命题可以写 成:?x(P(x)→?y(P(y)∧M(x,y))) 2-2 谓词公式及命题符号化 例题1. 如果x是奇数,则2x是偶数。 其中客体x与客体2x之间就有函数关系,可以设客体函数g(x)=2x, 谓词O(x):x是奇数,E(x):x是偶数, 则此命题可以表示为:?x(O(x)→E(g(x))) 例题2 小王的父亲是个医生。 设函数f(x)=x的父亲,谓词D(x):x是个医生,a:小王,此命题可以表示为D(f(a))。 例题3 如果x和y都是奇数,则x+y是偶数。 设h(x,y)=x+y ,此命题可以表示为:?x?y((O(x)∧O(y))→E(h(x,y)) 命题的符号表达式与论域有关系 两个公式:一般地,设论域为{a1,a2,....,an},则有 (1). ?xA(x)?A(a1)∧A(a2)∧......∧A(an) (2). ?xB(x)?B(a1)∨B(a2)∨......∨B(an) 1.每个自然数都是整数。该命题的真值是真的。 表达式?x(N(x)→I(x))在全总个体域的真值是真的, 因?x(N(x)→I(x))?(N(a1)→I(a1))∧(N(a2)→I(a2))∧…∧(N(an)→I(an)) 式中的x不论用自然数客体代入,还是用非自然数客体代入均为真。例如(N(0.1)→I(0.1))也为真。 而?x(N(x)∧I(x))在全总个体域却不是永真式。

东北大学离散数学复习总结(满分版)

方法、知识点总结(知识重点和考题重点) 前三章重点内容(知识重点): 1、蕴含(条件)“→”的真值 P→Q的真值为假,当且仅当P为真,Q为假。 2、重言(永真)蕴涵式证明方法 <1>假设前件为真,推出后件也为真。 <2>假设后件为假,推出前件也为假。 易错 3、等价公式和证明中运用

4、重要公式 重言蕴涵式:P∧Q => P or Q P or Q => p∨Q A->B =>(A∧or∨C)->(B∧or∨C) 其他是在此基础上演变 等价公式:幂等律P∧P=P P∨P=P 吸收律P∧(P∨Q)=P P∨(P∧Q)=P 同一律P∨F=P P∧T=P P∨T=T P∧F=F P <-> Q = (P->Q)∧(Q->P) = (P∧Q)∨(﹁P∧﹁Q) 5、范式的写法(最方便就是真值表法) 6、派遣人员、课表安排类算法: 第一步:列出所有条件,写成符号公式 第二步:用合取∧连接 第三步:求上一步中的析取范式即可 7、逻辑推理的写法 直接推理论证:其中I公式是指重言蕴涵式那部分 其中E公式是指等价公式部分 条件论证: 形如~ , ~, ~ => R->S

R P(附加条件) ... ... S T R->S CP 8、谓词基本内容 注意:任意用—> 连接 存在用∧连接 量词的否定公式 量词的辖域扩充公式

量词分配公式 其他公式 9、带量词的公式在论域内的展开 10、量词辖域的扩充公式 11、前束范式的写法 给定一个带有量词的谓词公式, 1)消去公式中的联接词→和←→(为了便于量词辖域的扩充); 2)如果量词前有“﹁ ”,则用量词否定公式﹁ ”后移。再用摩根定律或求公式的否定公式,将“﹁ ”后移到原子谓词公式之前; 3)用约束变元的改名规则或自由变元的代入规则对变元换名(为量词辖域扩充作准备); 4)用量词辖域扩充公式提取量词,使之成为前束范式形式。 简要概括:1、去-> ,<-> 2、移﹁ 3、换元 4、量词辖域扩充

离散数学第二章一阶逻辑知识点总结

数理逻辑部分 第2章一阶逻辑 2.1 一阶逻辑基本概念 个体词(个体): 所研究对象中可以独立存在的具体或抽象的客体个体常项:具体的事物,用a, b, c表示 个体变项:抽象的事物,用x, y, z表示 个体域: 个体变项的取值范围 有限个体域,如{a, b, c}, {1, 2} 无限个体域,如N, Z, R, … 全总个体域: 宇宙间一切事物组成 谓词: 表示个体词性质或相互之间关系的词 谓词常项:F(a):a是人 谓词变项:F(x):x具有性质F 一元谓词: 表示事物的性质 多元谓词(n元谓词, n≥2): 表示事物之间的关系 如L(x,y):x与y有关系L,L(x,y):x≥y,… 0元谓词: 不含个体变项的谓词, 即命题常项或命题变项 量词: 表示数量的词 全称量词?: 表示任意的, 所有的, 一切的等 如?x 表示对个体域中所有的x

存在量词?: 表示存在, 有的, 至少有一个等 如?x表示在个体域中存在x 一阶逻辑中命题符号化 例1 用0元谓词将命题符号化 要求:先将它们在命题逻辑中符号化,再在一阶逻辑中符号化(1) 墨西哥位于南美洲 在命题逻辑中, 设p:墨西哥位于南美洲 符号化为p, 这是真命题 在一阶逻辑中, 设a:墨西哥,F(x):x位于南美洲 符号化为F(a) 例2 在一阶逻辑中将下面命题符号化 (1)人都爱美; (2) 有人用左手写字 分别取(a) D为人类集合, (b) D为全总个体域 . 解:(a) (1) 设G(x):x爱美, 符号化为?x G(x) (2) 设G(x):x用左手写字, 符号化为?x G(x) (b) 设F(x):x为人,G(x):同(a)中

(完整word版)离散数学必备知识点总结.docx

总结离散数学知识点 第二章命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项 (m) 之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为 0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项 时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P,Q,R 的顺序依次写; 6.真值表中值为 1 的项为极小项,值为0 的项为极大项; 7.n 个变元共有2n个极小项或极大项,这2n为(0~ 2n -1)刚好为化简完 后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法 (=>) :真值表法;分析法 (假定前键为真推出后键 为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P 规则, T 规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 第三章谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n 个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取 ^;

3.既有存在又有全称量,先消存在量,再消全称量; 第四章集合 1.N ,表示自然数集, 1,2,3 ??,不包括 0; 2.基:集合 A 中不同元素的个数, |A|; 3.集:定集合 A,以集合 A 的所有子集元素成的集合,P(A) ; 4.若集合 A 有 n 个元素,集 P(A) 有2 n个元素, |P(A)|= 2| A| = 2 n; 5.集合的分划: (等价关系 ) ①每一个分划都是由集合 A 的几个子集构成的集合; ② 几个子集相交空,相并全(A); 6.集合的分划与覆盖的比: 分划:每个元素均出且出一次在子集中; 覆盖:只要求每个元素都出,没有要求只出一次; 第五章关系 1.若集合 A 有 m 个元素,集合 B 有 n 个元素,笛卡 A×B 的基数mn, A 到 B 上可以定2mn种不同的关系; 2.若集合 A 有 n 个元素, |A ×A|= n2,A 上有2n2个不同的关系; 3.全关系的性:自反性,称性,性; 空关系的性:反自反性,反称性,性;

离散数学课程总结

离散数学课程总结 姓名: 学号: 班级:级计科系软件工程()班 近年来,计算机科学与技术有了飞速发展,在生产与生活的各个领域都发挥着越来越重要的作用。离散数学是研究离散量的结构及其相互关系的数学学科,是现代数学的一个重要分支。它在各学科领域,特别在计算机科学与技术领域有着广泛的应用,同时离散数学也是计算机专业的许多专业课程。 一、课程总结 本书的主要内容有数理逻辑、集合论、代数结构、组合数学、图论以及初等数论六部分,而我们主要学习的有第一部分数理逻辑、第二部分集合论以及第五部分图论,第三部分代数结构也学习了一部分。第一部分:数理逻辑 数理逻辑是研究推理的数学分支,推理有一些列的陈述句组成。在数理逻辑中,主要学习了命题逻辑的基本概念、命题逻辑的等值演

算、命题逻辑的推理理论、一阶逻辑基本概念、一阶逻辑等值演算与推理。 1.在命题逻辑的基本概念中学习了命题的真值及真值表、命题与联 结词、命题及其分类、联结词与复合命题、命题公式及其赋值。2.在命题逻辑的等值演算中主要学习了等值式与基本的等值式模式、 等值演算与置换规则、析取范式与合取范式,极大值和极小值,主析取范式与主合取范式、联结词完备集。 3.在命题逻辑的推理理论中主要学习了推理的正确与错误、推理的 形式结构、判断推理正确的方法、推理定律;自然推理系统P、形式系统的定义与分类、自然推理系统P,在P中构造证明:直接证明法、附加前提证明法、归谬法。 4.在一阶逻辑基本概念中主要学习了一阶逻辑命题符号化、个体词、 谓词、量词、一阶逻辑公式及其解释、一阶语言、合式公式及合式公式的解释、永真式、矛盾式、可满足式。 5.在一阶逻辑等值演算与推理中主要学习了一阶逻辑等值式与基本 等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统N及其推理规则。 第二部分:集合论 在集合论中,主要学习了集合代数、二元关系和函数。 1.在集合代数中,学习了集合的基本概念:属于、包含、空集、元 集、幂集、全集;集合的基本运算:并、交、补相对、对称差等; 集合恒等式:集合运算的主要算律、恒等式的证明方法。

离散数学部分概念和公式总结

离散数学部分概念和公式总结 命题:称能判断真假的陈述句为命题。 命题公式:若在复合命题中,p、q、r等不仅可以代表命题常项,还可以代表命题变项,这样的复合命题形式称为命题公式。 命题的赋值:设A为一命题公式,p ,p ,…,p 为出现在A中的所有命题变项。给p ,p ,…,p 指定一组真值,称为对A的一个赋值或解释。若指定的一组值使A的值为真,则称成真赋值。真值表:含n(n≥1)个命题变项的命题公式,共有2^n组赋值。将命题公式A在所有赋值下的取值情况列成表,称为A的真值表。 命题公式的类型:(1)若A在它的各种赋值下均取值为真,则称A为重言式或永真式。 (2)若A在它的赋值下取值均为假,则称A为矛盾式或永假式。 (3)若A至少存在一组赋值是成真赋值,则A是可满足式。 主析取范式:设命题公式A中含n个命题变项,如果A得析取范式中的简单合取式全是极小项,则称该析取范式为A的主析取范式。 主合取范式:设命题公式A中含n个命题变项,如果A得析取范式中的简单合析式全是极大项,则称该析取范式为A的主析取范式。 命题的等值式:设A、B为两命题公式,若等价式A?B是重言式,则称A与B是等值的,记作A<=>B。 约束变元和自由变元:在合式公式?x A和?x A中,称x为指导变项,称A为相应量词的辖域,x称为约束变元,x的出现称为约束出现,A中其他出现称为自由出现(自由变元)。一阶逻辑等值式:设A,B是一阶逻辑中任意的两公式,若A?B为逻辑有效式,则称A与B是等值的,记作A<=>B,称A<=>B为等值式。 前束范式:设A为一谓词公式,若A具有如下形式Q1x1Q2x2Q k…x k B,称A为前束范式。集合的基本运算:并、交、差、相对补和对称差运算。 笛卡尔积:设A和B为集合,用A中元素为第一元素,用B中元素为第二元素构成有序对组成的集合称为A和B的笛卡尔积,记为A×B。 二元关系:如果一个集合R为空集或者它的元素都是有序对,则称集合R是一个二元关系。特殊关系:(1)、空关系:Φ(2)全域关系:EA={ | x∈A ∧y∈A }= A×A (3)恒等关系:IA={ | x∈A} (4)小于等于关系:LA={| x, y∈A∧x≤y∈A },A ? R (5)整除关系:R? ={| x,y∈ψ∧x ? y} ,ψ是集合族 二元关系的运算:设R是二元关系, (1)R中所有有序对的第一元素构成的集合称为R的定义域dom R = { x |?y(∈R)} (2)R中所有有序对的第二元素构成的集合称为R的值域ranR = {y |?x(∈R)} (3)R的定义域和值域的并集称为R的域fld R= dom R∪ran R 二元关系的性质:自反性,反自反性,对称性,反对称性,传递性。 等价关系:如果集合A上的二元关系R是自反的,对称的和传递的,那么称R是等价关系。设R是A上的等价关系,x , y是A的任意元素,记作x~y。 等价类:设R是A上的等价关系,对任意的?x∈A,令[x]R={ y| y∈A∧x R y },称[x]R 为x关于R的等价类。 偏序关系:设R是集合A上的二元关系,如果R是自反的,反对称的和传递的,那么称R 为A上的偏序,记作≤;称序偶< A ,R >为偏序集合。 函数的性质:设f: A→B, (1)若ran f = B,则称f 是满射(到上)的。

大学离散数学期末重点知识点总结(考试专用)

1.常用公式 p ∧(P →Q)=>Q 假言推论 ┐Q ∧(P →Q)=>┐P 拒取式 ┐p ∧(P ∨Q)=>Q 析取三段式 (P →Q) ∧(Q →R)=>P →R 条件三段式 (PQ) ∧(QR)=>PR 双条件三段式 (P →Q)∧(R →S)∧(P ∧R)=>Q →S 合取构造二难 (P →Q)∧(R →S)∧(P ∨R)=>Q ∨S 析取构造二难 (?x)((Ax)∨(Bx)) <=>( ?x)(Ax)∨(?x)(Bx) (?x)((Ax)∧(Bx)) <=>(?x)(Ax)∧(?x)(Bx) —┐(?x)(Ax) <=>(?x)┐(Ax) —┐(?x)(Ax) <=>(?x)┐(Ax) (?x)(A ∨(Bx)) <=>A ∨(?x)(Bx) (?x)(A ∧(Bx)) <=>A ∧(?x)(Bx) (?x)((Ax)→(Bx)) <=>(?x)(Ax)→(?x)(Bx) (?x)(Ax) →B <=>(?x) ((Ax)→B) (?x)(Ax) →B <=>(?x) ((Ax)→B) A →(?x)(Bx) <=>(?x) (A →(Bx)) A →(?x)(Bx) <=>(?x) (A →(Bx)) (?x)(Ax)∨(?x)(Bx) =>(?x)((Ax)∨(Bx)) (?x)((Ax)∧(Bx)) =>(?x)(Ax)∧(?x)(Bx) (?x)(Ax)→(?x)(Bx) =>(?x)((Ax)→(Bx)) 2.命题逻辑 1.→,前键为真,后键为假才为假;<—>,相同为真,不同为假; 2.主析取范式:极小项(m)之和;主合取范式:极大项(M)之积; 3.求极小项时,命题变元的肯定为1,否定为0,求极大项时相反; 4.求极大极小项时,每个变元或变元的否定只能出现一次,求极小项时变元不够合取真,求极大项时变元不够析取假; 5.求范式时,为保证编码不错,命题变元最好按P ,Q,R 的顺序依次写; 6.真值表中值为1的项为极小项,值为0的项为极大项; 7.n 个变元共有n 2个极小项或极大项,这n 2为(0~n 2-1)刚好为化简完后的主析取加主合取; 8.永真式没有主合取范式,永假式没有主析取范式; 9.推证蕴含式的方法(=>):真值表法;分析法(假定前键为真推出后键为真,假定前键为假推出后键也为假) 10.命题逻辑的推理演算方法:P 规则,T 规则 ①真值表法;②直接证法;③归谬法;④附加前提法; 3.谓词逻辑 1.一元谓词:谓词只有一个个体,一元谓词描述命题的性质; 多元谓词:谓词有n 个个体,多元谓词描述个体之间的关系; 2.全称量词用蕴含→,存在量词用合取^; 3.既有存在又有全称量词时,先消存在量词,再消全称量词; 4.集合 1.N ,表示自然数集,1,2,3……,不包括0; 2.基:集合A 中不同元素的个数,|A|; 3.幂集:给定集合A ,以集合A 的所有子集为元素组成的集合,P(A); 4.若集合A 有n 个元素,幂集P(A)有n 2个元素,|P(A)|=||2A =n 2; 5.集合的分划:(等价关系) ①每一个分划都是由集合A 的几个子集构成的集合; ②这几个子集相交为空,相并为全(A); 6.集合的分划与覆盖的比较: 分划:每个元素均应出现且仅出现一次在子集中; 覆盖:只要求每个元素都出现,没有要求只出现一次; 5.关系 1.若集合A 有m 个元素,集合B 有n 个元素,则笛卡尔A ×B 的基数为mn ,A 到B 上可以定义mn 2种不同的关系; 2.若集合A 有n 个元素,则|A ×A|=2n ,A 上有22n 个不同的关系; 3.全关系的性质:自反性,对称性,传递性; 空关系的性质:反自反性,反对称性,传递性; 全封闭环的性质:自反性,对称性,反对称性,传递性; 4.前域(domR):所有元素x 组成的集合; 后域(ranR):所有元素y 组成的集合; 5.自反闭包:r(R)=RU Ix ; 对称闭包:s(R)=RU 1-R ; 传递闭包:t(R)=RU 2R U 3R U …… 6.等价关系:集合A 上的二元关系R 满足自反性,对称性和传递性,则R 称为等价关系; 7.偏序关系:集合A 上的关系R 满足自反性,反对称性和传递性,则称R 是A 上的一个偏序关系; 8.covA={|x,y 属于A ,y 盖住x}; 9.极小元:集合A 中没有比它更小的元素(若存在可能不唯一); 极大元:集合A 中没有比它更大的元素(若存在可能不唯一); 最小元:比集合A 中任何其他元素都小(若存在就一定唯一); 最大元:比集合A 中任何其他元素都大(若存在就一定唯一); 10.前提:B 是A 的子集 上界:A 中的某个元素比B 中任意元素都大,称这个元素是B 的上界(若存在,可能不唯一); 下界:A 中的某个元素比B 中任意元素都小,称这个元素是B 的下界(若存在,可能不唯一); 上确界:最小的上界(若存在就一定唯一); 下确界:最大的下界(若存在就一定唯一); 6.函数 1.若|X|=m,|Y|=n,则从X 到Y 有mn 2种不同的关系,有m n 种不同的函数; 2.在一个有n 个元素的集合上,可以有2n2种不同的关系,有nn 种不同的函数,有n!种不同的双射; 3.若|X|=m,|Y|=n ,且m<=n ,则从X 到Y 有A m n 种不同的单射; 4.单射:f:X-Y ,对任意1x ,2x 属于X,且1x ≠2x ,若f(1x )≠f(2x ); 满射:f:X-Y ,对值域中任意一个元素y 在前域中都有一个或多个元素对应; 双射:f:X-Y ,若f 既是单射又是满射,则f 是双射; 5.复合函数:f og=g(f(x)); 5.设函数f:A-B ,g:B-C ,那么 ①如果f,g 都是单射,则f og 也是单射; ②如果f,g 都是满射,则f og 也是满射; ③如果f,g 都是双射,则f og 也是双射; ④如果f og 是双射,则f 是单射,g 是满射; 7.代数系统 1.二元运算:集合A 上的二元运算就是2A 到A 的映射; 2. 集合A 上可定义的二元运算个数就是从A ×A 到A 上的映射的个数,即从从A ×A 到A 上函数的个数,若|A|=2,则集合A 上的二元运算的个数为2*22=42=16种; 3. 判断二元运算的性质方法: ①封闭性:运算表内只有所给元素; ②交换律:主对角线两边元素对称相等; ③幂等律:主对角线上每个元素与所在行列表头元素相同; ④有幺元:元素所对应的行和列的元素依次与运算表的行和列相同; ⑤有零元:元素所对应的行和列的元素都与该元素相同; 4.同态映射:,,满足f(a*b)=f(a)^f(b),则f 为由的同态映射;若f 是双射,则称为同构; 8.群 广群的性质:封闭性; 半群的性质:封闭性,结合律; 含幺半群(独异点):封闭性,结合律,有幺元; 群的性质:封闭性,结合律,有幺元,有逆元; 2.群没有零元; 3.阿贝尔群(交换群):封闭性,结合律,有幺元,有逆元,交换律; 4.循环群中幺元不能是生成元; 5.任何一个循环群必定是阿贝尔群; 10.格与布尔代数 1.格:偏序集合A 中任意两个元素都有上、下确界; 2.格的基本性质: 1) 自反性a ≤a 对偶: a ≥a 2) 反对称性a ≤b ^ b ≥a => a=b 对偶:a ≥b ^ b ≤a => a=b 3) 传递性a ≤b ^ b ≤c => a ≤c 对偶:a ≥b ^ b ≥c => a ≥c 4) 最大下界描述之一a^b ≤a 对偶 avb ≥a A^b ≤b 对偶 avb ≥b 5)最大下界描述之二c ≤a,c ≤b => c ≤a^b 对偶c ≥a,c ≥b => c ≥avb 6) 结合律a^(b^c)=(a^b)^c 对偶 av(bvc)=(avb)vc 7) 等幂律a^a=a 对偶 ava=a 8) 吸收律a^(avb)=a 对偶 av(a^b)=a 9) a ≤b <=> a^b=a avb=b 10) a ≤c,b ≤d => a^b ≤c^d avb ≤cvd 11) 保序性b ≤c => a^b ≤a^c avb ≤avc 12) 分配不等式av(b^c)≤(avb)^(avc) 对偶 a^(bvc)≥(a^b)v(a^c) 13)模不等式a ≤c <=> av(b^c)≤(avb)^c 3.分配格:满足a^(bvc)=(a^b)v(a^c)和av(b^c)=(avb)^(avc); 4.分配格的充要条件:该格没有任何子格与钻石格或五环格同构; 5.链格一定是分配格,分配格必定是模格; 6.全上界:集合A 中的某个元素a 大于等于该集合中的任何元素,则称a 为格的全上界,记为1;(若存在则唯一) 全下界:集合A 中的某个元素b 小于等于该集合中的任何元素,则称b 为格的全下界,记为0;(若存在则唯一) 7.有界格:有全上界和全下界的格称为有界格,即有0和1的格; 8.补元:在有界格内,如果a^b=0,avb=1,则a 和b 互为补元; 9.有补格:在有界格内,每个元素都至少有一个补元; 10.有补分配格(布尔格):既是有补格,又是分配格; 布尔代数:一个有补分配格称为布尔代数; 11.图论 1.邻接:两点之间有边连接,则点与点邻接; 2.关联:两点之间有边连接,则这两点与边关联; 3.平凡图:只有一个孤立点构成的图; 4.简单图:不含平行边和环的图; 5.无向完全图:n 个节点任意两个节点之间都有边相连的简单无向图; 有向完全图:n 个节点任意两个节点之间都有边相连的简单有向图; 6.无向完全图有n(n-1)/2条边,有向完全图有n(n-1)条边; 7.r-正则图:每个节点度数均为r 的图; 8.握手定理:节点度数的总和等于边的两倍; 9.任何图中,度数为奇数的节点个数必定是偶数个; 10.任何有向图中,所有节点入度之和等于所有节点的出度之和; 11.每个节点的度数至少为2的图必定包含一条回路; 12.可达:对于图中的两个节点i v ,j v ,若存在连接i v 到j v 的路,则称i v 与j v 相互可达,也称i v 与j v 是连通的;在有向图中,若存在i v 到j v 的路,则称i v 到j v 可达; 13.强连通:有向图章任意两节点相互可达; 单向连通:图中两节点至少有一个方向可达; 弱连通:无向图的连通;(弱连通必定是单向连通) 14.点割集:删去图中的某些点后所得的子图不连通了,如果删去其他几个点后子图之间仍是连通的,则这些点组成的集合称为点割集; 割点:如果一个点构成点割集,即删去图中的一个点后所得子图是不连通的,则该点称为割点; 15.关联矩阵:M(G),mij 是vi 与ej 关联的次数,节点为行,边为列; 无向图:点与边无关系关联数为0,有关系为1,有环为2; 有向图:点与边无关系关联数为0,有关系起点为1终点为-1, 关联矩阵的特点: 无向图: ①行:每个节点关联的边,即节点的度; ②列:每条边关联的节点; 有向图: ③所有的入度(1)=所有的出度(0); 16.邻接矩阵:A(G),aij 是vi 邻接到vj 的边的数目,点为行,点为列; 17.可达矩阵:P(G),至少存在一条回路的矩阵,点为行,点为列; P(G)=A(G)+2A (G)+3A (G)+4A (G) 可达矩阵的特点:表明图中任意两节点之间是否至少存在一条路,以及在任何节点上是否存在回路; A(G)中所有数的和:表示图中路径长度为1的通路条数; 2A (G)中所有数的和:表示图中路径长度为2的通路条数; 3A (G)中所有数的和:表示图中路径长度为3的通路条数; 4A (G)中所有数的和:表示图中路径长度为4的通路条数; P(G)中主对角线所有数的和:表示图中的回路条数; 18.布尔矩阵:B(G),i v 到j v 有路为1,无路则为0,点为行,点为列; 19.代价矩阵:邻接矩阵元素为1的用权值表示,为0的用无穷大表示,节点自身到自身的权值为0; 20.生成树:只访问每个节点一次,经过的节点和边构成的子图; 21.构造生成树的两种方法:深度优先;广度优先; 深度优先: ①选定起始点0v ; ②选择一个与0v 邻接且未被访问过的节点1v ; ③从1v 出发按邻接方向继续访问,当遇到一个节点所有邻接点均已被访问时,回到该节点的前一个点,再寻求未被访问过的邻接点,直到所有节点都被访问过一次; 广度优先: ①选定起始点0v ; ②访问与0v 邻接的所有节点v1,v2,……,vk,这些作为第一层节点; ③在第一层节点中选定一个节点v1为起点; ④重复②③,直到所有节点都被访问过一次; 22.最小生成树:具有最小权值(T)的生成树; 23.构造最小生成树的三种方法: 克鲁斯卡尔方法;管梅谷算法;普利姆算法; (1)克鲁斯卡尔方法 ①将所有权值按从小到大排列; ②先画权值最小的边,然后去掉其边值;重新按小到大排序; ③再画权值最小的边,若最小的边有几条相同的,选择时要满足不能出现回路,然后去掉其边值;重新按小到大排序; ④重复③,直到所有节点都被访问过一次; (2)管梅谷算法(破圈法) ①在图中取一回路,去掉回路中最大权值的边得一子图; ②在子图中再取一回路,去掉回路中最大权值的边再得一子图; ③重复②,直到所有节点都被访问过一次; (3)普利姆算法 ①在图中任取一点为起点1v ,连接边值最小的邻接点v2; ②以邻接点v2为起点,找到v2邻接的最小边值,如果最小边值比v1邻接的所有边值都小(除已连接的边值),直接连接,否则退回1v ,连接1v 现在的最小边值(除已连接的边值); ③重复操作,直到所有节点都被访问过一次; 24.关键路径 例2 求PERT 图中各顶点的最早完成时间, 最晚完成时间, 缓冲时间及关键路径. 解:最早完成时间 TE(v1)=0 TE(v2)=max{0+1}=1 TE(v3)=max{0+2,1+0}=2 TE(v4)=max{0+3,2+2}=4 TE(v5)=max{1+3,4+4}=8 TE(v6)=max{2+4,8+1}=9 TE(v7)=max{1+4,2+4}=6 TE(v8)=max{9+1,6+6}=12 最晚完成时间 TL(v8)=12 TL(v7)=min{12-6}=6 TL(v6)=min{12-1}=11 TL(v5)=min{11-1}=10 TL(v4)=min{10-4}=6 TL(v3)=min{6-2,11-4,6-4}=2 TL(v2)=min{2-0,10-3,6-4}=2 TL(v1)=min{2-1,2-2,6-3}=0 缓冲时间 TS(v1)=0-0=0 TS(v2)=2-1=1 TS(v3)=2-2=0 TS(v4)=6-4=2 TS(v5=10-8=2 TS(v6)=11-9=2 TS(v7)=6-6=0 TS(v8)=12-12=0 关键路径: v1-v3-v7-v8 25.欧拉路:经过图中每条边一次且仅一次的通路; 欧拉回路:经过图中每条边一次且仅一次的回路; 欧拉图:具有欧拉回路的图; 单向欧拉路:经过有向图中每条边一次且仅一次的单向路; 欧拉单向回路:经过有向图中每条边一次且仅一次的单向回路; 26.(1)无向图中存在欧拉路的充要条件: ①连通图;②有0个或2个奇数度节点; (2)无向图中存在欧拉回路的充要条件: ①连通图;②所有节点度数均为偶数; (3)连通有向图含有单向欧拉路的充要条件: ①除两个节点外,每个节点入度=出度; ②这两个节点中,一个节点的入度比出度多1,另一个节点的入;度比出度少1; (4)连通有向图含有单向欧拉回路的充要条件: 图中每个节点的出度=入度; 27.哈密顿路:经过图中每个节点一次且仅一次的通路; 哈密顿回路:经过图中每个节点一次且仅一次的回路; 哈密顿图:具有哈密顿回路的图; 28.判定哈密顿图(没有充要条件) 必要条件: 任意去掉图中n 个节点及关联的边后,得到的分图数目小于等于n ; 充分条件: 图中每一对节点的度数之和都大于等于图中的总节点数; 29.哈密顿图的应用:安排圆桌会议; 方法:将每一个人看做一个节点,将每个人与和他能交流的人连接,找到一条经过每个节点一次且仅一次的回路(哈密顿图),即可; 30.平面图:将图形的交叉边进行改造后,不会出现边的交叉,则是平面图; 31.面次:面的边界回路长度称为该面的次; 32.一个有限平面图,面的次数之和等于其边数的两倍; 33.欧拉定理:假设一个连通平面图有v 个节点,e 条边,r 个面,则 v-e+r=2; 34.判断是平面图的必要条件:(若不满足,就一定不是平面图) 设图G 是v 个节点,e 条边的简单连通平面图,若v>=3,则e<=3v-6; 35.同胚:对于两个图G1,G2,如果它们是同构的,或者通过反复插入和除去2度节点可以变成同构的图,则称G1,G2是同胚的; 36.判断G 是平面图的充要条件: 图G 不含同胚于K3.3或K5的子图; 37.二部图:①无向图的节点集合可以划分为两个子集V1,V2; ②图中每条边的一个端点在V1,另一个则在V2中; 完全二部图:二部图中V1的每个节点都与V2的每个节点邻接; 判定无向图G 为二部图的充要条件: 图中每条回路经过边的条数均为偶数; 38.树:具有n 个顶点n-1条边的无回路连通无向图; 39.节点的层数:从树根到该节点经过的边的条数; 40.树高:层数最大的顶点的层数; 41.二叉树: ①二叉树额基本结构状态有5种; ②二叉树内节点的度数只考虑出度,不考虑入度; ③二叉树内树叶的节点度数为0,而树内树叶节点度数为1; ④二叉树内节点的度数=边的总数(只算出度);握手定理“节点数=边的两倍”是在同时计算入度和出度的时成立; ⑤二叉树内节点的总数=边的总数+1; ⑥位于二叉树第k 层上的节点,最多有12-k 个(k>=1); ⑦深度为k 的二叉树的节点总数最多为k 2-1个,最少k 个(k>=1); ⑧如果有0n 个叶子,n2个2度节点,则0n =n2+1; 42.二叉树的节点遍历方法: 先根顺序(DLR ); 中根顺序(LDR ); 后根顺序(LRD ); 43.哈夫曼树:用哈夫曼算法构造的最优二叉树; 44.最优二叉树的构造方法: ①将给定的权值按从小到大排序; ②取两个最小值分支点的左右子树(左小右大),去掉已选的这两个权值,并将这两个最小值加起来作为下一轮排序的权值; ③重复②,直达所有权值构造完毕; 45.哈夫曼编码:在最优二叉树上,按照左0右1的规则,用0和1代替所有边的权值; 每个节点的编码:从根到该节点经过的0和1组成的一排编码;

东大20春学期《离散数学X》在线平时作业2【标准答案】

20春学期《离散数学X》在线平时作业2 试卷总分:100 得分:100 一、单选题 (共 10 道试题,共 40 分) 1.单选填空题。E是全集,E={a,b},E的幂集P(E)上的交运算Ç的有逆元的元素是()。 A.不存在。 B.{b}; C.{a} ; D.{a,b}; E.Φ; 答案:D 2.{图} A.{图} B.{图} C.{图} D.{图} 答案:B 3.下面是 "xC(x), $x(A(x)ÚB(x)), "x(B(x)?ØC(x)) Þ $xA(x) 的谓词推理过程。在这个过程中每一步中的()处是此步所用的推理规则。请写出这些推理规则。 ⑴ $x(A(x)ÚB(x)), ( ) ⑵ A(a)ÚB(a) ( ) ⑴ ⑶ "xC(x) ( ) ⑷ C(a) ( ) ⑶ ⑸ "x(B(x)→ØC(x)) ( ) ⑹ B(a)→ØC(a) ( ) ⑸ ⑺ ØB(a) ( ) ⑷⑹ I12 ⑻ A(a) ( ) ⑵⑺ I10 ⑼ $xA(x)) ( ) ⑻ A.⑴ P;⑵ US;⑶ T;⑷ UG;⑸ P;⑹ UG;⑺ P;⑻ T;⑼ UG。 B.⑴ P;⑵ T;⑶ T;⑷ UG;⑸ P;⑹ US;⑺ P;⑻ T;⑼ ES。 C.⑴ P;⑵ ES;⑶ P;⑷ US;⑸ P;⑹ US;⑺ T;⑻ T;⑼ EG。 D.⑴ P;⑵ EG;⑶ T;⑷ UG;⑸ P;⑹ UG;⑺ P;⑻ T;⑼ EG。 答案:C 4.{图} A.{图} B.{图} C.{图} D.{图} 答案:D

完整word版,离散数学知识汇总,推荐文档

离散数学笔记 第一章命题逻辑 合取 析取 定义 1. 1.3否定:当某个命题为真时,其否定为假,当某个命题为假时,其否定为真定义 1. 1.4条件联结词,表示“如果……那么……”形式的语句 定义 1. 1.5双条件联结词,表示“当且仅当”形式的语句 定义 1.2.1合式公式 (1)单个命题变元、命题常元为合式公式,称为原子公式。 (2)若某个字符串A 是合式公式,则?A、(A)也是合式公式。 (3)若A、B 是合式公式,则A ∧B、A∨B、A→B、A?B 是合式公式。 (4)有限次使用(2)~(3)形成的字符串均为合式公式。 1.3等值式 1.4析取范式与合取范式

将一个普通公式转换为范式的基本步骤

1.6推理 定义 1.6.1 设 A 与 C 是两个命题公式, 若 A → C 为永真式、 重言式,则称 C 是 A 的有 效结论,或称 A 可以逻辑推出 C ,记为 A => C 。(用等值演算或真值表) 第二章 谓词逻辑 2.1、基本概念 ?:全称量词 ?:存在量词 一般情况下, 如果个体变元的取值范围不做任何限制即为全总个体域时, 带 “全称量词”的谓词公式形如"?x(H(x)→B(x)),即量词的后面为条件式,带“存在量词”的谓词公式形如?x(H(x)∨WL(x)),即量词的后面为合取式 例题 R(x)表示对象 x 是兔子,T(x)表示对象 x 是乌龟, H(x,y)表示 x 比 y 跑得快,L(x,y)表示x 与 y 一样快,则兔子比乌龟跑得快表示为: ?x ?y(R(x)∧T(y)→H(x,y)) 有的兔子比所有的乌龟跑得快表示为:?x ?y(R(x)∧T(y)→H(x,y)) 2.2、谓词公式及其解释 定义 2.2.1、 非逻辑符号: 个体常元(如 a,b,c)、 函数常元(如表示22 y x 的 f(x,y))、 谓词常元(如表示人 类的 H(x))。 定义 2.2.2、逻辑符号:个体变元、量词(??)、联结词(﹁∨∧→?)、逗号、括号。 定义 2.2.3、项的定义:个体常元、变元及其函数式的表达式称为项(item)。 定义 2.2.4、原子公式:设 R(n x x ... 1)是 n 元谓词,n t t ...1是项,则 R(t)是原子公式。原子公式中的个体变元,可以换成个体变元的表达式(项),但不能出现任何联结词与量词,只能为单个的谓词公式。 定义 2.2.5 合式公式:(1)原子公式是合式公式;(2)若 A 是合式公式,则(﹁A)也是合式公式;(3)若 A,B 合式,则 A ∨B, A ∧B, A →B , A ?B 合式(4)若 A 合式,则?xA 、?xA 合式(5)有限次使用(2)~(4)得到的式子是合式。 定义 2.2.6 量词辖域:?xA 和?xA 中的量词?x/?x 的作用范围,A 就是作用范围。 定义 2.2.7 约束变元:在?x 和?x 的辖域 A 中出现的个体变元 x ,称为约束变元,这是与量词相关的变元,约束变元的所有出现都称为约束出现。 定义 2.2.8 自由变元:谓词公式中与任何量词都无关的量词,称为自由变元,它的每次出现称为自由出现。一个公式的个体变元不是约束变元,就是自由变元。 注意:为了避免约束变元和自由变元同名出现,一般要对“约束变元”改名,而不对自由变元改名。 定义 2.2.9 闭公式是指不含自由变元的谓词公式

相关文档
最新文档