离散数学1213学年一学期试卷A.docVIP

计算机学院11级计算机科学与技术软件工程专业12/13学年一学期 离散数学试卷(A卷) （闭卷 120 分钟） 班级 姓名 学号 重修标记□ 总分 题号 一 二 三 四 五 六 七 八 九 核分人 得分 复查人 得分 得分 评卷人 本大题10分 求命题公式(P((Q∧R))∧(?P((?Q∧?R))主合取范式。 得分 评卷人 本大题共2小问，每问6分，共12分 设集合A={a，b，c，d}，R是集合A上的二元关系， R={a,a,b,b,c,c,d,d,a,b,b,a,c,d,d,c} 问：（1）R具有什么性质？ （自反、反自反、对称、反对称、传递关系） （2）求r(R),s(R),t(R) 得分 评卷人 大题共4小问，每问3分，共12分 设集合S={a，b，c}，问： （1）可定义多少不同的S上的二元关系？ （2）可定义多少不同的S上的等价关系？ （3）S到S的不同的映射的数量？ （4）在S上可以定义多少不同的二元运算？ 得分 评卷人 本大题15分 Z6，+6 是模6加法群. （1）给出Z6，+6 的运算表。 （2）求出Z6，+6 的所有子群 。 （3）选一子群，求对应的左陪集。 说明：Z6 = {0，1，2，3，4，5}. 得分 评卷人 本大题共4小问，每问3分，共12分 设集合A是6的所有正整数因子构成的集合，偏序集S=A , ?，其中?为A中元素的整除关系。 （1）以二元关系形式写出偏序关系?所包含的所有序偶对。 （2）画出S对应的哈斯图。 （3）找出{1,2}的下确界（最大下界）和{2,3}的上确界（最小上界）。 （4）该偏序集合构成哪种格？ (分配格、有界格、有补格、布尔格)。 得分 评卷人 本大题共2小问，第一小问3分，第二小问7分， 共10分 设R，⊕是代数系统，R是实数集合。 运算⊕的定义是：a⊕b=a+b-a*b, a, bR。 (运算+、-、*为普通的算术加法、减法、乘法运算) （1）证明：运算⊕满足结合律。 （2）定义集合S=R-{1}，试证明：S,⊕是群。 得分 评卷人 七、本大题共4小问，每问3分，共12分 图G=V，E如下所示： （1）写出G的一个生成子图。 （2）求E1={(a,b),(a, d)}的导出子图G[E1]。 （3）求V1={a, b, c, d}的导出子图G[V1]。 （4）G的任何一个子图是否都可以由某一个顶点子集导出？试说明理由。 得分 评卷人 八、本大题共3小问，第一问3分，第二问3分，第三 问4分，共10分 图G=V，E如第七题图所示： （1）求δ(G)，κ(G)，λ(G). 说明：δ(G)=min{ d(v) | v(V } 点连通度κ(G)=min{ |V’| |V’是图G的点割集} 边连通度λ(G)=min{ |E’| |E’是图G的边割集} （2）求G的割点和割边。 （3）G是否是欧拉图？是否是汉密尔顿图？ 如果是请给出欧拉闭迹、哈密尔顿圈；若不是请说明理由。 得分 评卷人 九、本大题7分 已知由k个连通分支构成的n阶平面图G有r个面，求G的边数m？ 第6页 共6页 装 订 线