2006解放军理工大学指挥自动化学院考研专业课离散数学与数据结构.docVIP

本文由胥秀峰贡献 pdf文档可能在WAP端浏览体验不佳。建议您优先选择TXT，或下载源文件到本机查看。 机密★启用前 中国人民解放军理工大学 2006 年全国硕士研究生入学统一考试试卷 考试科目代码：403 考试科目名称：离散数学与数据结构 说明：所有答案必须按序号书写在考场提供的答题纸上，可不抄写 原题，否则一律无效。 离散数学部分 一、 （15 分） （1） 分）将下列语句用谓词公式形式化（用 N(x)表示“x 是自然 （5 数”，用 G(x,y)表示“x 大于 y”） ： 没有自然数大于所有自然数， 但每个自然数都有大于它的自然数。 （2） 分）写出上述语句否定的表达式,将否定词深入到括号里面。 （4 （3） 分）证明下列逻辑蕴涵式（证明方式不限） （6 ?x (P(x) ∨ Q(x)) ? ?x P(x) ∨ ?x Q(x) 二、 （20 分）设 R ，S ，T 都是集合 A 上的二元关系，IA 是集合 A 上的相等关系， 是关系间的合成运算， R 表示???系 R 的补。 ° 证明： （1） 分）IA° R = R （6 （2） 分）若 R ? S ，那么 R o T ? S o T （6 1 （3） 分）若关系 R 为 A 上的等价关系，那么 R o R = R 。 （8 三、 （15 分）设 A , B 是集合，且 A ≠ ? ，B ≠ ?， 是有序 集（又称偏序集，≤ 是 B 上的序关系） 。现定义 B 上的二元关系 R A A { } （注意： B = f f : A → B ） f R g ? ?x( f ( x) ≤ g ( x)) （1） 分）证明：R 是 B 上的序关系。 （8 A （2） 分）给出 B , R 存在最大元的必要条件和此时最大元的解 （7 A 析表达式。 四、 （15 分） （1） 分）证明：顶点数大于 2 的树中，其最长路径的两个端点 （7 都是叶。 （2） 分）用归纳法证明：对任意有 n 个顶点，m 条边，p 个连 （8 通分支的无向简单图 G ，恒有： n? p≤m （注意：用其他方法证明满分为 6 分） 五、 （10 分）设〈G，*〉是群，g ∈ G 。映射 h ：G → G 定义如下： h( x) = g ? x ? g ?1 证明： h ：G → G 是同构映射。 2 数据结构部分 六、 （15 分）下图是一个散列表 A[17]。用开放地址法解决冲突。冲 突时，使用增量序列 di=6i。表中标“#”的单元表示已有元素占用。 现在表中依次插入五个元素：a，b，c，d，e；已知它们的散列函数 值依次等于：5，3，8，11，9。请将 a，b，c，d，e 填写在散列表 中（直接填在下表中） 。 A 0 1 2 3 # 4 5 # 6 7 8 9 # 10 11 # 12 13 14 15 # 16 七、 （每小题 5 分，共 15 分） 1、已知检索树的先序序列是“18，16，8，29，21，27，38” 。 那么，它的后序序列是。 2、试画出由权 14，7，8，2，5，4，23 所构造的哈夫曼树，并 求出该哈夫曼树的加权路径长度 WPL（要求列出计算步骤） 。 3、设数组 a[MAX]用于存储两个栈 S1 和 S2，这两个栈的栈底分 别固定在数组的两端，使它们迎面增长。 试写出与下面进栈函数 push 相配套的退栈函数。 进栈函数： int push(int a[ ],int top1,int top2,int x,int i) // top1 和 top2 分别是栈 S1 和 S2 的栈顶指针， 其初值为， top1=-1， top2=MAX //i 是栈号，i=1 表示对栈 S1 操作；i=2 表示对栈 S2 操作 3 //x 是准备进栈的元素 //返回 0：表示栈满，进栈失败；返回 1：表示进栈成功 { if(top1+1= =top2)return 0; if(i= =1) a[++top1]=x; else a[--top2]=x; return 1; } 退栈函数的函数头形如： int pop(int a[ ],int top1, int top2, int x, int i) //返回 0：表示栈空，退栈失败；返回 1：表示退栈成功 八、 （15 分）算法填空题（注意：编号相同的空内，填写相同内容） 。 函数 inition 通过输入无向图的边序列，构造邻接表（供先深搜 索用） 。 #define M 50 //定义最大顶点数 typ