离散试题及答案详解.docxVIP

离散试题及答案详解

一、单选题

1.下列哪个不是离散数学的研究范畴？（）（2分）

A.图论B.集合论C.微积分D.逻辑代数

【答案】C

【解析】离散数学主要研究离散量，包括图论、集合论、逻辑代数等，而微积分属于连续数学范畴。

2.一个有向图G中，如果存在一条从顶点u到顶点v的路径，那么u和v的关系是（）（1分）

A.相邻B.可达C.等价D.同构

【答案】B

【解析】在图论中，如果存在从顶点u到顶点v的路径，则称u可达v。

3.设集合A={1,2,3}，B={2,3,4}，则A和B的并集是（）（2分）

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

【答案】C

【解析】并集包含两个集合中的所有元素，不重复。

4.在命题逻辑中，命题p和?p的关系是（）（2分）

A.相容B.矛盾C.独立D.蕴含

【答案】B

【解析】?p是p的否定，两者互为矛盾命题。

5.一个无向图G的邻接矩阵是（）（1分）

A.对称矩阵B.非对称矩阵C.单位矩阵D.零矩阵

【答案】A

【解析】无向图的邻接矩阵是对称的，因为如果顶点u和顶点v相邻，则顶点v和顶点u也相邻。

6.下面哪个不是图论中的基本概念？（）（2分）

A.顶点B.边C.环D.路径

【答案】C

【解析】环是图中的一条自环，虽然存在但不是图论的基本概念。

7.一个函数f:A→B是良定义的，当且仅当（）（2分）

A.对于每个a∈A，都有唯一的b∈BB.对于每个b∈B，都有唯一的a∈A

C.A中的元素比B中的元素多D.A中的元素比B中的元素少

【答案】A

【解析】良定义函数要求每个输入都有唯一输出。

8.有限状态自动机可以识别的语言一定是（）（2分）

A.正则语言B.上下文无关语言C.可判定的语言D.递归可枚举语言

【答案】A

【解析】根据乔姆斯基分类，有限状态自动机对应正则语言。

9.下面哪个不是组合数学的研究内容？（）（2分）

A.计数B.排列C.概率D.图论

【答案】C

【解析】概率属于概率论范畴，不是组合数学的研究内容。

10.一个二叉树的高度为h，则其最多有多少个结点？（）（2分）

A.2hB.2h-1C.2^(h+1)-1D.2^h-1

【答案】C

【解析】二叉树结点数最多为2^(h+1)-1。

二、多选题（每题4分，共20分）

1.以下哪些是图论中的基本概念？（）

A.顶点B.边C.路径D.环E.权重

【答案】A、B、C

【解析】环不是图论的基本概念，权重是边可能有的属性。

2.以下哪些命题是永真的？（）

A.p∧?pB.p∨?pC.?(p∧q)→(?p∨?q)D.(p∨q)∧?pE.?p∨?q

【答案】B、C、E

【解析】永真命题是总为真的命题。

3.以下哪些是离散数学的应用领域？（）

A.计算机科学B.信息论C.组合优化D.概率论E.编码理论

【答案】A、C、E

【解析】概率论不是离散数学的主要应用领域。

4.以下哪些是组合数学中的基本计数原理？（）

A.加法原理B.乘法原理C.鸽巢原理D.容斥原理E.归纳原理

【答案】A、B、C、D

【解析】归纳原理属于证明方法，不是计数原理。

5.以下哪些是有限自动机的组成部分？（）

A.状态集合B.输入字母表C.转移函数D.起始状态E.接受状态集合

【答案】A、B、C、D、E

【解析】这些都是有限自动机的组成部分。

三、填空题

1.在集合论中，集合A包含于集合B记作______。（2分）

【答案】A?B

2.命题逻辑中的______律是指p∨q等价于q∨p。（2分）

【答案】交换

3.图论中，一个无向连通图的最小生成树是______的。（2分）

【答案】权值和最小

4.组合数学中，从n个不同元素中取出k个元素的排列数记作______。（2分）

【答案】P(n,k)

5.有限自动机可以识别的语言称为______语言。（2分）

【答案】正则

四、判断题

1.两个集合的交集是它们所有元素的集合。（）（2分）

【答案】（×）

【解析】交集是两个集合中共有的元素。

2.命题p∨q永真当且仅当p和q都永真。（）（2分）

【答案】（×）

【解析】p∨q永真当且仅当p和q至少有一个永真。

3.一个二叉树的任何结点都有两个子结点。（）（2分）

【答案】（×）

【解析】二叉树的结点可以没有子结点。

4.有限自动机可以识别所有形式语言。（）（2分）

【答案】（×）

【解析】有限自动机只能识别正则语言。

5.集合A={1,2,3}的真子集共有7个。（）（2分）

【答案】（√）

【解析】真子集是所有非空子集，共7个。

五、简答题

1.简述图论中连通图的定义及其性质。（5分）

【答案】

连通图是指图中任意两个顶点之间都存在路径的图。其性质包括：

（1）任何两个顶点都可达；

（2）删除任意顶点后仍连通的图称为强连通图；

（3）连通分量是最大连通子图；