南大计算机考研复试——离散数学(2010版).pdfVIP

严禁用于商业用途 第二版前言： 加入 2010 年试题。并将有把握的2009 年的试题答案予以补充。2010 年答案由于不能确 保正确性，故不予给出。 学习离散数学，正如冷城学长所言，入门容易，深入难。希望大家在学习的过程中，能够 静下心来，耐住性子认真复习。对于一些特别复杂，刁钻的问题就不要深究了。掌握好基础概 念、基本的证明是最关键的。 特别感谢冷城学长提供原始文档。希望大家能够南大CS 金榜题名！ Zyszys3 2010 年8 月19 日 予人玫瑰 手留余香 1 / 34 严禁用于商业用途 前言 本文收集了1997、1998 年和2001 年到2007 年和2009 年南京大学研究生入学考试科目《离 散数学》的试卷以及相应试卷答案。2008 年试题未找到，1997 年到2007 年试题给出本人所做 的答案，因为离散数学难度大，很多答案问过原来教我们离散数学的老师，老师也只能给出部 分答案，所以不能保证全部答案的正确性，2009 年试题答案未与同学核对，同样不能确保答 案正确性，故不在此给出。部分答案有更优解，需要同学们自己开发。 南京大学从2005 年开始把 《离散数学》作为复试科目，满分为80 分，与 《编译原理》同 为笔试项目，总分150 分。主要考试部分为数理逻辑、集合论、代数结构和图论。推荐复习时 候以南大课件为主，课件在网上可以查到，有宋方敏和陈道旭两种版本。通过真题发现，很多 题目都是课件上证明题的原题，而且考试重点与课件也吻合。 离散数学特点就是难度大，上手容易深入难。代数系统和图论两章难度非常大，所以复习 好离散数学要有一定的耐心和钻研精神。 相信天下无难事，只怕有心人。祝愿所有有志考南大CS 的同学金榜提名。 冷城 2009 年7 月 予人玫瑰 手留余香 2 / 34 严禁用于商业用途 1996 年 一．试证： a. 自然数集为无限集中势最小者。 b.不存在最大的势。 二．任给无向图G，其联结矩阵为A=[a ]，（即若存在边(vi,vj)则a =1 否则a =0 ）试定义矩阵运 ij ij ij 算并给出关于A 的矩阵的表达式，B=E(A)，使得矩阵B=[b ]满足：对于G 中的任意两结点 ij v ,vj 若其间存在通路则b =1 否则b =0 。 i ij ij 三．任给无向图G， 对G 中的边赋予方向得图G’，试证：存在G 满足对任意两点v1,v2∈G’， 不论从哪点为始终端均有有向通路到达另一点的充分条件是原图G 连通且不存在割边。 四．试分别用永真推理过程和假设推理过程证明： ( α→ ( β→ γ ) ) → ( ( α∧β) → γ ) 五．试给出下式的析合范式和合析范式： ( p → q ) → ( p → r ) 六．试用谓词演