东北农业大学(2014版)离散数学网上作业题及答案.docVIP

PAGE

PAGE1

东北农业大学网络教育学院

离散数学复习题

复习题一

一、证明

1、对任意两个集合，证明

答：证明：

2、构造下面命题推理的证明

如果今天是星期三，那么我有一次英语或数学测验；如果数学老师有事，那么没有数学测验；今天是星期三且数学老师有事，所以我有一次英语测验。

答：符号化为：

证明：(1)P

(2)T(1)I

(3)T(1)I

(4)P

(5)T(2)(4)I

(6)P

(7)T(3)(6)I

(8)T(5)(7)I

二、计算

1、(1)画一个有一条欧拉回路和一条汉密顿回路的图。

(2)画一个有一条欧拉回路但没有汉密顿回路的图

(3)画一个没有欧拉回路但有一条汉密顿回路的图

答：三种图如下：

2、设，求公式：

的真值。

答：

一棵树有个结点度数为2，个结点度数为3，…，个结点度数为k，问它有几个度数为1的结点。

答：设它有个度数为1的结点，则：

1*＋2*＋3*＋…＋k*=2*（+++…+-1）

得：=＋2*＋…＋(k-2)*+2

4、设集合上的关系，求出它的自反闭包，对称闭包和传递闭包。

答：

三、设上的整除关系，

是否为上的偏序关系？若是，

则：1、画出的哈斯图；

答：是上的偏序关系。

的哈斯图：

求。

答：。

四、用推导法求公式的主析取范式和主合取范式。

答：

五、设实数集上的关系，

证明：是上的等价关系。

答：证明：

因此是自反的

因此是对称的

因此是传递的。综上：是上的等价关系。

六、设分别是实数集和正实数集，＋和×分别是普通加法和乘法，定义函数为，证明的同构映射。

答：证明：

因此。

，所以的同构映射。

七、设是实数集合，，在上定义二元运算为：，试证明是一个群。是否阿贝尔群？

答：证明：

因此，运算是封闭的

综上：是一个群。

不是阿贝尔群。

复习题二

一、设上的整除关系

完成下列各小题。

证明是上的偏序关系。

答：证明。

综上，是上的偏序关系。

画出偏序集的哈斯图。

答：偏序集的哈斯图如右图所示。

在上定义两个二元运算和：对任意，，。请填空（在横线上填是或不是）：

=1\*GB3①代数系统是格。=2\*GB3②代数系统是有界格。

=3\*GB3③代数系统是有补格。=4\*GB3④代数系统不是分配格。

二、求布尔函数的析取范式和合取范式

设是布尔代数上的一个布尔表达式。试写出的析取范式和合取范式（用推导法或列函数表的方法均可）。

答：方法1推导法

析取范式为：

合取范式为：

方法2列函数表法

布尔表达式对应的函数表为：

0,0,0

0,0,1

0,1,0

0,1,1

1,0,0

1,0,1

1,1,0

1,1,1

0

1

0

1

0

1

1

1

析取范式为：

合取范式为：

三、画出满足下列要求的图

=1\*GB3①有一条欧拉回路和一条汉密尔顿回路。

=2\*GB3②有一条欧拉回路但没有汉密尔顿回路。

=3\*GB3③没有欧拉回路但有汉密尔顿回路。

=4\*GB3④既没有欧拉回路也没有汉密尔顿回路。

四、证明在完全二叉树中，边的总数等于2(n-1)，这里n是叶子数。

答：证明设分枝点数为i。因为在完全m叉树中，有(m-1)i=n-1，所以，当m=2时有i=n-1。又因为在完全二叉树中，每个分枝点射出两条边，所以边的总数是2i，即边的总数是2(n-1)。

五、计算

求带权2、3、5、7、11、13的最优二叉树。

答：解23571113所求最优二叉树为

5571113

1071113

171113

1724

41

六、证明

在一个连通平面图中，若它有n个结点，m条边，且每个面由k条边围成。

试证

答：在一个连通平面图中，若它有n个结点，m条边，且每个面由k条边围成。

试证

证明设此平面图有r个面。

又

，从而有。将其代入欧拉公式

得整理得

七、证明

设是有限字母表，给定代数系统，其中是串的连接运算。对于任一串，建立到的映射，。证明是到的一个满同态，且当时，是同构映射。

答：证明