视频加载失败

课程

7381 字
约 22 分钟

河南大学计算机与信息工程学院 2013~2014 学年第一学期期末考试

离散数学exams·更新于 2026-09-15

河南大学计算机与信息工程学院 2013~2014 学年第一学期期末考试

《 离散数学 》试卷(B 卷)参考答案及解析

考试方式: 闭卷 考试时间: 120 分钟 卷面总分: 100 分 适用专业: 计算机科学与技术 / 软件工程 / 网络工程 / 人工智能


一、 单项选择题(本题共 15 小题,每小题 2 分,共 30 分)

1. 下列语句是真命题的有______。 [ A ]

  • A. 2 是素数。
  • B. x+5>6x+5 > 6
  • C. 地球外的星球上也有人。
  • D. 这朵花多好看呀!

2. 设 BB 不含有 xxx(A(x)B)\exists x(A(x) \to B) 等值于______。 [ C ]

  • A. xA(x)B\exists x A(x) \to B
  • B. x(A(x)B)\exists x(A(x) \vee B)
  • C. xA(x)B\forall x A(x) \to B
  • D. x(A(x)B)\exists x(A(x) \wedge B)

3. 令 pp:今天下雪了,qq:路滑,则命题“虽然今天下雪了,但是路不滑”可符号化为______。 [ A ]

  • A. p¬qp \wedge \neg q
  • B. p¬qp \vee \neg q
  • C. pqp \wedge q
  • D. p¬qp \to \neg q

4. 设 S={,{1},{1,2}}S = \{\dots, \{1\}, \{1, 2\}\},则有______ S\subseteq S [ B ]

  • A. {1,2}\{1, 2\}
  • B. {{1,2}}\{\{1, 2\}\}
  • C. {1}\{1\}
  • D. {2}\{2\}

5. 设函数 f:Z+R,f(x)=lnxf: \mathbf{Z}^+ \to \mathbf{R}, f(x) = \ln x (其中 Z+\mathbf{Z}^+ 为正整数集,R\mathbf{R} 为实数集),则下面四个命题为真的是______。 [ A ]

  • A. ff 是单射
  • B. ff 是满射
  • C. ff 是双射的
  • D. ff 非单射非满射

6. 集合 A={1,2,3,4}A=\{1, 2, 3, 4\},则对 AA 的元素进行划分正确的是______。 [ C ]

  • A. {,{1,2},{3,4}}\{\emptyset, \{1, 2\}, \{3, 4\}\}
  • B. {{1,2,3},{3,4}}\{\{1, 2, 3\}, \{3, 4\}\}
  • C. {{1,2,3,4}}\{\{1, 2, 3, 4\}\}
  • D. {{1},{3,4}}\{\{1\}, \{3, 4\}\}

7. 设 A={1,2,3}A=\{1, 2, 3\},则 AA 上有______个二元关系。 [ D ]

  • A. 232^3
  • B. 323^2
  • C. 2232^{2^3}
  • D. 2322^{3^2}

8. 设 S={1,12,2,13,3,14,4}S = \{1, \frac{1}{2}, 2, \frac{1}{3}, 3, \frac{1}{4}, 4\}* 为普通乘法,则 S,\langle S, * \rangle 是______。 [ D ]

  • A. 代数系统
  • B. 半群
  • C. 群
  • D. 都不是

9. 下面偏序集中的图______能构成格。 [ B ]

偏序集选项

图1

  • A. 图 A
  • B. 图 B
  • C. 图 C
  • D. 图 D

10. 设 F={1,2}F=\{1, 2\},则群 P(F),\langle P(F), \cap \rangle 的单位元和零元是______。 [ B ]

  • A. \emptysetFF
  • B. FF\emptyset
  • C. {1}\{1\}\emptyset
  • D. {1}\{1\}FF

11. 设 A,+,\langle A, +, \cdot \rangle 是代数系统,其中 ++, \cdot 为普通加法和乘法,则 A=A =______ 时,A,+,\langle A, +, \cdot \rangle 是整环。 [ D ]

  • A. {xx=2n,nZ}\{x \mid x = 2n, n \in \mathbf{Z}\}
  • B. {xx=2n+1,nZ}\{x \mid x = 2n + 1, n \in \mathbf{Z}\}
  • C. {xx0 且 xZ}\{x \mid x \ge 0 \text{ 且 } x \in \mathbf{Z}\}
  • D. {xx=a+b5,a,bR}\{x \mid x = a + b\sqrt{5}, a, b \in \mathbf{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}\{1, 11, 101\}
  • B. {1,001,0011}\{1, 001, 0011\}
  • C. {1,01,001,000}\{1, 01, 001, 000\}
  • D. {0,00,000}\{0, 00, 000\}

14. 一颗二叉树后序遍历的结果是 bdeca,中序遍历的结果是 badce,则根结点的右子树有______个结点。 [ B ]

  • A. 3
  • B. 4
  • C. 5
  • D. 6

15. 设无向树 TT 有 3 个 3 度和 2 个 2 度顶点,其余顶点都是树叶,则 TT 有______片树叶。 [ C ]

  • A. 3
  • B. 4
  • C. 5
  • D. 6

二、 填空题(本题共 10 空,每空 2 分,共 20 分)

1. 设 A,BA, B 是集合,A=3,B=4,AB=2|A| = 3, |B| = 4, |A \cap B| = 2,那么 AB=|A \cup B| = ______ 55

2. 设集合 A={xx=n109xN}A = \{x \mid x = n^{109} \wedge x \in \mathbf{N}\}N\mathbf{N} 为自然数集,则 AA 的基数为______ 0\aleph_0

3. 设 A={1,2,3}A=\{1, 2, 3\}AA 上的二元关系 R={1,2,2,1,2,3}R = \{\langle 1,2 \rangle, \langle 2,1 \rangle, \langle 2,3 \rangle\},则 RR 的对称闭包是______ {1,2,2,1,2,3,3,2}\{\langle 1,2 \rangle, \langle 2,1 \rangle, \langle 2,3 \rangle, \langle 3,2 \rangle\}

4. 设关系 R={1,3,4,2,2,1}R = \{\langle 1,3 \rangle, \langle 4,2 \rangle, \langle 2,1 \rangle\},则 R1=R^{-1} = ______ {3,1,2,4,1,2}\{\langle 3,1 \rangle, \langle 2,4 \rangle, \langle 1,2 \rangle\}

5. 设 G=aG = \langle a \rangle 是 12 阶循环群,则 GG 的所有生成元个数有______ 44 个。

6. 设 Z\mathbf{Z} 为整数集,a,bZ\forall a, b \in \mathbf{Z}ab=a+b1a \circ b = a + b - 1,则任意 aZa \in \mathbf{Z} 的逆元 a1=a^{-1} = ______ 2a2 - a

7. 设 G=aG = \langle a \rangle 为 15 阶循环群,则 GG 的 3 阶子群是______ a5\langle a^5 \rangle{e,a5,a10}\{e, a^5, a^{10}\}

8. 已知 nn 阶无向简单图 GGmm 条边,则 GG 的补图有______ n(n1)2m\frac{n(n-1)}{2} - m 条边。

9. n(n3)n (n \ge 3) 阶无向树 TT 中,1Δ(T)1 \le \Delta(T) \le ______ n1n - 1

10. 所有非同构的 4 阶根树有______ 44 棵。


三、 计算题(本题共 4 小题,每小题 10 分,共 40 分)

1. 给定解释 IID={2,3}D = \{2, 3\},其上二元谓词 L(x,y)L(x, y) 满足 L(2,2)=0,L(3,3)=1,L(2,3)=1,L(3,2)=0L(2, 2) = 0, L(3, 3) = 1, L(2, 3) = 1, L(3, 2) = 0。求谓词合式公式 yxL(x,y)\exists y \forall x L(x, y) 的真值。

【参考答案】 在解释 II 下,展开公式的演算过程如下:

yxL(x,y)y(L(2,y)L(3,y))(L(2,2)L(3,2))(L(2,3)L(3,3))(00)(11)011\begin{aligned} & \exists y \forall x L(x, y) \\ \Leftrightarrow & \exists y (L(2, y) \wedge L(3, y)) \\ \Leftrightarrow & (L(2, 2) \wedge L(3, 2)) \vee (L(2, 3) \wedge L(3, 3)) \\ \Leftrightarrow & (0 \wedge 0) \vee (1 \wedge 1) \\ \Leftrightarrow & 0 \vee 1 \\ \Leftrightarrow & 1 \end{aligned}

故公式 yxL(x,y)\exists y \forall x L(x, y) 在解释 II 下的真值为 11 (真)

2. 已知 R,SR, SN\mathbf{N} 上的关系,其定义如下:R={x,yx,yNy=x2}R = \{\langle x, y \rangle \mid x, y \in \mathbf{N} \wedge y = x^2\}S={x,yx,yNy=x+1}S = \{\langle x, y \rangle \mid x, y \in \mathbf{N} \wedge y = x+1\}。求 R1R^{-1}RSR \circ SSRS \circ RR{1,2}R \upharpoonright \{1, 2\}S[{1,2}]S[\{1, 2\}]

【参考答案】

  • R1R^{-1} = {y,xx,yNy=x2}\{\langle y, x \rangle \mid x, y \in \mathbf{N} \wedge y = x^2\}
  • RSR \circ S = {x,yx,yNy=x2+1}\{\langle x, y \rangle \mid x, y \in \mathbf{N} \wedge y = x^2 + 1\}
  • SRS \circ R = {x,yx,yNy=(x+1)2}\{\langle x, y \rangle \mid x, y \in \mathbf{N} \wedge y = (x + 1)^2\}
  • R{1,2}R \upharpoonright \{1, 2\} = {1,1,2,4}\{\langle 1, 1 \rangle, \langle 2, 4 \rangle\}
  • S[{1,2}]S[\{1, 2\}] = {2,3}\{2, 3\}

3. 设 A={1,2}A = \{1, 2\}AA 上所有函数的集合记为 AAA^A\circ 是函数的复合运算,试给出 AAA^A 上运算 \circ 的运算表,并指出 AAA^A 中是否有幺元,哪些元素有逆元。

【参考答案】 因为 A=2|A| = 2,所以 AAA^A 上共有 22=42^2 = 4 个不同的函数。令 AA={f1,f2,f3,f4}A^A = \{f_1, f_2, f_3, f_4\},其中:

  • f1=(1212)f_1 = \begin{pmatrix} 1 & 2 \\ 1 & 2 \end{pmatrix},即 f1(1)=1,f1(2)=2f_1(1)=1, f_1(2)=2(恒等函数)
  • f2=(1211)f_2 = \begin{pmatrix} 1 & 2 \\ 1 & 1 \end{pmatrix},即 f2(1)=1,f2(2)=1f_2(1)=1, f_2(2)=1
  • f3=(1222)f_3 = \begin{pmatrix} 1 & 2 \\ 2 & 2 \end{pmatrix},即 f3(1)=2,f3(2)=2f_3(1)=2, f_3(2)=2
  • f4=(1221)f_4 = \begin{pmatrix} 1 & 2 \\ 2 & 1 \end{pmatrix},即 f4(1)=2,f4(2)=1f_4(1)=2, f_4(2)=1

AAA^A 上运算 \circ 的运算表如下:

\circf1f_1f2f_2f3f_3f4f_4
f1f_1f1f_1f2f_2f3f_3f4f_4
f2f_2f2f_2f2f_2f2f_2f2f_2
f3f_3f3f_3f3f_3f3f_3f3f_3
f4f_4f4f_4f3f_3f2f_2f1f_1

幺元及逆元分析:

  • f1f_1AAA^A 中的幺元
  • 有逆元的元素为 f1,f4f_1, f_4(它们的逆元分别是自身,即 f11=f1,f41=f4f_1^{-1} = f_1, f_4^{-1} = f_4)。

4. 如下图所示的赋权图表示某七个城市 v1,v2,,v7v_1, v_2, \dots, v_7 及预先算出它们之间的一些直接通信线路造价,试给出一个设计方案,使得各城市之间能够通信而且总造价最小。

【参考答案】 本题为求无向赋权图的最小生成树问题,可以使用 Kruskal 算法或 Prim 算法求解。 以 Kruskal 算法为例:

  1. 按权值从小到大排列所有边:(v1,v7):1(v_1, v_7): 1(v3,v4):3(v_3, v_4): 3(v2,v7):4(v_2, v_7): 4(v3,v7):9(v_3, v_7): 9(v2,v3):15(v_2, v_3): 15(v4,v7):16(v_4, v_7): 16(v4,v5):17(v_4, v_5): 17(v1,v2):20(v_1, v_2): 20(v1,v6):23(v_1, v_6): 23(v5,v7):25(v_5, v_7): 25(v5,v6):28(v_5, v_6): 28(v6,v7):36(v_6, v_7): 36
  2. 依次选择不形成回路的最小权边加入生成树中:
    • (v1,v7)(v_1, v_7),权为 1;
    • (v3,v4)(v_3, v_4),权为 3;
    • (v2,v7)(v_2, v_7),权为 4;
    • (v3,v7)(v_3, v_7),权为 9;
    • (v4,v5)(v_4, v_5),权为 17;(此时 v1,v2,v3,v4,v5,v7v_1, v_2, v_3, v_4, v_5, v_7 连通,剩余 (v3,v4),(v4,v7)(v_3, v_4), (v_4, v_7) 等若加入会形成回路,舍去)
    • (v1,v6)(v_1, v_6),权为 23;(使 v6v_6 加入连通分支,算法结束)

所求得的最小生成树方案如下图所示:

Kruskal 最小生成树

最小生成树总权值(总造价)为:

W(T)=23+1+4+9+3+17=57W(T) = 23 + 1 + 4 + 9 + 3 + 17 = 57

答:最低通信线路总造价设计方案如上图,总造价为 57 万元。


四、 证明题(本题共 1 小题,共 10 分)

1. 在自然推理系统中,构造下面推理 of 证明: 前提:x(F(x)G(x))\forall x(F(x) \to G(x))x(F(x)H(x))\exists x(F(x) \wedge H(x)) 结论:x(G(x)H(x))\exists x(G(x) \wedge H(x))

【参考答案】 证明: 构造证明过程如下:

  • x(F(x)H(x))\exists x(F(x) \wedge H(x)) —— 前提引入
  • F(c)H(c)F(c) \wedge H(c) —— ①, EI 规则
  • x(F(x)G(x))\forall x(F(x) \to G(x)) —— 前提引入
  • F(c)G(c)F(c) \to G(c) —— ③, UI 规则
  • F(c)F(c) —— ②, 化简律
  • G(c)G(c) —— ④, ⑤, 假言推理
  • H(c)H(c) —— ②, 化简律
  • G(c)H(c)G(c) \wedge H(c) —— ⑥, ⑦, 合取
  • x(G(x)H(x))\exists x(G(x) \wedge H(x)) —— ⑧, EG 规则

证毕。

Profile Image of the Author
Sonder
好想要技术
这是公告标题
这只是一个公告
分类
标签
站点信息
构建平台
GitHub Actions
博客版本
Firefly v6.16.7
文章许可
CC BY-NC-SA 4.0
文章目录