南京航空航天大学离散数学试题.doc

南京航空航天大学 二〇〇五~二〇〇六学年第一学期离散数学考试试题 考试日期： 年 月 日 试卷代号：B 考试班级 姓名 成绩 共十题，每题十分。 一、构造集合A , B , C 使它们满足A∈B∈C，并同时满足A(B(C。 解：A={a} B={a,{a}} C={a,{a},{a,{a}}} 二、下列各哈斯图表示的偏序是否为格，并说明理由。 解：a、c、d、e是格，因为这些偏序集中任两元素所构成的子集有下确界与上确界。 b不是格，因为{4,5}没有上确界。 三、简单无向图G有n个顶点和k个分图（连通分支），每个分图都是树，请问G有多少条边？说明理由。 解：若在G中增加一个顶点，并从该顶点向k个分图中的任意一点引一条边(共增加了k条边)，则构成有n+1个顶点的树。而n+1个顶点的树有n条边，所以原来的图G有n-k条边。 四、在整数集Z上定义运算*：对任意整数x和y，x*y=x-3+y，其中+、-为普通加减法。证明：(Z,*)是一个群。 证明：显然(Z,*)是一个代数系统 (1)对任意a,b,c∈Z，有 a*(b*c)=a*(b-3+c)=a-3+(b-3+c)=a+b+c-6 (a*b)*c=(a-3+b)*c=(a-3+b)-3+c=a+b+c-6 所以a*(b*c)= (a*b)*c，即(Z,*)满足结合律。 (2)对任意a∈Z，有 3*a=3-3+a=a a*3=a-3+3=a 所以 3*a=a*3 即3为单位元素 (3) 对任意a∈Z，有 a*(6-a)=a-3+(6-a)=3 单位元素 (6-a)*a=(6-a)-3+a=3 单位元素 所以a的逆元素为6-a，即Z中每个元素都有逆元素 综合(1)(2)(3)可得，(Z,*)是群。 五、证明下列推理关系S→Q，S∨R，P→(Q，(R┠(P 证明：(1) (R 已知条件 (2) S∨R 已知条件 (3)S 根据(1)和(2) (4)S→Q 已知条件 (5)Q 根据(3)和(4) (6)P→(Q 已知条件 (7)Q→(P 根据(6) (8)(P 根据(5)和(7) 六、画出公式(Q∨(P)?R 的真值表。 解： P Q R (P Q∨(P (Q∨(P)?R T T T F T T T T F F T F T F T F F F T F F F F T F T T T T T F T F T T F F F T T T T F F F T T F 七、请在下图中给出一条从c出发的欧拉回路。 解：(c，a，d，b，c，e，f，g，e，h，f，d，c) 八、R是A上的二元关系且满足自反性和传递性，S是A上的二元关系且S={x,y| x,y∈R且y,x∈R}，证明：S是A上的等价关系。 解： (1)∵R满足自反性 ∴对任意a∈A，都有(a,a)∈R ∵S={x,y| x,y∈R且y,x∈R} ∴对任意a∈A，都有(a,a)∈S，即S满足自反性 (2)显然S满足对称性 (3) 对任意(a,b)∈S和(b,c)∈S，都有 (a,b)∈R和(b,c)∈R， (c,b)∈R和(b,a)∈R ∵R满足传递性 ∴(a,c)∈R (c,a)∈R ∴(a,c)∈S ∴S满足传递性 综合(1)(2)(3)可得，S是A上的等价关系 九、G是平面图，G有m条边、n个顶点，G中不含三角形(被3条边所围的面)，证明：m≤2n-4。并由此证明K3,3不是平面图。 证明： ∵G中不含三角形 ∴G中每个区域的次数≥4 设区域数为r，则有 4r≤2m 由欧拉公式n-m+r=2，得 r=2+m-n ∴4(2+m-n)≤2m ∴m≤2n-4 K3,3的图形如下： 从图上可知，K3,3中不含三角形(被3条边所围的面) 边数m=9，顶点数n=6 不满足m≤2n-4 ∴K3,3不是平面图 十、设f : A→B，g : B→C都是满射，请问复合映射g?f是否一定是满射？请证明或举出反例。 解：g?f一定是满射，证明如下： ∵g : B→C是满射 ∴对任意c?C，至少存在一个 b??，使得??，使得?C，至少存在一个 a??，使得