离散数学实践指教书.docVIP

PAGE  PAGE 6 《离散数学实践》实验指导书 课程类型：必修课 适应专业：计算机科学与技术 总学时：20学时 实验学时：20（上机） 实验次数：7 先修课程：C（++）语言 一、前言 《离散数学》课程实验的目的是培养学生使用所学过的计算机程序设计语言求解一些简单的离散数学问题，通过实验帮助实验者理解有关的重要概念，加深了解和更好地掌握《离散数学》课程教学大纲要求的内容。 在《离散数学实践》的课程实验过程中，要求学生做到： 1. 预习实验指导书有关部分，认真做好实验内容的准备，就实验可能出现的情况提前做出思考和分析； 2. 认真书写实验报告。实验报告包括实验目的和要求，实验情况及其分析；写出程序设计说明，给出源程序框图和清单； 3. 实验完成之后，应对算法与源程序进行评价，对运行结果进行分析，提交源程序及两组调试数据及其实验结果； 4. 遵守机房纪律，爱护实验设备。 二、实验目的 1. 培养学生动手编程解决实际问题的能力； 2. 训练学生分析问题和调试程序的能力； 3. 锻炼学生分析科技实验结果的能力； 4. 为后续的课程学习和工作奠定良好的基础。 三、实验要求 1. 问题分析：充分地分析和理解问题本身，弄清要求做什么，用什么算法。 2. 程序设计 1) 根据所采用的算法，设计数据结构，画出流程图并编程； 2) 最后准备调试程序的数据及测试方案。 3. 上机调试  1) 对程序进行编译，纠正程序中可能出现的语法错误；  2) 调试前，先运行一遍程序看看究竟将会发生什么；  3) 如果情况不好，根据事先设计的测试方案并结合现场情况进行错误跟踪，包括单步调试. 设置观察窗输出中间变量值等手段。 4. 整理实验报告  1) 实验内容：采用的算法名称；  2) 问题描述：包括目标. 任务. 条件约束描述等；  3) 设计：数据结构设计和核心算法设计. 主要功能模块的输入. 处理（算法框架）和输出；  4) 测试范例：测试结果的分析讨论. 测试过程中遇到的主要问题及所采用的解决措施；  5) 心得：包括程序的改进设想，经验和体会；  6) 程序清单：源程序，其中包括变量说明及详细的注释。 四、实验目录 本部分共有4个实验: 建立关系矩阵、5种关系性质判断、关系的基本运算、求相容关系的极大相容类。 序 号实验名称实验简介实验 学时每组 人数实验 类型1建立关系矩阵使用VC++实现一个程序为给定的关系，建立关系矩阵41设计2关系的5种性质判断使用VC++实现一个简单的程序判断关系的五种性质61设计3关系的基本运算编程实现求关系的逆、关系的合成、实现Warshall算法求关系的传递闭包41设计4求相容关系的极大相容类编程实现求相容关系的极大相容类61设计五. 具体实验说明（下面仅给出一种方法，允许采用其他方法） 实验1：建立关系矩阵 实验类型：学习型实验 实验要求和目的：理解并掌握关系的矩阵表示方法、为用序偶集合表示的关系建立相应的关系矩阵。学会用所学过的程序设计语言编程，解决关系矩阵的自动建立问题。 实验内容：用二维数组或向量存储关系矩阵，根据输入的用序偶集合表示的关系，建立相应的关系矩阵。分别输入两个用序偶集合表示的关系作为实验数据，输出并打印所建立的矩阵。 实验步骤： a) 利用vc++建立工程； b) 设计关系的矩阵表示的实现程序； 实验2：关系5种性质判断 实验类型：学习型实验 实验要求和目的：理解并掌握关系的矩阵表示方法、利用关系的矩阵判断一个关系是否具有自反、反自反、对称、反对称和传递性。学会用所学过的程序设计语言编程，解决关系性质的自动判断问题。 实验内容：用二维数组存储关系矩阵，根据关系矩阵的特征，判断给定的关系具有哪些性质。分别输入两个关系作为实验数据，输出并打印判断结果。 实验步骤： a) 利用vc++建立工程； b) 设计判定关系的自反、反自反、对称、反对称、传递性质的实现程序。 实验3：关系的基本运算（求关系的逆、关系的合成、关系的传递闭包） 实验类型：学习型实验 实验要求和目的：通过本实验加深理解逆关系、合成关系和关系的闭包。掌握求逆关系、合成关系和关系传递闭包的实现方法 实验内容：用矩阵的转置，求得其逆关系的关系矩阵。用矩阵的布尔乘积求复合关系的关系矩阵。用Warshall算法求关系闭包。要求分别输入两组实验数据，输出并打印运行结果。 实验步骤： a) 利用vc++建立工程； b) 设计求矩阵的逆、布尔乘积、warshall算法的实现程序。 Warshall算法： 利用关系的矩阵表示，可通过Warshall算法计算有限