2012离散试卷A2014-11-13 15.13.48.doc

课程名称离散数学A考试日期2012.6.13考生姓名学号专业或类别题号一二三总分累分人签名题分272251100得分考生注意事项：1、本试卷共7页，请查看试卷中是否有缺页。2、考试结束后，考生不得将试卷、答题纸和草稿纸带出考场。教师注意事项：如果整门课程由一个教师评卷的，只需在累分人栏目签名，题首的评卷人栏目可不签名得分评卷人人一、 计算题（共27分）1、 将下列命题公式化为主析取范式和主合取范式，并求其成真赋值和成假赋值。（每小题5分，共10分）(1)(p→q)∧(p∨r)(2)(p∨q)→(¬q→r)福州大学2011～2012学年第二学期考试A卷2、 化简下列集合。(每小题5分，共10分)(1)(B-(A∩C))∪(A∩B∩C)(2)(A∩B)-(C-(A∪B))3、 用2种颜色对可任意旋转的正四面体（如图所示）染色。求不同的染色方案数量。（7分）得分评卷人二、 证明题（共22分）1、 设n为任意素数，证明2n阶群必含n阶元。证明过程中可使用命题：只含1、2阶元的群是Abel群。（6分）2、 设S是建立在RR上的二元关系（R为实数集），定义为其中R+是正实数集合。完成以下证明。(每小题4分，共16分)(1)证明S是等价关系(2)定义任意两个R到R的函数f和g间的运算为：证明若f和g在关于S的同一个等价类中，且f是R到R的双射函数，则fg也是R到R的双射函数(3)设f为R到R的任意函数，证明f关于S的等价类[f]S和运算构成半群(4)证明[f]S，是一个群，当且仅当f是常函数，即f(x)=c（c为常数）得分评卷人三、 综合题（共51分）1、 小王、小张和老李计划完成下学期《离散数学》和《线性代数》两门课程的教学。已知三人年龄各不相同，且a.小王最年轻，老李最年长b.上《线性代数》的老师都比上《离散数学》的老师年长c.每人负责且仅负责上一门课d.小王和小张负责不同的课程回答下列问题。(每小题4分，共12分)(1)将条件a~d表示为谓词逻辑公式的形式，并指出论域(2)利用归谬法（反证法），从前提推出结论“小王负责《离散数学》”(3)从已知条件和2的结论推出“小张和老李负责《线性代数》”2、 集合A={a,b,c,d,e,f}上的偏序关系R的哈斯图如下，回答下列问题。（每小题4分，共8分）(1)写出R的集合表示(2)设A的子集B={c,d,e}，列出B的极大元、极小元、最大元、最小元、上界、上确界、下界和下确界3、 对右图的D=V,E作答。（共11分）(1)列出D的邻接矩阵，并分别求v1到v4的长度为1、2、3的通路个数（4分）(2)判断D的连通性（弱连通、单向连通或强连通），并说明理由（3分）(3)画出D的基图G，列举G中的1个点割集、3个边割集，并求G的点连通度和边连通度（4分）4、 某企业在全国9个城市设有销售处。下图为这9个城市在地图上的位置以及互相之间的交通连接，连接线上标注的数字表示利用该路线运输货物的成本。回答下列问题。（共10分）(1)企业总部设在福州，现总部有三辆货车分别运送货物往北京、郑州和重庆，若要使运输成本最低，三辆货车应该分别选择怎样的路线？简要说明求解过程。（6分）(2)企业销售部总经理计划前往这9个城市做一次考察。他希望从福州出发，经每个城市一次且仅一次，最后回到福州。这可行吗？若可行，请列出考察的路线；若不可行，请说明理由。（4分）5、 图为某城市地铁交通图，顶点表示车站，边表示连接车站的线路，数字表示各段线路的长度。在一次地震中，该城市的地铁交通系统受到严重损坏。震后，重建小组试图恢复该城市的地铁运输。（共10分）(1)重建小组计划沿地铁线路做一次全面检查，以确定各段线路损坏情况。是否存在经每段线路一次且仅一次（无需回到起始点）的检查路线？若存在，请指出这样的路线；若不存在，请说明理由。（4分）(2)经检查，重建小组已掌握了地铁的损坏情况，并对修复成本做出了评估：(a)未遭到损坏，无需维修即可使用的线路有：(v4,v6)和(v6,v8)(b)其他线路的损坏情况大致相同，修复的成本与线路长度成正比现要以最小的成本恢复该城市的地铁运输，应该选择修复哪些线路？简要说明求解过程（6分）