2025年离散数学公考题及答案.docVIP

2025年离散数学公考题及答案

一、单项选择题（每题2分，共10题）

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

A.{1,2,3}

B.{2,3,4}

C.{1,2,3,4}

D.{1,4}

答案：C

2.下列哪个不是命题？

A.今天天气很好。

B.2+2=4

C.请开门。

D.他很高。

答案：C

3.设命题p为“今天是星期一”，命题q为“明天是星期二”，则命题“今天不是星期一”可以表示为？

A.?p

B.?q

C.p∧q

D.p∨q

答案：A

4.下列哪个是可判定问题？

A.判断一个图是否连通。

B.判断一个图是否是哈密顿图。

C.判断一个数是否为素数。

D.判断一个命题逻辑公式是否为重言式。

答案：C

5.设有向图G=(V,E)，其中V={a,b,c,d}，E={ab,ac,cd}，则图G的出度deg(a)是？

A.1

B.2

C.3

D.4

答案：B

6.下列哪个不是图的一种着色问题？

A.色数问题

B.哈密顿路径问题

C.可平面性问题

D.最大独立集问题

答案：C

7.设集合A={1,2,3}，B={2,3,4}，则集合A和B的交集是？

A.{1,2,3}

B.{2,3,4}

C.{1,2,3,4}

D.{}

答案：D

8.下列哪个是图的一种遍历算法？

A.快速排序

B.冒泡排序

C.深度优先搜索

D.二分查找

答案：C

9.设命题p为“今天是晴天”，命题q为“今天是雨天”，则命题“今天不是晴天”可以表示为？

A.?p

B.?q

C.p∧q

D.p∨q

答案：A

10.下列哪个是图的一种最小生成树算法？

A.快速排序

B.冒泡排序

C.克鲁斯卡尔算法

D.二分查找

答案：C

二、多项选择题（每题2分，共10题）

1.下列哪些是命题逻辑的基本联结词？

A.与

B.或

C.非

D.等价

答案：A,B,C,D

2.下列哪些是图的一种表示方法？

A.邻接矩阵

B.邻接表

C.边列表

D.顶点列表

答案：A,B,C

3.下列哪些是图的一种遍历算法？

A.深度优先搜索

B.广度优先搜索

C.快速排序

D.冒泡排序

答案：A,B

4.下列哪些是图的一种着色问题？

A.色数问题

B.可平面性问题

C.最大独立集问题

D.哈密顿路径问题

答案：A,C,D

5.下列哪些是集合的基本运算？

A.并集

B.交集

C.补集

D.差集

答案：A,B,C,D

6.下列哪些是命题逻辑的等价式？

A.p∧q≡q∧p

B.p∨q≡q∨p

C.(p∧q)∨r≡p∧(q∨r)

D.p∧(q∨r)≡(p∧q)∨(p∧r)

答案：A,B,C,D

7.下列哪些是图的一种最小生成树算法？

A.克鲁斯卡尔算法

B.普里姆算法

C.快速排序

D.冒泡排序

答案：A,B

8.下列哪些是图的一种连通性问题？

A.判断一个图是否连通

B.判断一个图是否是哈密顿图

C.判断一个图是否是欧拉图

D.判断一个图是否是二分图

答案：A,C

9.下列哪些是集合论的基本概念？

A.元素

B.子集

C.并集

D.补集

答案：A,B,C,D

10.下列哪些是命题逻辑的推理规则？

A.假言推理

B.合取引入

C.附加

D.拒绝式

答案：A,B,C,D

三、判断题（每题2分，共10题）

1.命题逻辑的公理系统是完备的。

答案：正确

2.图的邻接矩阵表示法适用于稀疏图。

答案：错误

3.图的深度优先搜索算法是一种贪心算法。

答案：错误

4.图的色数问题是一个可判定问题。

答案：正确

5.集合的并集运算是可交换的。

答案：正确

6.命题逻辑的推理规则是完备的。

答案：正确

7.图的最小生成树算法适用于所有类型的图。

答案：错误

8.图的广度优先搜索算法是一种贪心算法。

答案：错误

9.集合的交集运算是可交换的。

答案：正确

10.命题逻辑的等价式是完备的。

答案：正确

四、简答题（每题5分，共4题）

1.简述命题逻辑的基本联结词及其含义。

答案：命题逻辑的基本联结词包括与、或、非、等价和蕴含。与联结词表示两个命题同时为真时结果为真；或联结词表示两个命题中至少有一个为真时结果为真；非联结词表示命题的否定，即原命题为真时结果为假，原命题为假时结果为真；等价联结词表示两个命题的真假值相同；蕴含联结词表示前命题为真后命题也为真时结果为真，前命题为假时结果为真。

2.简述图的一种遍历算法的基本思想。

答案：图的一种遍历算法的基本思想是从一个指定的顶点开始，依次访问图中的所有顶点，且每个顶点只访问一次。深度优先搜索算法的基本思想是先访问一个顶点，然后递归