安徽大学大二计算机专业离散数学试卷及答案.docxVIP

安徽大学大二计算机专业离散数学试卷及答案

考试时间：______分钟总分：______分姓名：______

一、

1.写出命题公式(p∧?q)∨(?p∧q)的对偶式。

2.使用真值表判断下列命题公式是否为重言式：?(p→q)?(p∧?q)。

3.在谓词逻辑中，解释谓词?xP(x)和?xP(x)的含义，并说明它们之间的区别。

二、

1.设A={1,2,3},B={a,b},求集合A×B的所有元素，并计算|A×B|。

2.设集合A,B,C如下：A={x|x∈N且x5},B={2,3,4},C={1,3,5}。求(A∪B)∩C。

3.设集合R={(a,b)|a,b∈Z且b=a+1}，证明关系R是整数集Z上的偏序关系。

三、

1.定义一个关系R在集合A={1,2,3,4}上的关系矩阵M_R如下：

```

M_R=|0100|

|0010|

|0001|

|1000|

```

写出关系R的所有元素，并判断关系R具有哪些性质（反身性、对称性、传递性）。

2.设R是集合A={1,2,3}上的关系，R={(1,2),(2,3),(1,3)}。判断R是否是A上的等价关系？如果是，写出A关于R的所有等价类。

3.设R是集合A={1,2,3}上的关系，R={(1,2),(2,3),(3,1)}。判断R是否是A上的偏序关系？说明理由。

四、

1.画出下列无向图的邻接表和邻接矩阵：

```

1

/\

2---3

\/

4

```

2.在有向图G中，顶点v的入度定义为以v为终点的有向边的数量，出度定义为以v为起点的有向边的数量。若G有n个顶点，m条边，求所有顶点入度之和与出度之和的关系。

3.证明：任何一棵树至少有两个度数小于或等于2的顶点。

五、

1.用鸽巢原理证明：在一个至少有13个人的小组中，必然存在2个人，他们认识的人数一样多（假设每个人认识的人数在该小组中可能不同）。

2.用容斥原理计算从集合{1,2,3,4,5}中选取3个元素的子集，其中不包含元素1和4的子集的个数。

3.求解递推关系：a_n=3a_{n-1}-2a_{n-2}，其中a_0=1,a_1=2。

六、

1.写出深度优先搜索（DFS）算法的基本思想（用伪代码或自然语言描述）。

2.对于上题中的图（第四题第1题的图），假设从顶点1开始进行深度优先搜索，请给出访问顶点的顺序（访问一个顶点后，首先访问其未访问过的邻接点）。

3.什么是图的连通分量？证明一个无向图是连通图当且仅当它只有一个连通分量。

试卷答案

一、

1.(p∨q)∧(?p∨?q)

2.是重言式。（真值表验证略）

3.?xP(x)表示对于所有元素x，P(x)都成立。?xP(x)表示存在至少一个元素x，使得P(x)成立。它们的区别在于量词的范围和含义：?x是全称量词，表示普遍性；?x是存在量词，表示特殊性。

二、

1.A×B={(1,a),(1,b),(2,a),(2,b),(3,a),(3,b)}，|A×B|=6。

2.(A∪B)∩C={1,4}。

3.证明：

*反身性：对于任意a∈Z，a+1∈Z，故(a,a)?R。需要修正，(a,a)?R，但根据定义R是{(a,b)|a,b∈Z且b=a+1}，所以(a,a)?R。反身性不成立。（注：此关系不是偏序关系，原题可能设错）

*对称性：若(a,b)∈R，则b=a+1。但(b,a)∈R要求a=b+1，即a=(a+1)+1，矛盾。故R不是对称的。

*传递性：若(a,b)∈R且(b,c)∈R，则b=a+1且c=b+1。代入得c=(a+1)+1=a+2。此时(a,c)?R（