《离散数学A》试题及答案.docx

西南科技大学 2010-2011-2 学期 《离散数学 A》本科期末考试试卷（ B 卷） 参考答案及评分细则 课程代码 1 4 3 9 9 0 2 3 0 命题单位 计算机科学与技术学院：软件工程系 一、判断题（本大题共 10 个小题，每小题  2 分，共  20 分）将每小题的判断结果写在答题纸上，正确的写 “正确”，错误的写“错误”。 “ 3+3=6” ,不是命题。（错误） 命题公式（ PQ Q）是偶然式。（正确） 3. 若 B 中不含有 x，则 x（ A(x) B ）xA(x)B。（错误） 4. 如果论述域是 {a ， b} ，则 xR(x) R(a) R(b)。（错误） 5. 若集合 A 的基数 |A|=5 ，则 A 的幂集的基数 | (A)|=32 。（正确） 6. 设 A 是一个集合，则 A A= 。（错误） 7. 设 R 是非空集合 A 上的二元关系，则 R 的传递闭包 t(R)=R R0。（错误） 所有欧拉图的顶点次（度）数一定是偶数。（正确） 无向图 G 是二部图当且仅当 G 中所有回路的长度均为偶数。（正确） K5 、 K3,3 都是非平面图。（正确） 二、简单计算题（本大题共 10 个小题，每小题 3 分，共 30 分）将每小题的计算结果写在答题纸上。 设 P：我有时间； Q：我去镇上，用逻辑符合写出命题“只有我有时间，我才去镇上。”。答案：Q P 2. 对命题公式： P （ Q R） P Q 化为仅含 和 的等价表达式。 答案： （P Q） 设 S(x)： x 是火车， L(x) ：x 是卡车， F(x,y) ： x 比 y 快。在谓词逻辑中符号化命题“所有火车都比所有卡车快”。 答案：  x(S(x)  → y(L(y)  ∧ F（ x , y ） ) 4. 求谓词公式  xP(x)  xQ(x) 的前束范式。 答案：  x  y(P(x)  Q(x)) 5. 在一个班级 50 个学生中，有 26 人在第一次考试中得到 A ， 21 人在第二次考试中得到 A ，假如 17 人两 次考试都没有得到 A ，问有多少学生在两次考试中都得到 A？ 答案： 14 人。 6. 假设 A 是 n 个元素的有限集合，有多少个元素在 A 上的最小等价关系中？ 答案： n 个。 7. 二元关系的关系图如下图所示，则 R 具有哪些特性（性质）？ 答案： R 是反自反的、对称的。 8. 一颗树有两个顶点的度数为 2，一个顶点的度数为 3，三个顶点的度数为 4，问它有几个度数为 1 的顶 点？ 答案： 9 个。 无向连通图 G 如下所示，则该图的最小生成树的权是多少？ 答案： 15 对下图所标记二叉树，写出按中序周游的结果。 答案： dbheiafcg 三、应用题（本大题共 4 个小题，每小题 8 分，共 32 分）将每小题的求解或证明过程写在答题纸上。 1. 求命题公式： ( P Q) ( Q P)的主析取范式和主合取范式。 答案：用等值演算法、真值表法均可，根据解题过程及答案正确与否酌情给分。 主吸取范式为： (P Q) ( P Q) ( P Q)= (0,2,3) 主合取范式为： P Q 2. 设 A={a,b,c,d} ， 1、 2、 3 是 A 上的划分， 1={{a,b},{c,d}} ， 2={{a},{b},{c},{d}} ， 3={{a,b,c,d}} ， 试求： （ 1） 1 所诱导出的等价关系的序偶。 答案： {a,a,b,b,c,c,,d,da,b,b,a,c,d,d,c} （ 2）写出偏序集合 { 1, 2, 3} ，细分 的“细分”关系元素，并画出该偏序集合的哈斯图。 答案：“细分”关系 ={ 1, 1, 1, 3, 2, 2, 2, 3, 2, 1, 3, 3} 哈斯图为： （ 3）求集合 { 1, 2, 3} 的最大元、最小元、极大元、极小元。 答案：最大元为 3，最小元为 2，极大元为 3，极小元为 2。 3. 有向图 G 如下图所示。 (1) 用邻接矩阵求 G 中 v1 到 v4 长度为 3 和 4 的路径各有几条？ 0 1 0 1 A 0 0 1 1 0 1 0 1 答案：因为 G 的邻接矩阵为： 0 1 0 0 0 1 1 1 0 2 1 2 0 3 2 3 A(2) 0 2 0 1 A(3 ) 0 1 2 2 A(4) 0 4 1 3 0 1 1 1 0 2 1 2 0 3 2 3 所以， 0 0 1 1 ， 0 2 0 1 ， 0 1 2 2 故， G 中 v1 到 v4 长度为 3 的路径为 2 条，长度为 4 的路径为 3 条。 求 G 的可达性矩阵。 0 1 1 1