河南大学计算机与信息工程学院 2013~2014 学年第一学期期末考试#
《 离散数学 》试卷(B 卷)参考答案及解析#
考试方式: 闭卷
考试时间: 120 分钟
卷面总分: 100 分
适用专业: 计算机科学与技术 / 软件工程 / 网络工程 / 人工智能
一、 单项选择题(本题共 15 小题,每小题 2 分,共 30 分)#
1. 下列语句是真命题的有______。 [ A ]
- A. 2 是素数。
- B. x+5>6。
- C. 地球外的星球上也有人。
- D. 这朵花多好看呀!
2. 设 B 不含有 x,∃x(A(x)→B) 等值于______。 [ C ]
- A. ∃xA(x)→B
- B. ∃x(A(x)∨B)
- C. ∀xA(x)→B
- D. ∃x(A(x)∧B)
3. 令 p:今天下雪了,q:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为______。 [ A ]
- A. p∧¬q
- B. p∨¬q
- C. p∧q
- D. p→¬q
4. 设 S={…,{1},{1,2}},则有______ ⊆S。 [ B ]
- A. {1,2}
- B. {{1,2}}
- C. {1}
- D. {2}
5. 设函数 f:Z+→R,f(x)=lnx (其中 Z+ 为正整数集,R 为实数集),则下面四个命题为真的是______。 [ A ]
- A. f 是单射
- B. f 是满射
- C. f 是双射的
- D. f 非单射非满射
6. 集合 A={1,2,3,4},则对 A 的元素进行划分正确的是______。 [ C ]
- A. {∅,{1,2},{3,4}}
- B. {{1,2,3},{3,4}}
- C. {{1,2,3,4}}
- D. {{1},{3,4}}
7. 设 A={1,2,3},则 A 上有______个二元关系。 [ D ]
- A. 23
- B. 32
- C. 223
- D. 232
8. 设 S={1,21,2,31,3,41,4},∗ 为普通乘法,则 ⟨S,∗⟩ 是______。 [ D ]
- A. 代数系统
- B. 半群
- C. 群
- D. 都不是
9. 下面偏序集中的图______能构成格。 [ B ]
图1
- A. 图 A
- B. 图 B
- C. 图 C
- D. 图 D
10. 设 F={1,2},则群 ⟨P(F),∩⟩ 的单位元和零元是______。 [ B ]
- A. ∅ 与 F
- B. F 与 ∅
- C. {1} 与 ∅
- D. {1} 与 F
11. 设 ⟨A,+,⋅⟩ 是代数系统,其中 +, ⋅ 为普通加法和乘法,则 A=______ 时,⟨A,+,⋅⟩ 是整环。 [ D ]
- A. {x∣x=2n,n∈Z}
- B. {x∣x=2n+1,n∈Z}
- C. {x∣x≥0 且 x∈Z}
- D. {x∣x=a+b5,a,b∈R}
12. 下面四组数能构成无向简单图的度数列的有______。 [ B ]
- A. (1, 1, 2, 2, 3)
- B. (2, 2, 2, 2, 2)
- C. (1, 1, 2, 2, 2)
- D. (0, 1, 3, 3, 3)
13. 下列编码是前缀码的是______。 [ C ]
- A. {1,11,101}
- B. {1,001,0011}
- C. {1,01,001,000}
- D. {0,00,000}
14. 一颗二叉树后序遍历的结果是 bdeca,中序遍历的结果是 badce,则根结点的右子树有______个结点。 [ B ]
15. 设无向树 T 有 3 个 3 度和 2 个 2 度顶点,其余顶点都是树叶,则 T 有______片树叶。 [ C ]
二、 填空题(本题共 10 空,每空 2 分,共 20 分)#
1. 设 A,B 是集合,∣A∣=3,∣B∣=4,∣A∩B∣=2,那么 ∣A∪B∣=______ 5 。
2. 设集合 A={x∣x=n109∧x∈N},N 为自然数集,则 A 的基数为______ ℵ0 。
3. 设 A={1,2,3},A 上的二元关系 R={⟨1,2⟩,⟨2,1⟩,⟨2,3⟩},则 R 的对称闭包是______ {⟨1,2⟩,⟨2,1⟩,⟨2,3⟩,⟨3,2⟩} 。
4. 设关系 R={⟨1,3⟩,⟨4,2⟩,⟨2,1⟩},则 R−1=______ {⟨3,1⟩,⟨2,4⟩,⟨1,2⟩} 。
5. 设 G=⟨a⟩ 是 12 阶循环群,则 G 的所有生成元个数有______ 4 个。
6. 设 Z 为整数集,∀a,b∈Z,a∘b=a+b−1,则任意 a∈Z 的逆元 a−1=______ 2−a 。
7. 设 G=⟨a⟩ 为 15 阶循环群,则 G 的 3 阶子群是______ ⟨a5⟩ 或 {e,a5,a10} 。
8. 已知 n 阶无向简单图 G 有 m 条边,则 G 的补图有______ 2n(n−1)−m 条边。
9. n(n≥3) 阶无向树 T 中,1≤Δ(T)≤______ n−1 。
10. 所有非同构的 4 阶根树有______ 4 棵。
三、 计算题(本题共 4 小题,每小题 10 分,共 40 分)#
1. 给定解释 I:D={2,3},其上二元谓词 L(x,y) 满足 L(2,2)=0,L(3,3)=1,L(2,3)=1,L(3,2)=0。求谓词合式公式 ∃y∀xL(x,y) 的真值。
【参考答案】
在解释 I 下,展开公式的演算过程如下:
⇔⇔⇔⇔⇔∃y∀xL(x,y)∃y(L(2,y)∧L(3,y))(L(2,2)∧L(3,2))∨(L(2,3)∧L(3,3))(0∧0)∨(1∧1)0∨11故公式 ∃y∀xL(x,y) 在解释 I 下的真值为 1 (真)。
2. 已知 R,S 是 N 上的关系,其定义如下:R={⟨x,y⟩∣x,y∈N∧y=x2},S={⟨x,y⟩∣x,y∈N∧y=x+1}。求 R−1,R∘S,S∘R,R↾{1,2},S[{1,2}]。
【参考答案】
- R−1 = {⟨y,x⟩∣x,y∈N∧y=x2}
- R∘S = {⟨x,y⟩∣x,y∈N∧y=x2+1}
- S∘R = {⟨x,y⟩∣x,y∈N∧y=(x+1)2}
- R↾{1,2} = {⟨1,1⟩,⟨2,4⟩}
- S[{1,2}] = {2,3}
3. 设 A={1,2},A 上所有函数的集合记为 AA,∘ 是函数的复合运算,试给出 AA 上运算 ∘ 的运算表,并指出 AA 中是否有幺元,哪些元素有逆元。
【参考答案】
因为 ∣A∣=2,所以 AA 上共有 22=4 个不同的函数。令 AA={f1,f2,f3,f4},其中:
- f1=(1122),即 f1(1)=1,f1(2)=2(恒等函数)
- f2=(1121),即 f2(1)=1,f2(2)=1
- f3=(1222),即 f3(1)=2,f3(2)=2
- f4=(1221),即 f4(1)=2,f4(2)=1
AA 上运算 ∘ 的运算表如下:
| ∘ | f1 | f2 | f3 | f4 |
|---|
| f1 | f1 | f2 | f3 | f4 |
| f2 | f2 | f2 | f2 | f2 |
| f3 | f3 | f3 | f3 | f3 |
| f4 | f4 | f3 | f2 | f1 |
幺元及逆元分析:
- f1 是 AA 中的幺元;
- 有逆元的元素为 f1,f4(它们的逆元分别是自身,即 f1−1=f1,f4−1=f4)。
4. 如下图所示的赋权图表示某七个城市 v1,v2,…,v7 及预先算出它们之间的一些直接通信线路造价,试给出一个设计方案,使得各城市之间能够通信而且总造价最小。
【参考答案】
本题为求无向赋权图的最小生成树问题,可以使用 Kruskal 算法或 Prim 算法求解。
以 Kruskal 算法为例:
- 按权值从小到大排列所有边:(v1,v7):1,(v3,v4):3,(v2,v7):4,(v3,v7):9,(v2,v3):15,(v4,v7):16,(v4,v5):17,(v1,v2):20,(v1,v6):23,(v5,v7):25,(v5,v6):28,(v6,v7):36。
- 依次选择不形成回路的最小权边加入生成树中:
- 选 (v1,v7),权为 1;
- 选 (v3,v4),权为 3;
- 选 (v2,v7),权为 4;
- 选 (v3,v7),权为 9;
- 选 (v4,v5),权为 17;(此时 v1,v2,v3,v4,v5,v7 连通,剩余 (v3,v4),(v4,v7) 等若加入会形成回路,舍去)
- 选 (v1,v6),权为 23;(使 v6 加入连通分支,算法结束)
所求得的最小生成树方案如下图所示:
最小生成树总权值(总造价)为:
W(T)=23+1+4+9+3+17=57答:最低通信线路总造价设计方案如上图,总造价为 57 万元。
四、 证明题(本题共 1 小题,共 10 分)#
1. 在自然推理系统中,构造下面推理 of 证明:
前提:∀x(F(x)→G(x)),∃x(F(x)∧H(x))
结论:∃x(G(x)∧H(x))
【参考答案】
证明:
构造证明过程如下:
- ① ∃x(F(x)∧H(x)) —— 前提引入
- ② F(c)∧H(c) —— ①, EI 规则
- ③ ∀x(F(x)→G(x)) —— 前提引入
- ④ F(c)→G(c) —— ③, UI 规则
- ⑤ F(c) —— ②, 化简律
- ⑥ G(c) —— ④, ⑤, 假言推理
- ⑦ H(c) —— ②, 化简律
- ⑧ G(c)∧H(c) —— ⑥, ⑦, 合取
- ⑨ ∃x(G(x)∧H(x)) —— ⑧, EG 规则
证毕。